cvc5.git
2014-06-09 Kshitij BansalMerge pull request #29 from kbansal/alternatefix
2014-06-09 Morgan DetersAdd missing set of braces, fixes --trace.
2014-06-09 Kshitij BansalparseErrorHelper : factor out whole word matching
2014-06-09 Kshitij Bansaltest for prvs commit (tokenize emptyset)
2014-06-09 Morgan DetersPrevious "repeat" fix required extra lookahead (leading...
2014-06-08 Kshitij Bansalsmt2 parser: tokenize emptyset only if theory enabled
2014-06-08 Morgan DetersBetter error when there are \backslashes in |quoted...
2014-06-08 Morgan DetersAllow 'repeat' as an SMT-LIB user symbol name (UFNIA...
2014-06-08 Kshitij Bansalsets translate: a different translation using axioms
2014-06-06 Kshitij Bansalsets translator: fix for dags
2014-06-06 Kshitij BansalMerge pull request #28 from kbansal/sets
2014-06-06 Morgan DetersFix submission script (again).
2014-06-06 Kshitij Bansalrm warning from helloworld example
2014-06-06 Tim KingPatch for the subtype theoryof mode to make the equalit...
2014-06-06 Kshitij Bansalsets: fix equality propagation
2014-06-06 Kshitij Bansal-{d,t} help => --show-{debug,trace}-tags
2014-06-06 Kshitij Bansaloption to hide stats which are zero (off by default...
2014-06-06 Kshitij BansalSets translate, and other short fixes
2014-06-05 Morgan DetersSMT-COMP version gets built --with-abc.
2014-06-05 Morgan DetersAdd --default-dag-thresh to translator, build translato...
2014-06-05 Morgan DetersWhen printing in SMT, print N-ary bvadd/bvmul/concat...
2014-06-04 Morgan DetersAdd operator support (resolves bug #563).
2014-06-04 Morgan DetersSmtEngine::checkModel() now checks that model values...
2014-06-04 Morgan DetersUpdate commit # for get-abc script, anticipating Liana...
2014-06-04 Morgan DetersFix usability issue with tear-down incremental mode.
2014-06-04 Morgan DetersSMT strict mode now disallows N-ary use of concat,...
2014-06-04 Morgan DetersFixing run-script for smt-comp
2014-06-03 Morgan DetersAnother check when making SMT-COMP submission zipfiles.
2014-06-03 Morgan DetersFix StarExec description files for new requirements.
2014-06-03 ajreynolSupport E-matching/QCF for Set operators.
2014-06-01 Morgan DetersFix for Windows builds (rlimit doesn't exist on Windows).
2014-05-30 Morgan DetersMore make rules
2014-05-30 Morgan DetersOne final bit (I hope) of make magic
2014-05-30 Morgan DetersMore make rules
2014-05-30 Morgan DetersBug fix for string-opt2 (copied from Tianyi's branch).
2014-05-30 Morgan DetersUpdate submission make rules.
2014-05-30 ajreynolChange SMT COMP script to use external timeouts.
2014-05-30 Morgan DetersRun script updates: no --stats, also application-track...
2014-05-30 Kshitij Bansalrun script fix
2014-05-30 ajreynolImprove --dt-stc-ind for multi-variable datatype proper...
2014-05-30 ajreynolFixes for --inst-max-level
2014-05-30 Morgan DetersFix personal.mk for some make targets.
2014-05-28 ajreynolMinor changes to script. Disable cbqi sat.
2014-05-28 Andrew ReynoldsAdd option to avoid dumping partial models/proofs.
2014-05-28 Morgan DetersSome fixes to GC order in Java.
2014-05-27 Kshitij BansalMerge pull request #27 from kbansal/statistics
2014-05-27 Kshitij Bansalupdate stats_black
2014-05-27 Morgan DetersNew --tear-down-incremental mode, useful for debugging...
2014-05-27 Kshitij Bansalfix timespec printing
2014-05-27 Kshitij BansalRevert "timespec printing bug"
2014-05-27 Kshitij Bansaltimespec printing bug
2014-05-27 Morgan DetersFix typo in Java destruction code; should fix some...
2014-05-27 Morgan DetersImproved type-checking for tuple and record selects.
2014-05-27 Kshitij BansalFix bug 567
2014-05-26 Clark BarrettFixing Tim's subtype/solving bug for arrays
2014-05-26 Tim KingSeparating an implicit inclusion of smt_engine.h from...
2014-05-26 Tim KingFixing a soundness bug due to the default implmentation...
2014-05-25 Andrew ReynoldsImprove quantifier instantiation: always use original...
2014-05-25 Morgan DetersSome cleanup, fix warnings raised by Debian packager.
2014-05-23 Andrew ReynoldsFix bug in E-matching Real/Int terms.
2014-05-21 Morgan DetersSafer swig-wrapping for unsigned long long in Java...
2014-05-20 Morgan DetersFix compiler warning (missing virtual dtor)
2014-05-19 Tim KingMore documentation fixes. Apologies for multiple commits.
2014-05-19 Tim KingFixing documentation for glpk configuration.
2014-05-19 Tianyi Liangminor fix for string equality engine assertion.
2014-05-17 Kshitij BansalMerge pull request #26 from kbansal/sets
2014-05-16 Kshitij Bansallfsc_checker: fix some warnings reported by _both_...
2014-05-16 Kshitij Bansalsets: fix a bug in model building, another in handling...
2014-05-16 Kshitij Bansalminor improvements (fixes) to did-you-mean suggestions
2014-05-15 Andrew ReynoldsMinor fixes. Add SMTCOMP 2014 script.
2014-05-14 Andrew ReynoldsFinish --dump-instantiations option. Update scripts.
2014-05-13 Tianyi LiangReject native extended ASCII characters. It requires...
2014-05-13 Tianyi LiangReject un-escaped extended ASCII characters
2014-05-13 ajreynolAdd lazy strategy for bounded integers to avoid non...
2014-05-13 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2014-05-13 Tianyi LiangFix a bug in the IndexOf function.
2014-05-13 Tianyi LiangFix a bug in the IndexOf function.
2014-05-12 Andrew ReynoldsMinor updates/fix to --cbqi-recurse
2014-05-12 Tim KingMerge remote-tracking branch 'timothy-king/master'
2014-05-12 Tim KingMerging in additional glpk options and statistics from...
2014-05-12 Tianyi LiangAdd a benchmark that detects a bug in parsing. Thank...
2014-05-12 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2014-05-12 Tianyi LiangReplace lemma sending with EQ assertions. Fix a typo...
2014-05-12 Tianyi LiangReplace lemma sending with EQ assertions. Fix a typo...
2014-05-11 Andrew ReynoldsMore preparation for CASC proofs. Minor fix for sort...
2014-05-10 Andrew ReynoldsBug fixes to CBQI. Add first draft of CASC j7 TFF...
2014-05-10 Morgan DetersFix for example installation.
2014-05-09 Andrew ReynoldsInitial draft of run scripts for CASC j7
2014-05-09 Andrew ReynoldsAdd variable ordering to ambqi. Bug fix to macros...
2014-05-08 ajreynolMajor simplifications to macros module.
2014-05-08 Andrew ReynoldsFixes to quantifiers rewriter to prevent miniscoping...
2014-05-08 Andrew ReynoldsBasic optimizations for ambqi : only normalize UF appli...
2014-05-08 Dejan JovanovicAdding encoding of sha1 collision for the hashing example
2014-05-08 Tianyi Liangpatch to the last commit: add a single character case
2014-05-07 Tianyi Liangfix a bug in contain
2014-05-07 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2014-05-07 Tianyi Liangadd splits
2014-05-07 Tianyi Liangadd splits
2014-05-07 Andrew ReynoldsFixes to ambqi, now solution-sound.
2014-05-06 Andrew ReynoldsFirst draft of ambqi_builder (new implementation of...
next