-
- Downloads
bin: in otawa-stat.py, context support fixed, CFG view now display
lines. app: fixed directory creation for statistics. cfg: removed BasicBlock::basicIns iterator replaced by function basicPreds() (now used by parexegraph). parexegraph: use of BasicBlock::basicPreds(). ipet: added statistics support for EDGE_TIME_FEATURE time modle. manual: development continued. proc: added p::is_feature(), p::get/find_feature(), p::get_id(); added ProcessorPlugin::isPlugged(). prog: added WorkSpace::provides(string) to check feature without causing a plug of a plug-in.
Showing
- bin/otawa-stat.py 255 additions, 141 deletionsbin/otawa-stat.py
- doc/manual/manual-prog.thot 4 additions, 4 deletionsdoc/manual/manual-prog.thot
- doc/manual/manual-props.thot 141 additions, 83 deletionsdoc/manual/manual-props.thot
- include/otawa/cfg/CFG.h 2 additions, 25 deletionsinclude/otawa/cfg/CFG.h
- include/otawa/proc/AbstractFeature.h 12 additions, 0 deletionsinclude/otawa/proc/AbstractFeature.h
- include/otawa/proc/ProcessorPlugin.h 1 addition, 0 deletionsinclude/otawa/proc/ProcessorPlugin.h
- include/otawa/prog/WorkSpace.h 1 addition, 0 deletionsinclude/otawa/prog/WorkSpace.h
- src/etime/EdgeTimeBuilder.cpp 14 additions, 2 deletionssrc/etime/EdgeTimeBuilder.cpp
- src/prog/CFG.cpp 50 additions, 43 deletionssrc/prog/CFG.cpp
- src/prog/app_Application.cpp 1 addition, 1 deletionsrc/prog/app_Application.cpp
- src/prog/ipet_WCETComputation.cpp 82 additions, 10 deletionssrc/prog/ipet_WCETComputation.cpp
- src/prog/proc_Feature.cpp 48 additions, 0 deletionssrc/prog/proc_Feature.cpp
- src/prog/proc_ProcessorPlugin.cpp 17 additions, 0 deletionssrc/prog/proc_ProcessorPlugin.cpp
- src/prog/prog_WorkSpace.cpp 14 additions, 0 deletionssrc/prog/prog_WorkSpace.cpp
Loading
Please register or sign in to comment