diff options
| author | Kathy Gray | 2015-10-23 15:14:07 +0100 |
|---|---|---|
| committer | Kathy Gray | 2015-10-23 15:14:59 +0100 |
| commit | 89f9c0e89ca3722e7248c70300c239374842b93e (patch) | |
| tree | c744f94e0f51803f28531d81bda336d1847c56a4 /src/lem_interp/run_interp_model.ml | |
| parent | a43119b131d87309e51b851466c9a4b489b8bec7 (diff) | |
More of sail correctly generating ocaml; including using polymorphic variants when there are more than 246 constructors
Diffstat (limited to 'src/lem_interp/run_interp_model.ml')
0 files changed, 0 insertions, 0 deletions