IF Intermediate Representation
==================================
This package contains the following software components:
o IF front-end
o IF simulator
o Installation
See the INSTALL file for detailed installation notes.
o Usage instructions
In order to generate a simulator and simulate/verify an IF model:
. Call the if2gen script (located $IF/com) and follow the instructions:
$ if2gen
. A simulation binary is generated. It's extension is .x on UNIX-like systems.
Call it for instructions on simulation/verification procedure(s).
$ foo.x
Marius Bozga
authored
Merge from IF2-B-Open:- allows for negative bounds in range types- implement the length operator for array types- fix type checking of call and conditional expressions