Closed aditink closed 3 weeks ago
@Username13555 is working on this.
Current structure: algebraic_simplification_cesar ├── CONTRIBUTING.md ├── LICENSE ├── README.md ├── src │ ├── cesar │ │ ├── config.rs │ │ ├── intersection.rs │ │ ├── language.rs │ │ ├── mod.rs │ │ ├── pass1.rs │ │ ├── pass10.rs │ │ ├── pass2.rs │ │ ├── pass3.rs │ │ ├── pass4.rs │ │ ├── pass5.rs │ │ ├── pass6.rs │ │ ├── pass7.rs │ │ ├── pass8.rs │ │ ├── pass9.rs │ │ ├── rearrange_pass.rs │ │ ├── simplify.rs │ │ ├── tests.rs │ │ └── z3utils.rs │ └── main.rs └── target
Here is the file structure that you could change this to: algebraic_simplification_cesar ├── CONTRIBUTING.md ├── LICENSE ├── README.md ├── src │ ├── cesar │ │ ├── [remove] intersection.rs │ │ ├── [change per new structure] mod.rs │ │ ├── pass1.rs │ │ ├── pass10.rs │ │ ├── pass2.rs │ │ ├── pass3.rs │ │ ├── pass4.rs │ │ ├── pass5.rs │ │ ├── pass6.rs │ │ ├── pass7.rs │ │ ├── pass8.rs │ │ ├── pass9.rs │ │ └── rearrange_pass.rs │ │── simplify.rs │ │── tests.rs │ │── z3utils.rs │ │── language.rs │ │── config.rs │ └── main.rs └── target
Closed. by #13
Remove the CESAR folder and reorganize the contents. For example, by creating a separate folder for the passes, z3 and move the simplify file to top level.