projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix C++-to-Java exception translation.
[cvc5.git] / src /
2013-11-26 Morgan DetersFix C++-to-Java exception translation. tree | commitdiff
2013-11-26 Morgan DetersFix Java output stream adapter. tree | commitdiff
2013-11-26 Morgan DetersFix Java destruction order issue; thanks to Zheng Manch... tree | commitdiff
2013-11-26 Morgan DetersMinor fix for swig bindings. tree | commitdiff
2013-11-25 Tim KingMerge remote-tracking branch 'CVC4root/master' tree | commitdiff
2013-11-25 Tim KingSubstantial Changes: tree | commitdiff
2013-11-25 Clark BarrettArray collectModelInfo fix for Andy tree | commitdiff
2013-11-21 Tim KingAdding the changes needed to delete rewriter attributes... tree | commitdiff
2013-11-20 Tim KingChanging the number of bits allocated per field in... tree | commitdiff
2013-11-19 Andrew ReynoldsBug fix for previous commit tree | commitdiff
2013-11-19 Andrew ReynoldsAdd fair strategy for finite model finding multiple... tree | commitdiff
2013-11-14 Morgan DetersAllow empty record literals (fixing an oversight in... tree | commitdiff
2013-11-14 Morgan DetersDatatype::getCardinality() caching tree | commitdiff
2013-11-13 Morgan DetersAdd virtual destructors where missing tree | commitdiff
2013-11-13 Morgan DetersSome patches to CVC3 compatibility layer; Thanks to... tree | commitdiff
2013-11-12 Morgan DetersMinor portfolio fixes for some platforms. tree | commitdiff
2013-11-12 Tianyi Lianglb change tree | commitdiff
2013-11-12 Tianyi Liangadd string progress measurements tree | commitdiff
2013-11-12 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2013-11-12 Tianyi Liangadd loop cache tree | commitdiff
2013-11-12 Tianyi Liangadd loop cache tree | commitdiff
2013-11-12 Morgan DetersMinor build system cleanup tree | commitdiff
2013-11-12 Tianyi Lianglength lemma is changed, var-split lemma is changed tree | commitdiff
2013-11-11 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2013-11-11 Morgan DetersExpanded usefulness of (set-info :cvc4-logic ...) tree | commitdiff
2013-11-11 Morgan DetersSome fixes to build system with dependency-tracking... tree | commitdiff
2013-11-11 Morgan DetersChange exit status to be more consistent with other... tree | commitdiff
2013-11-11 Morgan DetersFix compat-java library naming on Mac OS; thanks to... tree | commitdiff
2013-11-11 Morgan DetersFix "make distclean", which should fix some of the... tree | commitdiff
2013-11-11 Morgan DetersMinor fixups to last commit tree | commitdiff
2013-11-11 Morgan DetersFlatten libcvc4 build structure; remove some #include... tree | commitdiff
2013-11-08 Morgan DetersFix "make distclean", which should fix some of the... tree | commitdiff
2013-11-07 Morgan DetersMinor fixups to last commit tree | commitdiff
2013-11-07 Morgan DetersFlatten libcvc4 build structure; remove some #include... tree | commitdiff
2013-11-07 Tianyi LiangAdds the header file into makefile, solving building... tree | commitdiff
2013-11-07 Tianyi LiangAdds the header file into makefile, solving building... tree | commitdiff
2013-11-06 Tianyi Liangbug fix tree | commitdiff
2013-11-06 Tianyi Liangchange options tree | commitdiff
2013-11-06 Andrew ReynoldsBug fixes for bounded integer quantification. Current... tree | commitdiff
2013-11-06 Tianyi Liangbug fix tree | commitdiff
2013-11-06 Andrew ReynoldsBug fixes for bounded integer quantification. Current... tree | commitdiff
2013-11-06 Tianyi Liangchange options tree | commitdiff
2013-11-06 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2013-11-06 Tianyi Liangadd seperate regular expression files tree | commitdiff
2013-11-06 Tianyi Liangadd seperate regular expression files tree | commitdiff
2013-11-06 lianahfixed proof regression script and added a new uf test... tree | commitdiff
2013-11-04 lianahMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2013-10-28 Clark BarrettTurn off model-based arrays (causing crashes in portfolio) tree | commitdiff
2013-10-24 Clark BarrettFix for bug515 tree | commitdiff
2013-10-23 Tianyi Liangadd back eager approach tree | commitdiff
2013-10-23 Tianyi Liangbug fix for loop rule tree | commitdiff
2013-10-23 Tianyi Liangbug fix tree | commitdiff
2013-10-23 Tianyi Liangbug fixes: some issues remain, need more discussion... tree | commitdiff
2013-10-22 Tianyi Liangremove nested re or; opt loop tree | commitdiff
2013-10-21 Tianyi Liangstring fix tree | commitdiff
2013-10-21 Tianyi Liangbug fix for string special case tree | commitdiff
2013-10-21 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2013-10-21 Tianyi Liangbug fix for string special case tree | commitdiff
2013-10-21 Tianyi Liangadds regular expression range tree | commitdiff
2013-10-21 Tianyi Liangadds regular expression range tree | commitdiff
2013-10-21 Tianyi Liangadds regular expression range tree | commitdiff
2013-10-16 Tianyi Liangadds fmf for strings tree | commitdiff
2013-10-16 Tianyi Liangrenames for strings fmf tree | commitdiff
2013-10-15 Tianyi Liangbug fix in strings : change from assert to alwaysassert tree | commitdiff
2013-10-15 Tianyi Liangremoves some junks tree | commitdiff
2013-10-15 Andrew Reynoldsperformance optimizations for quantifier instantiation tree | commitdiff
2013-10-15 Tianyi Liangbug fix in strings : change from assert to alwaysassert tree | commitdiff
2013-10-15 Andrew Reynoldsperformance optimizations for quantifier instantiation tree | commitdiff
2013-10-15 Tianyi Liangremoves some junks tree | commitdiff
2013-10-15 Tianyi Liangbug fix: string cache cleaning tree | commitdiff
2013-10-14 Tianyi LiangAdds Regular Expression support. tree | commitdiff
2013-10-11 Tianyi LiangAdds regular expression support, it is actually CFL... tree | commitdiff
2013-10-11 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2013-10-11 Tianyi Liangadd constant membership tree | commitdiff
2013-10-11 Tianyi Liangadds native regexp. tree | commitdiff
2013-10-11 Tianyi Liangadd constant membership tree | commitdiff
2013-10-10 Andrew ReynoldsMinor bug fix to datatypes. tree | commitdiff
2013-10-10 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2013-10-10 Tianyi Liangadds native regexp. tree | commitdiff
2013-10-10 Tianyi Liangadds native regexp. tree | commitdiff
2013-10-09 lianahfixed options::proof() segfault tree | commitdiff
2013-10-09 lianahcleaned up proof code tree | commitdiff
2013-10-09 lianahfixed uf proof bug: now storing deleted theory lemmas tree | commitdiff
2013-10-09 Andrew ReynoldsMore improvements to datatypes, eager selector collapsi... tree | commitdiff
2013-10-08 lianahadded currying for uf proofs; still needs debugging tree | commitdiff
2013-10-08 lianahfixed uf proof with holes bugs tree | commitdiff
2013-10-08 Andrew ReynoldsOptimizations for datatypes theory. There seems to... tree | commitdiff
2013-10-08 Liana Hadareanfixed some bugs tree | commitdiff
2013-10-08 Liana Hadareanfirst draft implementation of uf proofs with holes tree | commitdiff
2013-10-07 Liana Hadareanmerged golden tree | commitdiff
2013-10-07 Andrew ReynoldsMultiple fixes for datatypes theory solver: add support... tree | commitdiff
2013-10-03 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2013-10-03 Andrew ReynoldsAdded support for converting unsorted problems to multi... tree | commitdiff
2013-10-03 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2013-10-03 Tianyi Liangadds some fixes. it solves kaluza problems tree | commitdiff
2013-10-02 Andrew ReynoldsAdded support for converting unsorted problems to multi... tree | commitdiff
2013-10-02 Tianyi Liangadds partial function substr. the use of this function... tree | commitdiff
2013-10-02 Tianyi Liangadds partial function substr. the use of this function... tree | commitdiff
2013-10-01 Andrew ReynoldsFix a bug in smt2 parser for quantified formulas with... tree | commitdiff
2013-10-01 Tianyi Liangreplace with a new method for disequality, move to... tree | commitdiff
next