source: Deliverables/D5.1/frama-c-cost-plugin

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @3250   6 years sacerdot
(edit) @3221   6 years sacerdot Added cerco-executable to install.
(edit) @3220   6 years sacerdot
(edit) @3219   6 years sacerdot Fixed: .in should be there.
(edit) @3215   6 years sacerdot - Version dumped to 0.2 - New executable cerco to be used with why3
(add) @2749   7 years regisgia * Updated version of the Frama-C plugin.
Note: See TracRevisionLog for help on using the revision log.