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 | |
parent | ce6c366450cc9cb30c254f26089696c1c7c913c0 (diff) |
add a THANKS file for listing external source code contributors
-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. |