Timestamp:
Mar 7, 2013, 1:53:23 PM (7 years ago)
Author:
sacerdot
Message:

New file Clight_classified_system with the classified system for Clight.
The code comes from correctness.ma and it is used in the untrusted code
for debugging too.

File:
1 added

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