Makefile

README.md

coq-lithium.opam

refinedrust.opam

...d/analysis/src/abstract_interpretation/fixpoint_engine.rs

rr_frontend/analysis/src/bin/analysis-driver.rs

rr_frontend/analysis/src/bin/gen-accessibility-driver.rs

...nd/analysis/src/domains/definitely_accessible/analysis.rs

...ntend/analysis/src/domains/definitely_accessible/state.rs

...end/analysis/src/domains/definitely_allocated/analysis.rs

...tend/analysis/src/domains/definitely_initialized/state.rs

rr_frontend/analysis/src/domains/framing/analysis.rs

rr_frontend/analysis/src/domains/maybe_borrowed/analysis.rs

...ontend/analysis/src/domains/reaching_definitions/state.rs

rr_frontend/analysis/src/mir_utils.rs

rr_frontend/analysis/src/pointwise_state.rs

rr_frontend/rr_rustc_interface/src/lib.rs

rr_frontend/rust-version

rr_frontend/translation/src/caesium/mod.rs

rr_frontend/translation/src/caesium/specs.rs