README.md

case_studies/minivec/RefinedRust.toml

case_studies/paper-examples/RefinedRust.toml

case_studies/tests/RefinedRust.toml

rr_frontend/rrconfig/src/lib.rs

rr_frontend/translation/src/lib.rs

stdlib/alloc/RefinedRust.toml

stdlib/btreemap/RefinedRust.toml

stdlib/controlflow/RefinedRust.toml

stdlib/iterator/RefinedRust.toml

stdlib/option/RefinedRust.toml

stdlib/range/RefinedRust.toml

stdlib/result/RefinedRust.toml

stdlib/rwlock/RefinedRust.toml

stdlib/spin/RefinedRust.toml

stdlib/vec/RefinedRust.toml