summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2014-06-06Patch for the subtype theoryof mode to make the equalities over disequal type...Tim King
2014-06-05SMT-COMP version gets built --with-abc.Morgan Deters
2014-06-05Add --default-dag-thresh to translator, build translator with other examples.Morgan Deters
2014-06-05When printing in SMT, print N-ary bvadd/bvmul/concat/bvand/bvor/bvxor as binary.Morgan Deters
2014-06-04Add operator support (resolves bug #563).Morgan Deters
2014-06-04SmtEngine::checkModel() now checks that model values are of the correct type ...Morgan Deters
2014-06-04Update commit # for get-abc script, anticipating Liana's merge.Morgan Deters
2014-06-04Fix usability issue with tear-down incremental mode.Morgan Deters
2014-06-04SMT strict mode now disallows N-ary use of concat, bvadd, bvmul, bvand, bvor,...Morgan Deters
2014-06-03Fixing run-script for smt-compMorgan Deters
2014-06-03Another check when making SMT-COMP submission zipfiles.Morgan Deters
2014-06-03Fix StarExec description files for new requirements.Morgan Deters
2014-06-03Support E-matching/QCF for Set operators.ajreynol
2014-06-01Fix for Windows builds (rlimit doesn't exist on Windows).Morgan Deters
2014-05-30More make rulesMorgan Deters
2014-05-30One final bit (I hope) of make magicMorgan Deters
2014-05-30More make rulesMorgan Deters
2014-05-30Bug fix for string-opt2 (copied from Tianyi's branch).Morgan Deters
2014-05-30Update submission make rules.Morgan Deters
2014-05-30Change SMT COMP script to use external timeouts.ajreynol
2014-05-30Run script updates: no --stats, also application-track version.Morgan Deters
2014-05-30run script fixKshitij Bansal
2014-05-30Improve --dt-stc-ind for multi-variable datatype properties.ajreynol
2014-05-30Fixes for --inst-max-levelajreynol
2014-05-30Fix personal.mk for some make targets.Morgan Deters
2014-05-28Minor changes to script. Disable cbqi sat.ajreynol
2014-05-28Add option to avoid dumping partial models/proofs.Andrew Reynolds
2014-05-27Some fixes to GC order in Java.Morgan Deters
2014-05-27Merge pull request #27 from kbansal/statisticsKshitij Bansal
2014-05-27update stats_blackKshitij Bansal
2014-05-27New --tear-down-incremental mode, useful for debugging and performance profil...Morgan Deters
2014-05-27fix timespec printingKshitij Bansal
2014-05-27Revert "timespec printing bug"Kshitij Bansal
2014-05-27timespec printing bugKshitij Bansal
2014-05-27Fix typo in Java destruction code; should fix some recent bug reports of cras...Morgan Deters
2014-05-27Improved type-checking for tuple and record selects.Morgan Deters
2014-05-26Fix bug 567Kshitij Bansal
2014-05-26Fixing Tim's subtype/solving bug for arraysClark Barrett
2014-05-26Separating an implicit inclusion of smt_engine.h from theory.h.Tim King
2014-05-26Fixing a soundness bug due to the default implmentation of Theory::ppAssert()...Tim King
2014-05-25Improve quantifier instantiation: always use original terms when matching (wa...Andrew Reynolds
2014-05-24Some cleanup, fix warnings raised by Debian packager.Morgan Deters
2014-05-23Fix bug in E-matching Real/Int terms.Andrew Reynolds
2014-05-21Safer swig-wrapping for unsigned long long in Java, which will throw an excep...Morgan Deters
2014-05-20Fix compiler warning (missing virtual dtor)Morgan Deters
2014-05-19More documentation fixes. Apologies for multiple commits.Tim King
2014-05-19Fixing documentation for glpk configuration.Tim King
2014-05-18minor fix for string equality engine assertion.Tianyi Liang
2014-05-17Merge pull request #26 from kbansal/setsKshitij Bansal
2014-05-16lfsc_checker: fix some warnings reported by _both_ gcc and clangKshitij Bansal
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback