Timestamp:
Jun 3, 2011, 5:35:31 PM (10 years ago)
Author:
campbell
Message:

Add type information into Cminor.
As a result, the Clight to Cminor stage now does extra type checking.

File:
1 added

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