cvc5.git
2013-12-03 Kshitij Bansalrm ChangeLog (use NEWS)
2013-12-03 Morgan DetersSExpr pretty-printing for :all-options and :all-statistics.
2013-12-03 Morgan DetersMinor cleanup.
2013-12-03 Morgan DetersAdd test case for (previously resolved) bug 528.
2013-12-03 Morgan DetersSupport for parametric datatype subtyping, so that...
2013-12-03 lianahfixed rewriter bug where postRewrite was not caching...
2013-12-02 Morgan DetersAnother fix to Java destruction order issues. Thanks...
2013-12-02 Morgan DetersUpdate NEWS file.
2013-11-29 Morgan DetersFix proofs build.
2013-11-29 Morgan DetersFix portfolio compile error.
2013-11-27 Morgan DetersIgnore config/compile file, which newer autotools create
2013-11-27 Morgan DetersFix for compile error when using gcc 4.7 with -std...
2013-11-27 Morgan DetersGeneral pre-release cleanup commit
2013-11-27 Morgan DetersJava bindings improvements for CASCADE, minor cleanup.
2013-11-27 Morgan DetersAdd missing template instanatiation in Java bindings
2013-11-27 Morgan DetersSome versioning in advance of the 1.3 release.
2013-11-27 Morgan DetersIncremental is now on by default when using from API...
2013-11-27 Andrew ReynoldsBug fix for E-matching select terms, minor fix for...
2013-11-26 Morgan DetersFix a segfault in the printer infrastructure when calle...
2013-11-26 Morgan DetersFix C++-to-Java exception translation.
2013-11-26 Morgan DetersFix Java output stream adapter.
2013-11-26 Morgan DetersFix Java destruction order issue; thanks to Zheng Manch...
2013-11-26 Morgan DetersMinor fix for swig bindings.
2013-11-25 Tim KingMerge remote-tracking branch 'CVC4root/master'
2013-11-25 Tim KingSubstantial Changes:
2013-11-25 Clark BarrettArray collectModelInfo fix for Andy
2013-11-21 Tim KingAdding the changes needed to delete rewriter attributes...
2013-11-20 Tim KingChanging the number of bits allocated per field in...
2013-11-19 Andrew ReynoldsBug fix for previous commit
2013-11-19 Andrew ReynoldsAdd fair strategy for finite model finding multiple...
2013-11-14 Morgan DetersMinor fixes for Mac OS Mavericks
2013-11-14 Morgan DetersAllow empty record literals (fixing an oversight in...
2013-11-14 Morgan DetersSome patches to CVC3 compatibility layer tests; Thanks...
2013-11-14 Morgan DetersDatatype::getCardinality() caching
2013-11-13 Morgan DetersAdd virtual destructors where missing
2013-11-13 Morgan DetersSome patches to CVC3 compatibility layer; Thanks to...
2013-11-13 Morgan DetersAnother build fix; the dust should be settled now.
2013-11-12 Morgan DetersMinor portfolio fixes for some platforms.
2013-11-12 Morgan DetersSome additional explanation for a common configure...
2013-11-12 Tianyi Lianglb change
2013-11-12 Tianyi Liangadd string progress measurements
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
next