Changes between Version 2 and Version 3 of IR2


Ignore:
Timestamp:
04/18/21 18:00:54 (5 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • IR2

    v2 v3  
    33Language principles:
    44* CIVL-IR is a subset of CIVL-C.  A CIVL-IR program is a CIVL-C program, and has the same semantics.
     5
     6
     7Types:
     8* `$int` : mathematical integers
     9* `$real` : mathematical reals