Update toolchain to 2022-07-05 - #1340

Merged

celinval merged 6 commits into

model-checking:mainfrom

celinval:issue-1336-toolchain

Jul 6, 2022

Commits on Jul 6, 2022

Update toolchain to 2022-07-05
celinval
committed
4a4539b
Codegen unimplemented for unsupported constant slices
celinval
committed
71b1188
Fix copyright check
celinval
committed
9f17da9
Use codegen_option_span instead
celinval
committed
6134f1d
Merge branch 'main' into issue-1336-toolchain
celinval
authored
5821f87
Merge branch 'main' into issue-1336-toolchain
celinval
authored
519ed87