cvc5.git
2013-10-21 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2013-10-21 Tianyi Liangadds regular expression range
2013-10-21 Tianyi Liangadds regular expression range
2013-10-17 Kshitij Bansalminor fix to last commit (gitignore)
2013-10-17 Kshitij Bansal.gitignore personal configuration files
2013-10-16 Tianyi Liangadds fmf for strings
2013-10-16 Tianyi Liangrenames for strings fmf
2013-10-16 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2013-10-15 Tianyi Liangbug fix in strings : change from assert to alwaysassert
2013-10-15 Tianyi Liangremoves some junks
2013-10-15 Andrew Reynoldsperformance optimizations for quantifier instantiation
2013-10-15 Tianyi Liangbug fix in strings : change from assert to alwaysassert
2013-10-15 Andrew Reynoldsperformance optimizations for quantifier instantiation
2013-10-15 Tianyi Liangremoves some junks
2013-10-15 Tianyi Liangbug fix: string cache cleaning
2013-10-14 Tianyi Liangadd another regexp test
2013-10-14 Tianyi LiangAdds Regular Expression support.
2013-10-11 Tianyi LiangAdds regular expression support, it is actually CFL...
2013-10-11 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2013-10-11 Tianyi Liangadd constant membership
2013-10-11 Tianyi Liangadds native regexp.
2013-10-11 Tianyi Liangadd constant membership
2013-10-10 Andrew ReynoldsMinor bug fix to datatypes.
2013-10-10 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2013-10-10 Tianyi Liangadds native regexp.
2013-10-10 Tianyi Liangadds native regexp.
2013-10-09 Andrew ReynoldsMore improvements to datatypes, eager selector collapsi...
2013-10-08 Andrew ReynoldsOptimizations for datatypes theory. There seems to...
2013-10-07 Andrew ReynoldsMultiple fixes for datatypes theory solver: add support...
2013-10-03 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4
2013-10-03 Andrew ReynoldsAdding example proof signatures for LFSC.
2013-10-03 Andrew ReynoldsAdded support for converting unsorted problems to multi...
2013-10-03 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2013-10-03 Tianyi Liangadds some fixes. it solves kaluza problems
2013-10-03 Andrew ReynoldsAdding example proof signatures for LFSC.
2013-10-02 Andrew ReynoldsAdded support for converting unsorted problems to multi...
2013-10-02 Tianyi Liangadds partial function substr. the use of this function...
2013-10-02 Tianyi Liangadds partial function substr. the use of this function...
2013-10-01 Andrew ReynoldsFix a bug in smt2 parser for quantified formulas with...
2013-10-01 Tianyi Liangreplace with a new method for disequality, move to...
2013-09-30 Tianyi Liangadd x=y
2013-09-30 Tianyi Liangfixed a loop bug
2013-09-30 Andrew ReynoldsBug fixes and improvements for symmetry breaking, it...
2013-09-27 Morgan DetersSome fixes to recent strings commits.
2013-09-27 Morgan DetersMerge branch 'master' of github.com:tiliang/CVC4
2013-09-27 Tianyi Liangadds communication with arith engine
2013-09-27 Andrew ReynoldsAdd new symmetry breaking technique for finite model...
2013-09-27 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2013-09-27 Tianyi Liangremoves unsound cases, adds unrolling
2013-09-27 Tianyi Liangfix the infinite issue
2013-09-27 Tianyi Liangfor morgan to see the regression problems
2013-09-27 Tianyi Liangfix loop detection for multi-vars
2013-09-27 Tianyi Liangoptimizing model generation for strings
2013-09-27 Tianyi Liangadds model generation for strings, and a hacked way...
2013-09-27 Tianyi Liangremoves unsound cases, adds unrolling
2013-09-25 Tianyi Liangfix the infinite issue
2013-09-25 Tianyi Liangfor morgan to see the regression problems
2013-09-24 Clark BarrettReduce compiler dependencies on substitutions.h,
2013-09-24 Clark BarrettBetter fix for bug 528
2013-09-24 Tianyi Liangfix loop detection for multi-vars
2013-09-24 Tianyi Liangoptimizing model generation for strings
2013-09-24 Tianyi Liangadds model generation for strings, and a hacked way...
2013-09-23 Morgan DetersRevert Clark's last commit, at his request; there are...
2013-09-23 Clark BarrettCleaner version of bug-fix for 528, also moved substitu...
2013-09-19 Clark BarrettFix for bug 528
2013-09-18 Morgan DetersSupport a personal build configuration and make rules.
2013-09-18 Morgan DetersSupport for bv2nat/int2bv in parser and BV rewriter.
2013-09-18 Morgan DetersFixes to theoryof-mode; no longer static in Theory...
2013-09-16 Morgan DetersFix (extraneous) command dumping.
2013-09-15 Andrew ReynoldsChange default option of simple ite lifting within...
2013-09-13 Morgan DetersFix sat_proof "parentheses into the void" after conferr...
2013-09-13 Morgan DetersMove some regress benchmarks around that took too long...
2013-09-13 Morgan DetersDocumentation fixes, some code typo fixes, file perms...
2013-09-13 Kshitij BansalMerge branch 'master' of https://github.com/CVC4/CVC4
2013-09-12 Kshitij Bansalfix bug 534: portfolio define-fun duplicate model
2013-09-11 Tianyi LiangTheory of strings.
2013-09-09 Andrew ReynoldsAnother minor fix for datatypes to repair my previous...
2013-09-09 Morgan DetersAdd support for check-sat with argument.
2013-09-09 Morgan DetersFix declare-datatypes dumping bug (bug 385).
2013-09-09 Morgan DetersSupport per-command verbosity settings.
2013-09-09 Morgan DetersSupport empty (and 1-ary) tuples and records.
2013-09-09 Morgan DetersFix some line-numbering in auto-generated metakind...
2013-09-09 Morgan DetersFix portfolio on bug411.smt2. (get-model command shoul...
2013-09-09 Morgan DetersEnsure no cost for datatypes debugging when not tracing it.
2013-09-07 Andrew ReynoldsFix datatypes for bug 503
2013-09-05 Morgan DetersFix FLOOR and DISTINCT in CVC language parser.
2013-09-05 Morgan DetersFix lambda handling in CVC parser
2013-09-05 Morgan DetersPermit setOption(decision-mode)
2013-09-05 Morgan DetersFix bugs/issues with missed-t-prop dump output
2013-09-05 Morgan DetersFix declare-fun/define-fun in dumps; resolves bugs...
2013-08-31 Morgan DetersAdd ability to mkConst(TupleSelect) and friends in...
2013-08-26 Kshitij BansalMerge branch '1.2.x'
2013-08-26 Kshitij Bansalbug 374 fix: assert litVal=desiredVal only for leaf...
2013-08-26 Kshitij BansalBug 374 benchmarks
2013-08-20 Morgan DetersChange recursive expandDefinitions() to an interative...
2013-08-13 Morgan Deters--segv-nospin is now default.
2013-08-13 Morgan DetersMinor cleanup.
2013-08-13 Andrew ReynoldsMinor fixes for --fmf-fmc for quantifiers containing...
2013-08-13 Andrew Reynoldsinitial modifications for per-ic cbqi
2013-08-09 Morgan DetersClean up "make install"-produced intermediate files...
next