projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
[API] Support `Op::operator[]` in Java and Python (#8356)
[cvc5.git] / contrib / get-authors
2021-04-21 Mathias PreinerGoodbye CVC4, hello cvc5! (#6371) blob | commitdiff | raw
2021-04-12 Aina NiemetzRefactor and update copyright headers. (#6316) blob | commitdiff | raw | diff to current
2021-03-09 Aina NiemetzUpdate copyright headers to 2021. (#6081) blob | commitdiff | raw | diff to current
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and... blob | commitdiff | raw | diff to current
2020-06-22 Aina Niemetzget-authors: Add alias for nafur. (#4646) blob | commitdiff | raw | diff to current
2020-06-16 Aina NiemetzUpdate copyright headers. blob | commitdiff | raw | diff to current
2020-06-03 Mathias PreinerFix normalization of author names in contrib/get-author... blob | commitdiff | raw | diff to current
2019-04-03 Aina Niemetzget-authors: Add GitHub user ayveejay -> Andrew V.... blob | commitdiff | raw | diff to current
2019-03-26 Mathias Preinerget-authors: Exclude empty lines. blob | commitdiff | raw | diff to current
2019-03-26 Mathias Preinerget-authors: Exclude common source code patterns. ... blob | commitdiff | raw | diff to current
2019-03-25 Aina Niemetzget-authors: Readd option -C to git blame command. blob | commitdiff | raw | diff to current
2018-06-25 Aina NiemetzDo not use git blame -C in get-authors (too many false... blob | commitdiff | raw | diff to current
2018-06-25 Aina NiemetzAdded Makai and Yoni to get-authors script. blob | commitdiff | raw | diff to current
2018-04-07 Aina NiemetzFixed get-authors. blob | commitdiff | raw | diff to current
2018-04-02 Clark BarrettRemove references to nyu (#1721) blob | commitdiff | raw | diff to current
2018-03-22 Mathias PreinerIgnore whitespaces and moved code for contrib/get-authors. blob | commitdiff | raw | diff to current
2018-02-13 Aina NiemetzSkip header for determining top contributors list.... blob | commitdiff | raw | diff to current
2017-07-07 Mathias PreinerUse consistent author names for the copyright headers. blob | commitdiff | raw | diff to current
2016-04-20 PaulMengupdate from the master blob | commitdiff | raw | diff to current
2016-04-09 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2016-04-04 Tim KingUpdating the copyright headers and scripts. blob | commitdiff | raw | diff to current
2014-01-02 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-02 Morgan DetersUpdate copyright year. blob | commitdiff | raw | diff to current
2013-12-05 Morgan DetersScript fixes; when determining authorship of source... blob | commitdiff | raw | diff to current
2013-04-02 Morgan DetersFix get-authors script to not extract email addresses... 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-13 lianahpost failed attempts at getting the incremental solver... 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 Detersfixed files with DOS newlines; fixed contrib/ scripts... blob | commitdiff | raw | diff to current
2011-03-15 Morgan DetersMerge from cudd branch. This mostly just adds support... 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-22 Morgan Deters* configure.ac: Remove doc/ from search path for Makefi... blob | commitdiff | raw | diff to current
2009-12-17 Morgan Detersupdate-copyright.pl now retrieves and incorporates... blob | commitdiff | raw | diff to current