Age | Commit message (Expand) | Author |
---|---|---|
2016-10-05 | Added an option that allow empty dependencies when attempting to minimize pre... | guykatzz |
2016-08-11 | Add support for fewer preprocessing holes | Andres Notzli |
2016-07-27 | Added an option for a more aggressive weakest implicant optimization | Guy |
2016-06-08 | LFSC letification is true by default | Guy |
2016-06-08 | Support for printing a global let map in LFSC proofs. | Guy |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |