projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Improved SMT-LIBv2 language support for unsat cores.
[cvc5.git] / .mailmap
2014-07-10 Kshitij BansalMerge remote-tracking branch 'origin/master' into segfa... blob | commitdiff | raw
2014-06-26 Morgan DetersMerge tag 'smtcomp2014-resubmission' blob | commitdiff | raw
2014-06-22 Morgan DetersMerge tag 'smtcomp2014-application' blob | commitdiff | raw
2014-06-19 Morgan DetersMinor fixes, spelling etc. blob | commitdiff | raw
2014-06-16 Morgan DetersMinor fixes, spelling etc. blob | commitdiff | raw
2013-04-02 Morgan DetersFix get-authors script to not extract email addresses... blob | commitdiff | raw | diff to current