summaryrefslogtreecommitdiff
path: root/snapshots/coq-riscv/bbv/CONTRIBUTORS
blob: e134ab513b81e55c364ff436dffcfba8d50a0d73 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
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!