Age | Commit message (Expand) | Author |
---|---|---|
2020-07-02 | Remove SWIG bindings (#4683) | Andres Noetzli |
2020-03-31 | Rename checkValid/query to checkEntailed. (#4191) | Aina Niemetz |
2016-01-05 | Add SmtGlobals Class | Tim King |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
2013-09-13 | Documentation fixes, some code typo fixes, file perms, other minor things. | Morgan Deters |
2012-11-17 | * Fix for bug 445 agreed to in meeting 11/13/2012: always dump in ALL_SUPPORT... | Morgan Deters |
2011-09-20 | Merge from "swig" branch: language binding for Java is compiling and linking.... | Morgan Deters |