Ignore:
Timestamp:
Feb 7, 2012, 6:01:43 PM (9 years ago)
Author:
ayache
Message:

Frama-C plug-in (sources+documentation)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D5.1-5.3/cost-plug-in/plugin/Makefile

    r1462 r1679  
    2727
    2828PLUGIN_NAME = Cost_synthesis
    29 PLUGIN_CMO  = stringTools cost_value compute cerco cost
     29PLUGIN_CMO  =  eset emap completeMap multiset misc arithSig arith       \
     30        cost_value compute cerco cost
    3031
    3132# PLUGIN_HAS_MLI := yes
Note: See TracChangeset for help on using the changeset viewer.