projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Eliminate most of the internal representation infrastructure for tuples and records...
[cvc5.git] / library_versions
2014-11-10 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-11-07 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-11-07 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-11-07 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-11-05 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-10-17 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-10-16 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-10-11 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-10-10 Kshitij BansalMerge remote-tracking branch 'origin/1.4.x' blob | commitdiff | raw
2014-10-09 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-10-07 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-10-06 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-10-06 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-10-03 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-10-03 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-10-02 Morgan DetersMerge branch '1.4.x'. blob | commitdiff | raw
2014-09-30 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-09-27 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-09-26 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-09-17 Kshitij BansalMerge branch '1.4.x' while ignoring commit 8d5eb49. blob | commitdiff | raw
2014-09-17 Kshitij BansalMerge branch '1.4.x' blob | commitdiff | raw
2014-08-22 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-08-22 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-08-19 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-08-18 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-07-13 Morgan DetersVersioning for master. blob | commitdiff | raw
2014-07-13 Morgan DetersNew versioning for development version. 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-06-26 Morgan DetersMerge tag 'smtcomp2014-resubmission' blob | commitdiff | raw | diff to current
2014-06-22 Morgan DetersMerge tag 'smtcomp2014-application' blob | commitdiff | raw | diff to current
2014-06-19 Morgan DetersVersioning preparation. blob | commitdiff | raw | diff to current
2014-06-17 Morgan DetersVersioning preparation. blob | commitdiff | raw | diff to current
2014-06-10 Morgan DetersSome news about API changes. 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-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-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-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-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-16 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-16 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-14 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-14 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-13 Morgan DetersMerge branch '1.3.x' 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 DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-09 Morgan DetersInitializing master for next version. blob | commitdiff | raw | diff to current
2013-12-09 Morgan DetersInitializing 1.3.x branch. blob | commitdiff | raw | diff to current
2013-12-09 Kshitij BansalMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-07 Kshitij BansalMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-06 Morgan DetersInitializing master for next version. blob | commitdiff | raw | diff to current
2013-12-06 Morgan DetersInitializing 1.3.x branch. 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 DetersSome versioning in advance of the 1.3 release. 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-06-25 Morgan DetersMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-06-19 Morgan DetersMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-06-04 Morgan DetersMerge branch '1.2.x' 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-22 Andrew ReynoldsMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2013-05-21 Morgan DetersMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-05-21 Morgan DetersMerge branch '1.2.x' 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 DetersDetect multiply-defined :named annotations and issue... blob | commitdiff | raw | diff to current
2013-05-17 Morgan DetersBetter error on invalid logic strings. 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 DetersPrerelease versioning for master 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 DetersPrerelease versioning for master. blob | commitdiff | raw | diff to current
2013-04-03 Morgan DetersPre-release versioning blob | commitdiff | raw | diff to current
2013-04-01 Morgan DetersMerging some cleanup work: blob | commitdiff | raw | diff to current
2012-12-06 Morgan Detersdistribute the find_public_interface.sh script blob | commitdiff | raw | diff to current
2012-12-06 Morgan Detersversion numbering blob | commitdiff | raw | diff to current
2012-12-03 Morgan Detersdistribute the find_public_interface.sh script blob | commitdiff | raw | diff to current
2012-12-03 Morgan Detersversion numbering blob | commitdiff | raw | diff to current
2012-10-03 Morgan Detersbetter documentation, allow examples to be installed... blob | commitdiff | raw | diff to current
2011-09-29 Morgan Deterscompatibility work, documentation blob | commitdiff | raw | diff to current
2011-09-20 Morgan DetersMerge from "swig" branch: language binding for Java... blob | commitdiff | raw | diff to current
2011-09-18 Morgan Deterscleaned up the mechanism for library versioning blob | commitdiff | raw | diff to current