rr_frontend/Cargo.lock

rr_frontend/attribute_parse/Cargo.toml

rr_frontend/attribute_parse/src/lib.rs

rr_frontend/attribute_parse/src/parse.rs

rr_frontend/clippy.toml

...rontend/refinedrust_frontend/src/bin/refinedrust-rustc.rs

rr_frontend/rr_rustc_interface/src/lib.rs

rr_frontend/translation/src/arg_folder.rs

rr_frontend/translation/src/base.rs

rr_frontend/translation/src/checked_op_analysis.rs

rr_frontend/translation/src/data.rs

rr_frontend/translation/src/environment/borrowck/facts.rs

...end/translation/src/environment/borrowck/place_regions.rs

...anslation/src/environment/collect_closure_defs_visitor.rs

...ranslation/src/environment/collect_prusti_spec_visitor.rs

...rontend/translation/src/environment/dump_borrowck_info.rs

rr_frontend/translation/src/environment/loops.rs

rr_frontend/translation/src/environment/mir_storage.rs

...ntend/translation/src/environment/mir_utils/all_places.rs

...end/translation/src/environment/mir_utils/args_for_mir.rs