v0.6.1
What's Changed
- Refactor runner limits into a
BuildStrat
by @matth2k in #118 - Add time progress bar by @matth2k in #119
- Fix wire decl for escaped names by @matth2k in #120
- Let CTRL+C interrupt e-graph build by @matth2k in #121
- Change how nets are named by @matth2k in #122
Full Changelog: v0.6.0...v0.6.1