projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Eliminate equality query dependence on quantifiers engine (#5831)
[cvc5.git]
/
contrib
/
get-authors
2020-09-22
Mathias Preiner
Update copyright header script to support CMake and...
blob
|
commitdiff
|
raw
2020-06-22
Aina Niemetz
get-authors: Add alias for nafur. (#4646)
blob
|
commitdiff
|
raw
|
diff to current
2020-06-16
Aina Niemetz
Update copyright headers.
blob
|
commitdiff
|
raw
|
diff to current
2020-06-03
Mathias Preiner
Fix normalization of author names in contrib/get-author...
blob
|
commitdiff
|
raw
|
diff to current
2019-04-03
Aina Niemetz
get-authors: Add GitHub user ayveejay -> Andrew V....
blob
|
commitdiff
|
raw
|
diff to current
2019-03-26
Mathias Preiner
get-authors: Exclude empty lines.
blob
|
commitdiff
|
raw
|
diff to current
2019-03-26
Mathias Preiner
get-authors: Exclude common source code patterns. ...
blob
|
commitdiff
|
raw
|
diff to current
2019-03-25
Aina Niemetz
get-authors: Readd option -C to git blame command.
blob
|
commitdiff
|
raw
|
diff to current
2018-06-25
Aina Niemetz
Do not use git blame -C in get-authors (too many false...
blob
|
commitdiff
|
raw
|
diff to current
2018-06-25
Aina Niemetz
Added Makai and Yoni to get-authors script.
blob
|
commitdiff
|
raw
|
diff to current
2018-04-07
Aina Niemetz
Fixed get-authors.
blob
|
commitdiff
|
raw
|
diff to current
2018-04-02
Clark Barrett
Remove references to nyu (#1721)
blob
|
commitdiff
|
raw
|
diff to current
2018-03-22
Mathias Preiner
Ignore whitespaces and moved code for contrib/get-authors.
blob
|
commitdiff
|
raw
|
diff to current
2018-02-13
Aina Niemetz
Skip header for determining top contributors list....
blob
|
commitdiff
|
raw
|
diff to current
2017-07-07
Mathias Preiner
Use consistent author names for the copyright headers.
blob
|
commitdiff
|
raw
|
diff to current
2016-04-20
PaulMeng
update from the master
blob
|
commitdiff
|
raw
|
diff to current
2016-04-09
Guy
Merge branch 'master' of https://github.com/CVC4/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2016-04-04
Tim King
Updating the copyright headers and scripts.
blob
|
commitdiff
|
raw
|
diff to current
2014-01-02
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-01-02
Morgan Deters
Update copyright year.
blob
|
commitdiff
|
raw
|
diff to current
2013-12-05
Morgan Deters
Script fixes; when determining authorship of source...
blob
|
commitdiff
|
raw
|
diff to current
2013-04-02
Morgan Deters
Fix get-authors script to not extract email addresses...
blob
|
commitdiff
|
raw
|
diff to current
2013-03-15
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-03-14
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-03-13
lianah
post failed attempts at getting the incremental solver...
blob
|
commitdiff
|
raw
|
diff to current
2013-03-05
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-03-01
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-26
lianah
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-17
Kshitij Bansal
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-16
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-15
Kshitij Bansal
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-15
Kshitij Bansal
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-15
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-15
Tim King
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-08
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-05
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-05
Kshitij Bansal
Merge remote-tracking branch 'origin/1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-05
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-04
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-04
Morgan Deters
fixed files with DOS newlines; fixed contrib/ scripts...
blob
|
commitdiff
|
raw
|
diff to current
2011-03-15
Morgan Deters
Merge 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 Deters
update-copyright.pl now retrieves and incorporates...
blob
|
commitdiff
|
raw
|
diff to current