summaryrefslogtreecommitdiff
path: root/test/regress/regress0/fmf/Makefile.am
AgeCommit message (Expand)Author
2014-11-07Properly distinguish which EQC to assign values in datatypes, use assertRepre...ajreynol
2014-11-06Reenable regression. Add (for now, disabled) changes to datatypes theory com...ajreynol
2014-11-05More work on datatypes theory combination: fix bug in care graph, do not assi...ajreynol
2014-04-14Fix bug in mbqi=fmc handling theory symbols. Fix mbqi=fmc models (Bug 557). ...Andrew Reynolds
2014-04-10Add support for cardinality constraints logic UFC. Add regressions in fmf/. ...Andrew Reynolds
2014-03-07Remove --ite-remove-quant; support pulling ground ITEs out of quantifier bodi...Morgan Deters
2013-12-23Proof-checking code; fixups of segfaults and missing functionality in proof g...Morgan Deters
2013-10-24Fix for bug515Clark Barrett
2013-09-18Support a personal build configuration and make rules.Morgan Deters
2013-09-13Documentation fixes, some code typo fixes, file perms, other minor things.Morgan Deters
2013-09-09Another minor fix for datatypes to repair my previous commit.Andrew Reynolds
2013-05-22Add regressions for finite model findingAndrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback