rr_frontend/Cargo.lock

rr_frontend/case_studies/tests/src/structs.rs

rr_frontend/output/minivec_patched/generated_code_minivec.v

rr_frontend/radium/src/specs.rs

rr_frontend/translation/src/type_translator.rs

theories/caesium/lifting.v

theories/caesium/syntypes.v

theories/rust_typing/automation/solvers.v

theories/rust_typing/enum.v

theories/rust_typing/products.v

theories/rust_typing/shims.v

theories/rust_typing/tests.v