Merge branch 'ci/rustfmt' into 'main'
Add rustfmt config and format frontend code See merge request !18
No related branches found
No related tags found
Showing
- rr_frontend/.rustfmt.toml 28 additions, 0 deletionsrr_frontend/.rustfmt.toml
- rr_frontend/analysis/src/abstract_interpretation/abstract_state.rs 19 additions, 23 deletions...nd/analysis/src/abstract_interpretation/abstract_state.rs
- rr_frontend/analysis/src/abstract_interpretation/fixpoint_engine.rs 14 additions, 14 deletions...d/analysis/src/abstract_interpretation/fixpoint_engine.rs
- rr_frontend/analysis/src/analysis_error.rs 8 additions, 13 deletionsrr_frontend/analysis/src/analysis_error.rs
- rr_frontend/analysis/src/bin/analysis-driver.rs 65 additions, 93 deletionsrr_frontend/analysis/src/bin/analysis-driver.rs
- rr_frontend/analysis/src/bin/gen-accessibility-driver.rs 25 additions, 41 deletionsrr_frontend/analysis/src/bin/gen-accessibility-driver.rs
- rr_frontend/analysis/src/domains/definitely_accessible/analysis.rs 24 additions, 37 deletions...nd/analysis/src/domains/definitely_accessible/analysis.rs
- rr_frontend/analysis/src/domains/definitely_accessible/mod.rs 2 additions, 1 deletion...rontend/analysis/src/domains/definitely_accessible/mod.rs
- rr_frontend/analysis/src/domains/definitely_accessible/state.rs 28 additions, 37 deletions...ntend/analysis/src/domains/definitely_accessible/state.rs
- rr_frontend/analysis/src/domains/definitely_allocated/analysis.rs 11 additions, 16 deletions...end/analysis/src/domains/definitely_allocated/analysis.rs
- rr_frontend/analysis/src/domains/definitely_allocated/mod.rs 2 additions, 1 deletionrr_frontend/analysis/src/domains/definitely_allocated/mod.rs
- rr_frontend/analysis/src/domains/definitely_allocated/state.rs 15 additions, 13 deletions...ontend/analysis/src/domains/definitely_allocated/state.rs
- rr_frontend/analysis/src/domains/definitely_initialized/analysis.rs 8 additions, 14 deletions...d/analysis/src/domains/definitely_initialized/analysis.rs
- rr_frontend/analysis/src/domains/definitely_initialized/mod.rs 2 additions, 1 deletion...ontend/analysis/src/domains/definitely_initialized/mod.rs
- rr_frontend/analysis/src/domains/definitely_initialized/state.rs 32 additions, 36 deletions...tend/analysis/src/domains/definitely_initialized/state.rs
- rr_frontend/analysis/src/domains/framing/analysis.rs 23 additions, 54 deletionsrr_frontend/analysis/src/domains/framing/analysis.rs
- rr_frontend/analysis/src/domains/framing/mod.rs 2 additions, 1 deletionrr_frontend/analysis/src/domains/framing/mod.rs
- rr_frontend/analysis/src/domains/framing/state.rs 9 additions, 7 deletionsrr_frontend/analysis/src/domains/framing/state.rs
- rr_frontend/analysis/src/domains/maybe_borrowed/analysis.rs 16 additions, 23 deletionsrr_frontend/analysis/src/domains/maybe_borrowed/analysis.rs
- rr_frontend/analysis/src/domains/maybe_borrowed/mod.rs 2 additions, 1 deletionrr_frontend/analysis/src/domains/maybe_borrowed/mod.rs
Loading
Please register or sign in to comment