projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
fix incorrect 64-bit detection -- powerpc64le doesn't end in 64 but is 64-bit
[cvc5.git] / .mailmap
2016-04-20 PaulMengupdate from the master blob | commitdiff | raw
2016-03-30 Tim KingUpdating the mailmap for git. blob | commitdiff | raw
2014-11-27 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2014-11-17 Liana HadareanResource-limiting work. 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 DetersMinor fixes, spelling etc. blob | commitdiff | raw | diff to current
2014-06-16 Morgan DetersMinor fixes, spelling etc. 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