projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add --lte-restrict-inst-closure option. Push dt.size fairness constraints inside...
[cvc5.git] / src / cvc4.i
2014-12-04 Morgan DetersFix UnsatCore in language bindings. blob | commitdiff | raw
2014-12-04 Martin BrainFloating point infrastructure. blob | commitdiff | raw | diff to current
2014-11-27 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2014-11-17 Liana HadareanResource-limiting work. blob | commitdiff | raw | diff to current
2014-07-10 Kshitij BansalMerge remote-tracking branch 'origin/master' into segfa... blob | commitdiff | raw | diff to current
2014-07-01 Morgan DetersMerge pull request #44 from mdeters/prio-queue-updates blob | commitdiff | raw | diff to current
2014-07-01 Morgan DetersMerge pull request #45 from mdeters/turn-off-strings-exp blob | commitdiff | raw | diff to current
2014-06-30 Kshitij BansalMerge pull request #47 from kbansal/sets blob | commitdiff | raw | diff to current
2014-06-26 Morgan DetersMerge tag 'smtcomp2014-resubmission' blob | commitdiff | raw | diff to current
2014-06-26 Morgan DetersRemove leftover debugging output. blob | commitdiff | raw | diff to current
2014-06-26 Morgan DetersMinor language bindings fixes. blob | commitdiff | raw | diff to current
2014-06-22 Morgan DetersMerge tag 'smtcomp2014-application' blob | commitdiff | raw | diff to current
2014-06-19 Morgan DetersJava bindings fixes. blob | commitdiff | raw | diff to current
2014-06-18 Morgan DetersJava bindings fixes. blob | commitdiff | raw | diff to current
2014-05-21 Morgan DetersSafer swig-wrapping for unsigned long long in Java... blob | commitdiff | raw | diff to current
2014-04-28 Kshitij BansalMerge remote-tracking branch 'upstream/master' into... blob | commitdiff | raw | diff to current
2014-04-11 Morgan DeterssetType -> setOfType, resolves bug 556 blob | commitdiff | raw | diff to current
2014-04-01 Tim KingMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-26 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-21 Kshitij BansalMerge pull request #22 from kbansal/sets-model blob | commitdiff | raw | diff to current
2014-03-11 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-11 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-10 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2014-03-08 Tim KingMerge pull request #18 from timothy-king/master blob | commitdiff | raw | diff to current
2014-03-08 Tim KingMerge remote-tracking branch 'CVC4root/master' blob | commitdiff | raw | diff to current
2014-03-08 Tim KingFixing a SWIG problem for RationalFromDoubleException. blob | commitdiff | raw | diff to current
2014-02-21 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-02-21 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-02-19 Tim KingMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-27 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-18 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-17 Kshitij BansalMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-09 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-08 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-02 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-27 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-26 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2013-12-24 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-24 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-24 Morgan DetersJava datatype API fixups, datatype API examples blob | commitdiff | raw | diff to current
2013-12-04 Morgan DetersMore Java bindings fixes blob | commitdiff | raw | diff to current
2013-12-03 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2013-11-27 Morgan DetersJava bindings improvements for CASCADE, minor cleanup. blob | commitdiff | raw | diff to current
2013-11-26 Morgan DetersFix C++-to-Java exception translation. blob | commitdiff | raw | diff to current
2013-09-30 Liana Hadareanmerged golden blob | commitdiff | raw | diff to current
2013-08-26 Kshitij BansalMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-07-13 Morgan DetersFix language bindings and portfolio builds. blob | commitdiff | raw | diff to current
2013-05-22 Andrew ReynoldsMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2013-05-20 Morgan Detersminor changes to language bindings blob | commitdiff | raw | diff to current
2013-05-16 Morgan Detersminor changes to language bindings blob | commitdiff | raw | diff to current
2013-03-29 Dejan JovanovićMerge branch 'master' of github.com:CVC4/CVC4 blob | commitdiff | raw | diff to current
2013-03-28 Morgan Deterssome Java bindings fixes (fixes Debian build problems) blob | commitdiff | raw | diff to current
2013-03-27 lianahMerge branch 'master' into bv-core blob | commitdiff | raw | diff to current
2013-03-27 lianahadded model generation for bv subtheories and bv-inequa... blob | commitdiff | raw | diff to current
2013-03-26 Morgan DetersFixes for warnings from clang++, from -std=gnu++0x... blob | commitdiff | raw | diff to current
2013-03-26 Dejan JovanovićMerge branch 'master' of git@github.com:CVC4/CVC4.git blob | commitdiff | raw | diff to current
2013-03-26 Morgan Detersjava input stream adapters working blob | commitdiff | raw | diff to current
2012-11-17 Morgan Deters* enable previously-failing (now succeeding) datatype... blob | commitdiff | raw | diff to current
2012-11-17 Morgan Deters* Fix for bug 445 agreed to in meeting 11/13/2012:... blob | commitdiff | raw | diff to current
2012-11-12 Morgan Deters* Fix language bindings: various issues blob | commitdiff | raw | diff to current
2012-11-09 Morgan DetersBug-fix for a crash involving improperly-thrown excepti... blob | commitdiff | raw | diff to current
2012-10-05 Morgan DetersBug-related: blob | commitdiff | raw | diff to current
2012-09-28 Morgan Detersrename Assert.h/Assert.cpp to cvc4_assert.h/cvc4_assert... blob | commitdiff | raw | diff to current
2012-09-24 Morgan DetersFix the memout issue seen in recent nightly regressions... blob | commitdiff | raw | diff to current
2012-09-20 Morgan Detersmap C++ exceptions to Java exceptions correctly when... blob | commitdiff | raw | diff to current
2012-08-20 Morgan Detersfixes for java bindings blob | commitdiff | raw | diff to current
2012-08-08 Morgan DetersPublic interface review items: blob | commitdiff | raw | diff to current
2012-08-07 Morgan DetersSome items from the CVC4 public interface review: blob | commitdiff | raw | diff to current
2012-08-06 Morgan DetersSupport setting :regular-output-channel and :diagnostic... blob | commitdiff | raw | diff to current
2012-07-31 Morgan DetersOptions merge. This commit: blob | commitdiff | raw | diff to current
2012-05-19 Tim King- The array type rules were fixed to use isSubtypeOf. blob | commitdiff | raw | diff to current
2011-11-22 Morgan DetersMore language bindings work: blob | commitdiff | raw | diff to current
2011-11-15 Morgan DetersBindings work (ocaml bindings are now sort of working... blob | commitdiff | raw | diff to current
2011-10-05 Morgan Detersremove some debugging code that slowed down last night... blob | commitdiff | raw | diff to current
2011-10-03 Morgan Detersuser push/pop support in minisat and simplification... blob | commitdiff | raw | diff to current
2011-09-23 Morgan Detersinterface cleanup, java bindings work blob | commitdiff | raw | diff to current
2011-09-21 Morgan DetersJava binding now working. Some interface types still... blob | commitdiff | raw | diff to current
2011-09-21 Morgan Detersconsiderable bindings interface work, some improvements... blob | commitdiff | raw | diff to current
2011-09-20 Morgan DetersMerge from "swig" branch: language binding for Java... blob | commitdiff | raw | diff to current