case_studies/tests/src/lib.rs

case_studies/tests/src/loops.rs

rr_frontend/radium/src/code.rs

rr_frontend/radium/src/specs.rs

rr_frontend/translation/src/base.rs

rr_frontend/translation/src/body/checked_op_analysis.rs

rr_frontend/translation/src/body/mod.rs

rr_frontend/translation/src/body/translation/loops.rs

rr_frontend/translation/src/body/translation/mod.rs

rr_frontend/translation/src/spec_parsers/loop_attr_parser.rs

rr_frontend/translation/src/spec_parsers/mod.rs

theories/rust_typing/automation.v

theories/rust_typing/program_rules.v