Merge branch 'ci/closures' into 'main'
Initial support for closure codegen See merge request !26
No related branches found
No related tags found
Showing
- SPEC_FORMAT.md 37 additions, 0 deletionsSPEC_FORMAT.md
- case_studies/tests/src/closures.rs 124 additions, 0 deletionscase_studies/tests/src/closures.rs
- case_studies/tests/src/lib.rs 4 additions, 0 deletionscase_studies/tests/src/lib.rs
- case_studies/tests/src/mixed.rs 18 additions, 0 deletionscase_studies/tests/src/mixed.rs
- case_studies/tests/src/references.rs 16 additions, 0 deletionscase_studies/tests/src/references.rs
- case_studies/tests/src/traits.rs 6 additions, 0 deletionscase_studies/tests/src/traits.rs
- rr_frontend/radium/src/code.rs 1 addition, 1 deletionrr_frontend/radium/src/code.rs
- rr_frontend/radium/src/specs.rs 1 addition, 1 deletionrr_frontend/radium/src/specs.rs
- rr_frontend/translation/src/base.rs 1 addition, 0 deletionsrr_frontend/translation/src/base.rs
- rr_frontend/translation/src/environment/dump_borrowck_info.rs 2 additions, 1 deletion...rontend/translation/src/environment/dump_borrowck_info.rs
- rr_frontend/translation/src/environment/polonius_info.rs 1 addition, 0 deletionsrr_frontend/translation/src/environment/polonius_info.rs
- rr_frontend/translation/src/environment/procedure.rs 8 additions, 0 deletionsrr_frontend/translation/src/environment/procedure.rs
- rr_frontend/translation/src/function_body.rs 678 additions, 244 deletionsrr_frontend/translation/src/function_body.rs
- rr_frontend/translation/src/lib.rs 37 additions, 13 deletionsrr_frontend/translation/src/lib.rs
- rr_frontend/translation/src/spec_parsers/verbose_function_spec_parser.rs 467 additions, 86 deletions...nslation/src/spec_parsers/verbose_function_spec_parser.rs
- rr_frontend/translation/src/traits.rs 171 additions, 0 deletionsrr_frontend/translation/src/traits.rs
- rr_frontend/translation/src/type_translator.rs 70 additions, 20 deletionsrr_frontend/translation/src/type_translator.rs
- theories/lithium/syntax.v 57 additions, 0 deletionstheories/lithium/syntax.v
- theories/rust_typing/automation.v 16 additions, 2 deletionstheories/rust_typing/automation.v
- theories/rust_typing/closures.v 246 additions, 0 deletionstheories/rust_typing/closures.v
Loading
Please register or sign in to comment