Releases: alegnani/verifactory
Releases · alegnani/verifactory
Smaller binary release
Bug fixes:
- Fixed the app crashing when proving an empty blueprint's throughput unlimited property
- Reduced Linux binary size
Added the following features for developers:
- Split project into separate crates
- Bumped egui dependencies
Universal balancer release
Added the following features for users:
- Added universal balancer proof
- Updated README
Added the following features for developers:
- Simplified balancer and equal-drain proof
- Cleaned up code regarding modelling entities in z3
- Removed old z3 backend
- CI/CD
Second alpha release
Added the following features for users:
- Support for throughput unlimited proof
- Paste via
Ctrl+V
of blueprint strings
Added the following features for developers:
- Added
Relaxed
andBlocked
models - Button for saving the IR graph to an .svg file
- Some documentation
Note
Windows executable will be available soon.
First alpha release
First release of the Factorio Verify project.
Only supports belt-balancer and equal-drain properties