projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge remote-tracking branch 'origin/1.4.x'
[cvc5.git] / AUTHORS
2014-10-03 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-10-02 Morgan DetersUpdate AUTHORS affiliations and add Martin. blob | commitdiff | raw
2014-09-26 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-09-26 Morgan DetersClarify some licensing-related things. 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 DetersDocumentation clean-ups. blob | commitdiff | raw | diff to current
2014-06-17 Tim KingMerge pull request #33 from mdeters/arith-proposal blob | commitdiff | raw | diff to current
2014-06-17 Morgan DetersDocumentation clean-ups. blob | commitdiff | raw | diff to current
2014-04-06 Tim KingMerge pull request #21 from pcc/ite-fix 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-19 Morgan DetersMinor documentation fixups. blob | commitdiff | raw | diff to current
2013-04-03 Morgan DetersSome final minor changes before cutting 1.1. blob | commitdiff | raw | diff to current
2012-10-11 Morgan DetersStandardizing copyright notice. Touches **ALL** source... blob | commitdiff | raw | diff to current
2012-09-22 Morgan DetersSeparate public-facing and internal-facing interfaces... blob | commitdiff | raw | diff to current
2012-09-19 Morgan DetersGeneral subscriber infrastructure for NodeManager,... blob | commitdiff | raw | diff to current
2012-02-20 Morgan Detersportfolio merge blob | commitdiff | raw | diff to current
2012-02-13 François Bobotprecision in theoryskel blob | commitdiff | raw | diff to current
2010-09-27 ACSYSadd workaround for systems (i.e., Mac OS X) that don... blob | commitdiff | raw | diff to current
2010-07-05 Morgan Detersworkaround for strange CIMS installation of automake... blob | commitdiff | raw | diff to current
2010-07-05 Clark BarrettAdded Cesare to list of authors blob | commitdiff | raw | diff to current
2010-07-05 Clark BarrettChanged AUTHORS - removed references to earlier CVC... blob | commitdiff | raw | diff to current
2010-07-03 Morgan DetersWith this commit come a number of changes to build... blob | commitdiff | raw | diff to current
2010-02-10 Morgan Deterssvn:ignore for build stuff; add Liana to AUTHORS blob | commitdiff | raw | diff to current
2009-11-12 Morgan Detersparser, minisat, other things.. blob | commitdiff | raw | diff to current
2009-11-03 Morgan Deterscommit of project structure including autotools support blob | commitdiff | raw | diff to current