wiki:IR2

Version 3 (modified by siegel, 5 years ago) ( diff )

--

CIVL IR

Language principles:

  • CIVL-IR is a subset of CIVL-C. A CIVL-IR program is a CIVL-C program, and has the same semantics.

Types:

  • $int : mathematical integers
  • $real : mathematical reals
Note: See TracWiki for help on using the wiki.