Commits

Commits on Oct 27, 2021

Introduce dev command 'cheat sheets' (model-checking#572 )
tedinski
authored

Commits on Oct 26, 2021

Handle ! as its own type, rather than incorrectly mapping it to void. (model-checking#588 )
danielsn
authored

Commits on Oct 20, 2021

Add sanity checks when creating function parameter type (model-checking#532 )
danielsn
authored

Commits on Oct 19, 2021

Enable std-lib-regressions to run on OSX. Use codegen-unimplemented to handle missing intrinsics. (model-checking#565 )
danielsn
authored
Merge rustc into rmc - 2021 week 41 (model-checking#549 )
celinval
committed
Auto merge of #90039 - ehuss:update-cargo, r=ehuss
bors
committed
Auto merge of #90040 - nbdd0121:issue-90038, r=oli-obk
bors
committed
Fix issue 90038
nbdd0121
committed
Auto merge of #90037 - matthiaskrgr:rollup-cdfhxtn, r=matthiaskrgr
bors
committed
Update cargo
ehuss
committed
Rollup merge of #90034 - moxian:unzip-doc, r=cuviper
matthiaskrgr
authored
Rollup merge of #90002 - lnicola:rust-analyzer-2021-10-18, r=lnicola
matthiaskrgr
authored
Rollup merge of #89997 - cameron1024:const-str-as-bytes-ice, r=JohnTitor
matthiaskrgr
authored
Rollup merge of #89988 - tmiasko:unpromote-const-drop, r=oli-obk
matthiaskrgr
authored
Rollup merge of #89956 - JohnTitor:suggest-case-insensitive-match-names, r=estebank
matthiaskrgr
authored
Rollup merge of #89941 - hermitcore:kernel, r=joshtriplett
matthiaskrgr
authored
Rollup merge of #89867 - Urgau:fix-double-definition, r=GuillaumeGomez
matthiaskrgr
authored
Rollup merge of #89766 - krasimirgg:llvm-14-targetregistrty, r=nagisa
matthiaskrgr
authored
Auto merge of #89905 - matthiaskrgr:rev_89709_entirely, r=michaelwoerister
bors
committed
Tiny tweak to Iterator::unzip() doc comment example.
moxian
committed