summaryrefslogtreecommitdiff
path: root/test/system/cvc3_main.cpp
AgeCommit message (Expand)Author
2018-06-25Updated copyright headers.Aina Niemetz
2017-07-12Fix unit tests for subranges. Fix destructors for context objs in unit tests.ajreynol
2017-07-07Update copyright headers.Mathias Preiner
2016-04-20update from the masterPaulMeng
2014-07-01Update copyrights.Morgan Deters
2013-11-14Some patches to CVC3 compatibility layer tests; Thanks to Adam Buchbinder @ G...Morgan Deters
2013-04-02Regenerated copyrights: canonicalized names, no emailsMorgan Deters
2013-04-01update copyrightsMorgan Deters
2012-12-06* tuple and record support in compatibility libraryMorgan Deters
2012-10-11Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it'sMorgan Deters
2012-10-08* Models' SubstitutionMaps are now attached to the user contextMorgan Deters
2012-08-28Improved compatibility layer, now supports quantifiers. Also incorporatesMorgan Deters
2011-10-04compatibility, bindingsMorgan Deters
2011-10-04compat layer cleanupMorgan Deters
2011-09-16some minor fixes to the cvc3 compatibility library and test caseMorgan Deters
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback