diff options
| author | Alasdair Armstrong | 2017-07-06 19:01:09 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-07-06 19:01:09 +0100 |
| commit | 205e09e36baaf8cf2aa794e84d8e13daf8c4c4b7 (patch) | |
| tree | 55a04a38c4e932f17a12621e9d96b6f2d0a0a6e9 /src/spec_analysis.ml | |
| parent | 4bb28c48b92a469b8a7eeae5ae6e32418c8936ae (diff) | |
Testing new typechecker on MIPS spec
Also:
- Added support for foreach loops
- Started work on type unions
- Flow typing can now generate constraints, in addition to restricting range-typed variables
- Various bugfixes
- Better unification for nexps with multiplication
Diffstat (limited to 'src/spec_analysis.ml')
0 files changed, 0 insertions, 0 deletions