diff options
Diffstat (limited to 'snapshots/coq-riscv/bbv/CONTRIBUTORS')
| -rw-r--r-- | snapshots/coq-riscv/bbv/CONTRIBUTORS | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/snapshots/coq-riscv/bbv/CONTRIBUTORS b/snapshots/coq-riscv/bbv/CONTRIBUTORS new file mode 100644 index 00000000..e134ab51 --- /dev/null +++ b/snapshots/coq-riscv/bbv/CONTRIBUTORS @@ -0,0 +1,19 @@ +Contributors (in alphabetical order): + +Tej Chajed +Haogang Chen +Adam Chlipala +Joonwon Choi +Andres Erbsen +Jason Gross +Samuel Gruetter +Frans Kaashoek +Alex Konradi +Gregory Malecha +Duckki Oe +Murali Vijayaraghavan +Nickolai Zeldovich +Daniel Ziegler + +This list was generated from the commit history of the various projects from which bbv was merged, so it's likely that some people are missing. If you think someone should be added, please make a pull request! + |