summaryrefslogtreecommitdiff
path: root/src/parser/smt/smt.cpp
AgeCommit message (Expand)Author
2011-04-20Tuesday end-of-day commit.Morgan Deters
2011-01-05Commit for the theory engine and rewriter changes. Changes are substantial an...Dejan Jovanović
2010-10-31enable dependence graphs in doxygen; fix lots of doxygen warnings, fix some d...Morgan Deters
2010-10-06declare-sort, define-sort working but not thoroughly tested; define-fun half ...Morgan Deters
2010-10-04remove/shuffle some #include dependencies; fix some documentation; apply codi...Morgan Deters
2010-10-03file header documentation regenerated with contributors names; no code modifi...Morgan Deters
2010-09-20bitvector rewriting for the core theory and testcasesDejan Jovanović
2010-07-08Fixing Array type in SMT v1.2Christopher L. Conway
2010-07-02re-generated comment headers of source filesMorgan Deters
2010-06-30Parsing support for SMT divisions: LRA, QF_UFLIA, QF_UFLRA, QF_UFNRA, UFNIAChristopher L. Conway
2010-06-15(minor) fix for file documentationMorgan Deters
2010-06-14Adding array select/store to SMT v1 and v2 parsersChristopher L. Conway
2010-06-04Adding QF_SAT to SMT parsersChristopher L. Conway
2010-06-04Missing files in last commitChristopher L. Conway
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback