gitlab.cristal.univ-lille.fr / otawa-plugins 5 Repositories
A collection of plugins for OTAWA v2 (http://www.otawa.fr/)
otawa-plugins/WSymb
Control Flow Tree extractor and symbolic WCET evaluator plugin for OTAWA v2
Last synced at: 7 months ago - Stars: 0 - Forks: 0
otawa-plugins/polymalys
OTAWA plugin for polyhedra-based analysis and loop bound estimation
Last synced at: 7 months ago - Stars: 0 - Forks: 0
otawa-plugins/otawa-doc
Documentation and tutorials for OTAWA plugin development and use.
Last synced at: 7 months ago - Stars: 0 - Forks: 0
otawa-plugins/plugin_cache_blocks
A set of otawa plugin explo just prints some information about BB initialize_RMB_LMB computes rmb and lmb for each BB
Last synced at: 7 months ago - Stars: 0 - Forks: 0