diff options
| author | Peter Sewell | 2014-11-03 16:46:26 +0000 |
|---|---|---|
| committer | Peter Sewell | 2014-11-03 16:46:26 +0000 |
| commit | b495bb14b00844d69d183c2473620aef6f975961 (patch) | |
| tree | ada314f5b66e3f893834d11941554d2e5d90d158 /src/initial_check.mli | |
| parent | 9c24fc37a60d4cf8594d2967da90c73a4d604725 (diff) | |
kathy,christopher,peter: talking about bitvectors and sc calls
Diffstat (limited to 'src/initial_check.mli')
0 files changed, 0 insertions, 0 deletions