Age | Commit message (Expand) | Author |
---|---|---|
2018-10-19 | Remove autotools build system. (#2639) | Mathias Preiner |
2017-10-03 | Add Cryptominisat and LFSC to --show-config output. (#1194) | Mathias Preiner |
2017-08-25 | Move LFSC checker out of the CVC repository. (#222) | Aina Niemetz |