Changeset 407 for Deliverables/D3.1


Ignore:
Timestamp:
Dec 13, 2010, 12:43:12 PM (9 years ago)
Author:
campbell
Message:

Mention version of compcert used.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D3.1/Report/report.tex

    r402 r407  
    819819\section{Description of the Code}
    820820
     821The files ported from CompCert were based on version 1.6, with some
     822minor details taken from 1.7.1 (in particular, the parser and the
     823method of building infinite traces for the equivalence proof).
     824
    821825The majority of the semantics is given as \matita{} source files.  The
    822826exception is the changes to the CIL based parser, which is presented
Note: See TracChangeset for help on using the changeset viewer.