source: Deliverables/D1.3/submitted/mail.txt @ 3534

Dear Officer and Reviewers,

you can find in attachment the deliverables and most of the software
developed during the third period of CerCo. The remaining software that
is not attached to the e-mail because of its size is:

 1. the Debian packages for all CerCo's software
 2. a Live CD to run the software without any need to install it

They can be both downloaded from the CerCo's website: http://cerco.cs.unibo.it
The Live CD alone is slightly larger than 1GB.

The attached files are the following:

- DoW.pdf:  a copy of the Description of Work after the amendment that occurred
            during the third period
- FollowUp.pdf:  a letter that describes the follow up to the reviewer's
                 reccommendations for the third period (also part of D1.3)
- D1_3.tar.gz: it contains a draft of the progress report (D1.3) splitted in
               its four parts.
               NOTE: the draft only contains information on the scientific
               parts and project management. The financial details are still
               missing and will be sent to the Officer as soon as possible.
               A best effort draft will be submitted in any case before the
               review.
- D1_4.tar.gz: a draft of the final report (in two parts).
               NOTE: the only part missing from the draft is the last page
               that should contain financial details.
- D3_4.pdf, D4_4.pdf, D5_2.pdf, D5_3.pdf, D6_3.pdf, D6_4_D6_5.pdf, D6_6.pdf:
   the reports due for the third period, without the software
- acc_0.2.orig.tar.gz: the source code for the latest version of the untrusted
   CerCo compiler, described in old reports
- acc-trusted_0.2.orig.tar.gz: the source code for the latest version of the
   trusted CerCo compiler, described in D5_2.pdf
- cost-plug-in_0.2.orig.tar.gz: the source code for the latest version of the
   cost annotating plugin, described in D5_3.pdf, D5_2.pdf and old reports
- certification_20130430.tgz: a snapshot of the formalization at the end of the
   third period. The code automatically extracted from these files is part of
   acc-trusted_0.2.orig.tar.gz. To run the code, Matita version 0.99.2 is
   required (available as a Debian package or in the Live CD).

All the software attached is also available (not in source form) on the Live CD.

For any question or problem related to the submitted files, please contact me
directly. Otherwise, see you all soon at the final review in Brussels.

Sincerely,
C.S.C.