Add support for calling const evaluation
Co-authored-by: 
Lennard Gäher <l.gaeher@posteo.de>
parent
f8f5c8ec
No related branches found
No related tags found
Showing
- case_studies/tests/output/tests/proofs/proof_consts_compute_bla.v 23 additions, 0 deletions...dies/tests/output/tests/proofs/proof_consts_compute_bla.v
- case_studies/tests/output/tests/proofs/proof_consts_use_result.v 23 additions, 0 deletions...udies/tests/output/tests/proofs/proof_consts_use_result.v
- case_studies/tests/src/consts.rs 19 additions, 0 deletionscase_studies/tests/src/consts.rs
- case_studies/tests/src/lib.rs 1 addition, 0 deletionscase_studies/tests/src/lib.rs
- rr_frontend/translation/src/function_body.rs 42 additions, 23 deletionsrr_frontend/translation/src/function_body.rs
Loading
Please register or sign in to comment