Timestamp:
Jun 6, 2012, 6:24:43 PM (8 years ago)
Author:
campbell
Message:

Split out special induction principle for Clight from soundness file.
Put cast simplification into compiler.ma.

File:
1 added

Note: See TracChangeset for help on using the changeset viewer.