projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Remove PropositionalQuery class and all CUDD-related build stuff (and references)
[cvc5.git] / contrib / update-copyright.pl
2013-03-15 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw
2013-03-14 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw
2013-03-05 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw
2013-03-01 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw
2013-02-26 lianahMerge branch '1.0.x' blob | commitdiff | raw
2013-02-17 Kshitij BansalMerge branch '1.0.x' blob | commitdiff | raw
2013-02-16 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw
2013-02-15 Kshitij BansalMerge branch '1.0.x' blob | commitdiff | raw
2013-02-15 Kshitij BansalMerge branch '1.0.x' blob | commitdiff | raw
2013-02-15 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw
2013-02-15 Tim KingMerge branch '1.0.x' blob | commitdiff | raw
2013-02-08 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw
2013-02-05 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw
2013-02-05 Kshitij BansalMerge remote-tracking branch 'origin/1.0.x' blob | commitdiff | raw
2013-02-05 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw
2013-02-04 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw
2013-02-04 Morgan Detersfixed files with DOS newlines; fixed contrib/ scripts... blob | commitdiff | raw
2012-10-11 Morgan DetersStandardizing copyright notice. Touches **ALL** source... blob | commitdiff | raw | diff to current
2012-02-12 Morgan Deterscopyright year updated to 2012 blob | commitdiff | raw | diff to current
2011-09-30 Morgan Detersinterfaces fixes and cleanups...and examples of each... blob | commitdiff | raw | diff to current
2011-09-16 Morgan Detersfix serious issue with copyright-updating script blob | commitdiff | raw | diff to current
2011-09-02 Morgan DetersMerge from my post-smtcomp branch. Includes: blob | commitdiff | raw | diff to current
2011-03-30 Morgan DetersAdd Valuation::getSatValue() so that theories can acces... blob | commitdiff | raw | diff to current
2011-02-26 Morgan DetersCommit to fix bug 241 (improper "using namespace std... blob | commitdiff | raw | diff to current
2010-07-02 Morgan Deters* Added white-box TheoryEngine test that tests the... blob | commitdiff | raw | diff to current
2010-06-04 Morgan Deters** Don't fear the files-changed list, almost all change... blob | commitdiff | raw | diff to current
2010-04-05 Christopher L. ConwayUpdating copyright exclusion blob | commitdiff | raw | diff to current
2010-04-05 Christopher L. ConwayMoving code imported from libantlr3c to separate file... blob | commitdiff | raw | diff to current
2010-04-01 Morgan Detersreran update-copyright.pl to get new contributors and... blob | commitdiff | raw | diff to current
2010-04-01 Morgan DetersPARSER STUFF: blob | commitdiff | raw | diff to current
2010-02-25 Morgan Deters* src/expr/node.h: add a copy constructor. Apparently... blob | commitdiff | raw | diff to current
2010-02-04 Morgan Detersremove -*- c++ -*- emacs tag from source files (it... blob | commitdiff | raw | diff to current
2010-02-04 Morgan Detersminor fix for update-copyright.pl; ran update-copyright... blob | commitdiff | raw | diff to current
2010-02-04 Morgan DetersAdded theory output channel interfaces and "Interrupted... blob | commitdiff | raw | diff to current
2009-12-17 Morgan Detersupdate-copyright.pl now retrieves and incorporates... blob | commitdiff | raw | diff to current
2009-12-03 Morgan Detersfirst attempt at new build system blob | commitdiff | raw | diff to current
2009-11-24 Morgan Detersvarious fixes and updates to use and support parser blob | commitdiff | raw | diff to current
2009-11-24 Morgan Detersconfigure option adjustments as per 11/24 meeting;... blob | commitdiff | raw | diff to current
2009-11-18 Morgan Deterswork on exprs, driver, util blob | commitdiff | raw | diff to current
2009-11-17 Morgan Detersanother pass blob | commitdiff | raw | diff to current
2009-11-17 Morgan Detersfixes and additions blob | commitdiff | raw | diff to current