Merge branch 'ci/more-stdlib' into 'main'
Add more stdlib libs and spec See merge request !23
Showing
- _CoqProject 5 additions, 0 deletions_CoqProject
- case_studies/tests/src/vec_client.rs 5 additions, 0 deletionscase_studies/tests/src/vec_client.rs
- rr_frontend/translation/src/lib.rs 1 addition, 0 deletionsrr_frontend/translation/src/lib.rs
- rr_frontend/translation/src/spec_parsers/enum_spec_parser.rs 1 addition, 0 deletionsrr_frontend/translation/src/spec_parsers/enum_spec_parser.rs
- rr_frontend/translation/src/type_translator.rs 30 additions, 12 deletionsrr_frontend/translation/src/type_translator.rs
- stdlib/alloc/.gitignore 2 additions, 0 deletionsstdlib/alloc/.gitignore
- stdlib/alloc/Cargo.lock 7 additions, 0 deletionsstdlib/alloc/Cargo.lock
- stdlib/alloc/Cargo.toml 6 additions, 0 deletionsstdlib/alloc/Cargo.toml
- stdlib/alloc/RefinedRust.toml 1 addition, 0 deletionsstdlib/alloc/RefinedRust.toml
- stdlib/alloc/src/lib.rs 26 additions, 0 deletionsstdlib/alloc/src/lib.rs
- stdlib/btreemap/.gitignore 2 additions, 0 deletionsstdlib/btreemap/.gitignore
- stdlib/btreemap/Cargo.lock 7 additions, 0 deletionsstdlib/btreemap/Cargo.lock
- stdlib/btreemap/Cargo.toml 8 additions, 0 deletionsstdlib/btreemap/Cargo.toml
- stdlib/btreemap/src/lib.rs 71 additions, 0 deletionsstdlib/btreemap/src/lib.rs
- stdlib/iterator/.gitignore 2 additions, 0 deletionsstdlib/iterator/.gitignore
- stdlib/iterator/Cargo.lock 7 additions, 0 deletionsstdlib/iterator/Cargo.lock
- stdlib/iterator/Cargo.toml 6 additions, 0 deletionsstdlib/iterator/Cargo.toml
- stdlib/iterator/src/lib.rs 23 additions, 0 deletionsstdlib/iterator/src/lib.rs
- stdlib/iterator/src/step.rs 35 additions, 0 deletionsstdlib/iterator/src/step.rs
- stdlib/iterator/theories/step.v 14 additions, 0 deletionsstdlib/iterator/theories/step.v
Loading
Please register or sign in to comment