diff options
| author | Kathy Gray | 2015-09-06 10:55:38 +0100 |
|---|---|---|
| committer | Kathy Gray | 2015-09-06 10:55:38 +0100 |
| commit | 65f3ed9aa2849d9cfba81fc620785ff553303a03 (patch) | |
| tree | a34f019a3293685a1ec5778ad5591ee1ec6ad291 /src/test/regbits.sail | |
| parent | 6425bd932d94010717041e4c7754991d6a22bd1c (diff) | |
Improved type system, so that it catches int where there should be nat
Note: the resulting Lem file generated may or may not actually work properly with the interpreter (i.e. it might have too many unknowns); still in the process of debugging some changes there.
Diffstat (limited to 'src/test/regbits.sail')
0 files changed, 0 insertions, 0 deletions