summaryrefslogtreecommitdiff
path: root/THANKS
blob: f6586d2dce3baa01bd91e258f6033409277cf0ff (plain) 
1
2
3
4
5
6

Thanks to Peter Collingbourne and his group (the Multicore Programming Group
at Imperial College London) for developing and submitting some patches in
September 2012 related to SMT-LIBv2 compliance.

Thanks to David Cok of GrammaTech, Inc., for suggesting numerous improvements
in CVC4's SMT-LIBv2 compliance in May 2013.
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback