Changes between Version 50 and Version 51 of WikiStart


Ignore:
Timestamp:
Jul 23, 2013, 10:15:09 AM (4 years ago)
Author:
mulligan
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v50 v51  
    1111Try out !CerCo's Live CD: [http://cerco.cs.unibo.it/livecd/binary.hybrid.iso]
    1212You can boot your machine with the Live CD or you can emulate it using a virtual machine
    13 (virtualbox reccommended). Once logged in, you can try the Frama-C Cost Annotating Compiler
     13(virtualbox recommended). Once logged in, you can try the Frama-C Cost Annotating Compiler
    1414by running  "cerco -ide filename.c" or you can browse the certification of the !CerCo compiler
    1515by running "matita" and exploring the source code in the cerco/src directory.