diff options
Diffstat (limited to 'THANKS')
-rw-r--r-- | THANKS | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -0,0 +1,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. |