projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Java datatype API fixups, datatype API examples
[cvc5.git] / NEWS
2013-12-24 Morgan DetersJava datatype API fixups, datatype API examples blob | commitdiff | raw
2013-12-22 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-18 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-18 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-18 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-17 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-17 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-17 Morgan Deterssome config changes: new --bsd option, readline gives... blob | commitdiff | raw | diff to current
2013-12-17 Morgan DetersFirst attempt at incorporating LFSC proof checker into... blob | commitdiff | raw | diff to current
2013-12-13 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-11 Morgan DetersUpdate NEWS. blob | commitdiff | raw | diff to current
2013-12-06 Morgan DetersInitializing 1.3.x branch. blob | commitdiff | raw | diff to current
2013-12-05 Morgan DetersFix NEWS. blob | commitdiff | raw | diff to current
2013-12-05 Morgan DetersNEWS reorganization. blob | commitdiff | raw | diff to current
2013-12-04 Morgan DetersDon't put define-funs in model output; bug 411 testcase... blob | commitdiff | raw | diff to current
2013-12-03 Tianyi Liangchange string news 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-12-02 Morgan DetersUpdate NEWS file. blob | commitdiff | raw | diff to current
2013-11-27 Morgan DetersSome versioning in advance of the 1.3 release. blob | commitdiff | raw | diff to current
2013-11-11 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2013-11-11 Morgan DetersChange exit status to be more consistent with other... blob | commitdiff | raw | diff to current
2013-09-30 Liana Hadareanmerged golden blob | commitdiff | raw | diff to current
2013-09-13 Kshitij BansalMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2013-09-11 Tianyi LiangTheory of strings. blob | commitdiff | raw | diff to current
2013-09-09 Morgan DetersSupport per-command verbosity settings. blob | commitdiff | raw | diff to current
2013-08-26 Kshitij BansalMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-07-11 Morgan DetersSupport for TPTP's TFF0 (with arithmetic) blob | commitdiff | raw | diff to current
2013-06-25 Morgan DetersMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-06-25 Morgan DetersSupport for abs, to_int, is_int, divisible in SMT-LIB... blob | commitdiff | raw | diff to current
2013-06-03 Morgan DetersMerge tag 'casc24' blob | commitdiff | raw | diff to current
2013-05-29 Morgan DetersMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-05-29 Morgan DetersPer SMT-LIB spec, allow (set-info..) command to succeed... 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 DetersMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-05-20 Morgan DetersDon't allow get-model & co after a user push/pop blob | commitdiff | raw | diff to current
2013-05-08 Morgan DetersPrerelease versioning for 1.2.x blob | commitdiff | raw | diff to current
2013-05-08 Morgan DetersCutting release 1.2. blob | commitdiff | raw | diff to current
2013-05-08 Morgan Detersupdate versioning blob | commitdiff | raw | diff to current
2013-04-03 Morgan DetersPre-release versioning blob | commitdiff | raw | diff to current
2013-04-03 Morgan DetersSome final minor changes before cutting 1.1. blob | commitdiff | raw | diff to current
2013-04-03 Liana Hadareanupdated NEWS to include inequality solver blob | commitdiff | raw | diff to current
2013-04-01 Morgan DetersMerging some cleanup work: 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-23 Dejan JovanovićMerge remote-tracking branch 'dddejan/c++11' blob | commitdiff | raw | diff to current
2013-03-22 Morgan DetersSupport for Boolean term conversion in datatypes. blob | commitdiff | raw | diff to current
2013-03-21 lianahMerge branch 'master' into bv-core blob | commitdiff | raw | diff to current
2013-03-20 Morgan DetersInteractive mode support for multiline input blob | commitdiff | raw | diff to current
2013-03-15 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-03-14 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-03-13 lianahpost failed attempts at getting the incremental solver... blob | commitdiff | raw | diff to current
2013-03-05 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-03-01 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-26 lianahMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-20 Morgan DetersSingle -q quiets messages/warnings. Double -qq silence... blob | commitdiff | raw | diff to current
2013-02-17 Kshitij BansalMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-16 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-15 Kshitij BansalMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-15 Kshitij BansalMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-15 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-15 Tim KingMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-08 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-05 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-05 Kshitij BansalMerge remote-tracking branch 'origin/1.0.x' blob | commitdiff | raw | diff to current
2013-02-05 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-04 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-04 Morgan DetersPrinting commands as they're executed now requires... blob | commitdiff | raw | diff to current
2013-02-04 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-02 lianahmerged master into branch blob | commitdiff | raw | diff to current
2013-02-01 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-01-31 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-01-28 Morgan DetersUpdated NEWS for recent changes. blob | commitdiff | raw | diff to current
2013-01-28 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-01-27 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-01-23 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-01-23 Morgan Detersupdate NEWS file blob | commitdiff | raw | diff to current
2013-01-23 Morgan Detersadd user patterns to the Smt1 parser; update NEWS file blob | commitdiff | raw | diff to current
2013-01-22 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-01-22 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-01-19 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2012-12-22 Dejan JovanovićMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2012-12-18 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2012-12-15 Tim KingMerging in patch from branch '1.0.x'. blob | commitdiff | raw | diff to current
2012-12-12 Dejan JovanovićMerge pull request #2 from CVC4/1.0.x blob | commitdiff | raw | diff to current
2012-12-11 Morgan DetersMerge branch '1.0.x', getting fix for bug 480 blob | commitdiff | raw | diff to current
2012-12-11 Morgan DetersMerge branch '1.0.x' (getting fix for bug 479) blob | commitdiff | raw | diff to current
2012-12-11 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2012-12-08 Morgan DetersMerge from 1.0.x (bugfix for 476). blob | commitdiff | raw | diff to current
2012-12-07 François BobotMerge release branch '1.0.x' blob | commitdiff | raw | diff to current
2012-12-06 François BobotMerge branch 'release-1.0.x' blob | commitdiff | raw | diff to current
2012-12-06 Morgan Deters* tuple and record support in compatibility library blob | commitdiff | raw | diff to current
2012-12-01 Morgan DetersCutting release 1.0. blob | commitdiff | raw | diff to current
2012-10-06 Morgan Deters* Clean up some options documentation blob | commitdiff | raw | diff to current
2009-11-03 Morgan Deterscommit of project structure including autotools support blob | commitdiff | raw | diff to current