projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9ac41cb) | patch
Script fixes; when determining authorship of source files, don't count copyright...
authorMorgan Deters <mdeters@cs.nyu.edu>
Thu, 5 Dec 2013 19:40:18 +0000 (14:40 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Thu, 5 Dec 2013 20:06:19 +0000 (15:06 -0500)
commitc0b0632a83ca1e997b9002bf9e67b0dbbbd154b1
tree2626779846c1702645ee7792dc9aa681190bc2b4tree
parent9ac41cbe841066f5a222ef26bae227afc3bac3dccommit | diff
Script fixes; when determining authorship of source files, don't count copyright-updating commits.
contrib/get-authors diff | blob | history
contrib/update-copyright.pl diff | blob | history