projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
[proof-new] Optimizing sat proof (#6324)
[cvc5.git] / AUTHORS
2021-02-19 Aina NiemetzAdd Gereon to AUTHORS list. (#5930) blob | commitdiff | raw
2020-05-05 Aina NiemetzUpdate copyright year and AUTHORS/THANKS files. (#4468) blob | commitdiff | raw | diff to current
2020-04-28 Haniel Barbosaupdate Haniel's affiliation (#4404) blob | commitdiff | raw | diff to current
2018-08-02 Andres NoetzliRemove outdated references to TLS (#2245) blob | commitdiff | raw | diff to current
2018-06-25 Aina NiemetzUpdate AUTHORS, NEWS, README, RELEASE-NOTES and THANKS... blob | commitdiff | raw | diff to current
2018-02-06 Aina NiemetzUpdated authors list blob | commitdiff | raw | diff to current
2017-06-30 Clark BarrettUpdates to AUTHORS and THANKS for 1.5 (mostly done... blob | commitdiff | raw | diff to current
2016-07-05 PaulMengMerge branch 'master' of https://github.com/CVC4/CVC4.git blob | commitdiff | raw | diff to current
2016-05-31 Clark BarrettAdded Guy to authors list. blob | commitdiff | raw | diff to current
2016-05-20 Clark BarrettUpdated AUTHORS file blob | commitdiff | raw | diff to current
2015-12-15 Tim KingRefactoring Options Handler & Library Cycle Breaking blob | commitdiff | raw | diff to current
2015-12-02 Chris ConwayAdds Google, Inc. to the AUTHORS file. blob | commitdiff | raw | diff to current
2015-05-12 Clark BarrettAdded Finn Haedicke as a contributor. blob | commitdiff | raw | diff to current
2014-11-27 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2014-11-13 Clark BarrettMinor changes to AUTHORS and COPYING blob | commitdiff | raw | diff to current
2014-11-13 Morgan DetersMinor adjustments to wording. blob | commitdiff | raw | diff to current
2014-11-13 Morgan DetersCopyright text fixes. blob | commitdiff | raw | diff to current
2014-10-03 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-10-02 Morgan DetersUpdate AUTHORS affiliations and add Martin. blob | commitdiff | raw | diff to current
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