Changes between Version 46 and Version 47 of WikiStart


Ignore:
Timestamp:
May 1, 2013, 2:00:16 AM (4 years ago)
Author:
stark
Comment:

Typofix

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v46 v47  
    1010You can boot your machine with the Live CD or you can emulate it using a virtual machine
    1111(virtualbox reccommended). Once logged in, you can try the Frama-C Cost Annotating Compiler
    12 by running  "cerco -ide filename.c" or you can browse the certification of the !CerCo's compiler
    13 running "matita" and exploring the source code in the cerco/src directory.
     12by running  "cerco -ide filename.c" or you can browse the certification of the !CerCo compiler
     13by running "matita" and exploring the source code in the cerco/src directory.
    1414
    1515== Debian Packages for the !CerCo Software ==
     
    1818
    1919 * raw-attachment:acc_0.2-1_amd64.deb
    20    !CerCo's Cost Annotating Compiler
     20   !CerCo Cost Annotating Compiler
    2121 * raw-attachment:acc-trusted_0.2-1_amd64.deb
    22    Trusted !CerCo's Cost Annotating Compiler
     22   Trusted !CerCo Cost Annotating Compiler
    2323 * raw-attachment:frama-c-cost-plugin_0.2-1_amd64.deb
    2424   !CerCo's Frama-C Cost Plugin
     
    3030   The automated theorem prover cvc3, able to close most proof obligations generated by the !CerCo's Frama-C Cost Plugin.
    3131 * raw-attachment:matita_0.99.2-1_amd64.deb
    32    A version of Matita that can process the !CerCo's certification of the Trusted !CerCo's Cost Annotating Compiler
     32   A version of Matita that can process the !CerCo certification of the Trusted !CerCo Cost Annotating Compiler
    3333
    3434== !CerCo workshops ==