Simplify injections in prelude, and move to Rust edition 2024 (#1381) #90
jhjourdanArtifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
creusot_contracts
|
27.3 MB |
|
|
github-pages
Expired
|
13.6 MB |
|
|
guide
|
1.46 MB |
|