projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Updated CASC scripts, as provided to Geoff Sutcliffe
[cvc5.git] / contrib / Makefile.am
2013-04-30 lianahfixed merge conflicts blob | commitdiff | raw
2013-04-24 Morgan DetersTheory "alternates" support blob | commitdiff | raw
2013-03-20 Liana Hadareanmerged master with dejan's constant evaluating equality... blob | commitdiff | raw | diff to current
2013-03-19 Morgan DetersRemove PropositionalQuery class and all CUDD-related... 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-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-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 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 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-24 Morgan DetersAdd win32 support (merge from mdeters/win32, with some... blob | commitdiff | raw | diff to current
2012-10-03 Morgan Detersupdates to contrib scripts to match docs blob | commitdiff | raw | diff to current
2012-10-03 Morgan Detersbetter documentation, allow examples to be installed... blob | commitdiff | raw | diff to current
2012-09-26 Morgan DetersFix a handful of things for Mac, and Java bindings. blob | commitdiff | raw | diff to current
2012-06-18 Morgan Detersfinal sources (?) for competition blob | commitdiff | raw | diff to current
2012-06-13 Morgan DetersDon't use the "inlined" feature of ANTLR 3.2, which... blob | commitdiff | raw | diff to current
2012-02-12 Morgan Detersseparate new-theory components into a "theoryskel"... blob | commitdiff | raw | diff to current
2012-02-10 Morgan Detersscript to ease creating a new theory from scratch ... blob | commitdiff | raw | diff to current
2011-05-05 Morgan Detersluby sequence generator; can use to plot MiniSat's... blob | commitdiff | raw | diff to current
2010-10-27 Morgan Deters"make dist" fixes; a distribution tarball can now build... blob | commitdiff | raw | diff to current
2009-11-09 Morgan Detersminor fixes, added contrib directory blob | commitdiff | raw | diff to current