summaryrefslogtreecommitdiff
path: root/THANKS
blob: b135fe36e2063c874bb9d2c4884ab638504cafb8 (plain) 
1
2
3

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.
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback