summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2014-05-16sets: fix a bug in model building, another in handling set of setsKshitij Bansal
2014-05-16minor improvements (fixes) to did-you-mean suggestionsKshitij Bansal
2014-05-15Minor fixes. Add SMTCOMP 2014 script.Andrew Reynolds
2014-05-14Finish --dump-instantiations option. Update scripts.Andrew Reynolds
2014-05-13Reject native extended ASCII characters. It requires user to use escaped sequ...Tianyi Liang
2014-05-13Reject un-escaped extended ASCII charactersTianyi Liang
2014-05-13Add lazy strategy for bounded integers to avoid non-terminating unsat cases. ...ajreynol
2014-05-12Merge branch 'master' of github.com:tiliang/CVC4Tianyi Liang
2014-05-12Fix a bug in the IndexOf function.Tianyi Liang
2014-05-12Fix a bug in the IndexOf function.Tianyi Liang
2014-05-12Minor updates/fix to --cbqi-recurseAndrew Reynolds
2014-05-12Merge remote-tracking branch 'timothy-king/master'Tim King
2014-05-12Merging in additional glpk options and statistics from CAV submission.Tim King
2014-05-12Add a benchmark that detects a bug in parsing. Thank Vijay for his bug report.Tianyi Liang
2014-05-11Merge branch 'master' of github.com:tiliang/CVC4Tianyi Liang
2014-05-11Replace lemma sending with EQ assertions. Fix a typo in hex_to_int function.Tianyi Liang
2014-05-11Replace lemma sending with EQ assertions. Fix a typo in hex_to_int function.Tianyi Liang
2014-05-11More preparation for CASC proofs. Minor fix for sort inference (rewrite new ...Andrew Reynolds
2014-05-10Bug fixes to CBQI. Add first draft of CASC j7 TFF script. Add regression, m...Andrew Reynolds
2014-05-09Fix for example installation.Morgan Deters
2014-05-09Initial draft of run scripts for CASC j7Andrew Reynolds
2014-05-09Add variable ordering to ambqi. Bug fix to macros. More preparation for CASC...Andrew Reynolds
2014-05-08Major simplifications to macros module.ajreynol
2014-05-08Fixes to quantifiers rewriter to prevent miniscoping nested quantifiers. Min...Andrew Reynolds
2014-05-08Basic optimizations for ambqi : only normalize UF applied to variables, direc...Andrew Reynolds
2014-05-07Adding encoding of sha1 collision for the hashing exampleDejan Jovanovic
2014-05-07patch to the last commit: add a single character caseTianyi Liang
2014-05-07fix a bug in containTianyi Liang
2014-05-07Merge branch 'master' of github.com:tiliang/CVC4Tianyi Liang
2014-05-07add splitsTianyi Liang
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback