diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-09-05 20:51:34 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-09-05 20:51:34 +0000 |
| commit | 7c0efea7df301c32b56949054973217e41ce31ab (patch) | |
| tree | 7803e29ef7e1854054a51ab2893b1d7397b4737a /THANKS | |
| parent | ce6c366450cc9cb30c254f26089696c1c7c913c0 (diff) | |
add a THANKS file for listing external source code contributors
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. |