cvc5.git
2013-11-12 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2013-11-12 Tianyi Liangadd loop cache
2013-11-12 Tianyi Liangadd loop cache
2013-11-12 Morgan DetersFix new-theory script for new, flattened build system.
2013-11-12 Morgan DetersMinor build system cleanup
2013-11-12 Tianyi Lianglength lemma is changed, var-split lemma is changed
2013-11-11 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4
2013-11-11 Morgan DetersExpanded usefulness of (set-info :cvc4-logic ...)
2013-11-11 Morgan DetersSome fixes to build system with dependency-tracking...
2013-11-11 Morgan DetersChange exit status to be more consistent with other...
2013-11-11 Morgan DetersFix compat-java library naming on Mac OS; thanks to...
2013-11-11 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4
2013-11-11 Morgan DetersFix "make distclean", which should fix some of the...
2013-11-11 Morgan DetersMinor fixups to last commit
2013-11-11 Morgan DetersFlatten libcvc4 build structure; remove some #include...
2013-11-08 Morgan DetersFix "make distclean", which should fix some of the...
2013-11-07 Morgan DetersMinor fixups to last commit
2013-11-07 Morgan DetersFlatten libcvc4 build structure; remove some #include...
2013-11-07 Tianyi LiangAdds the header file into makefile, solving building...
2013-11-07 Tianyi LiangAdds the header file into makefile, solving building...
2013-11-06 Tianyi Liangbug fix
2013-11-06 Tianyi Liangchange options
2013-11-06 Andrew ReynoldsBug fixes for bounded integer quantification. Current...
2013-11-06 Tianyi Liangbug fix
2013-11-06 Andrew ReynoldsBug fixes for bounded integer quantification. Current...
2013-11-06 Tianyi Liangchange options
2013-11-06 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2013-11-06 Tianyi Liangadd seperate regular expression files
2013-11-06 Tianyi Liangadd seperate regular expression files
2013-11-06 lianahfixed proof regression script and added a new uf test...
2013-11-04 lianahMerge branch 'master' of https://github.com/CVC4/CVC4
2013-10-28 Clark BarrettTurn off model-based arrays (causing crashes in portfolio)
2013-10-24 Clark BarrettFix for bug515
2013-10-23 Tianyi Liangadd back eager approach
2013-10-23 Tianyi Liangbug fix for loop rule
2013-10-23 Tianyi Liangbug fix
2013-10-23 Tianyi Liangbug fixes: some issues remain, need more discussion...
2013-10-22 Tianyi Liangremove nested re or; opt loop
2013-10-21 Tianyi Liangstring fix
2013-10-21 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2013-10-21 Tianyi Liangadd a string test case
2013-10-21 Tianyi Liangbug fix for string special case
2013-10-21 Tianyi Liangadd a string test case
2013-10-21 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
2013-10-21 Tianyi Liangbug fix for string special case
2013-10-21 Tianyi Liangadds regular expression range
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 lianahfixed options::proof() segfault
2013-10-09 lianahcleaned up proof code
2013-10-09 lianahfixed uf proof bug: now storing deleted theory lemmas
2013-10-09 Andrew ReynoldsMore improvements to datatypes, eager selector collapsi...
2013-10-08 lianahadded currying for uf proofs; still needs debugging
2013-10-08 lianahfixed uf proof with holes bugs
2013-10-08 Andrew ReynoldsOptimizations for datatypes theory. There seems to...
2013-10-08 Liana Hadareanfixed some bugs
2013-10-08 Liana Hadareanfirst draft implementation of uf proofs with holes
2013-10-07 Liana Hadareanmerged golden
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 Liana Hadareanmerged golden
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
next