Age | Commit message (Expand) | Author |
---|---|---|
2021-08-18 | Mention the GitHub contributors in COPYING | Julie Schwartz |
2021-03-16 | Unify the bsc and bsc-testsuite license/copyright info | Julie Schwartz |
2020-03-18 | Fix typo | Brian Foley |
2020-03-01 | Update COPYING with changes to STP/Yices locations | Julie Schwartz |
2020-02-28 | Remove mentions of tcl/tk/itcl/itk files that have been removed | Julie Schwartz |
2020-02-07 | Fix the location of Parsec in COPYING | Julie Schwartz |
2020-02-06 | Remove CUDD 2.5.0 SAT solver (and BSC -sad-cudd option) | Brian Foley |
2020-01-31 | Initial release of BSC as open source | Julie Schwartz |