| ... | ... | @@ -63,7 +63,7 @@ don't take up all of our time. We will tackle them later. |
|
|
|
|
|
|
|
|
|
|
|
- Stephanie Weirich \<sweirich at cis.upenn.edu\> (leader)
|
|
|
|
- Martin Sulzmann
|
|
|
|
- Martin Sulzmann \<sulzmann at comp.nus.edu.sg\>
|
|
|
|
- Manuel M T Chakravarty \<chak at cse.unsw.edu.au\>
|
|
|
|
- Ravi Nanavati \<ravi at bluespec.com\>
|
|
|
|
- Andres Loeh \<loeh at iai.uni-bonn.de\>
|
| ... | ... | |
