diff options
| author | Alasdair Armstrong | 2017-11-17 17:56:04 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-11-17 17:56:04 +0000 |
| commit | 8de4a99f86dcad90ddf82758e54374386d2d2f92 (patch) | |
| tree | b5df6d7562e1b7d2df92af6b273a883961ba990c /src/test/mips | |
| parent | 9ec4474103d75c49c637862e9dfd1d43552f0666 (diff) | |
Fix interpreter to work with new typechecker
Need to map sail type annotations to interpreter type annotations in lem_ast ouput. This doesn't seem too hard.
Diffstat (limited to 'src/test/mips')
0 files changed, 0 insertions, 0 deletions