gitlab.cristal.univ-lille.fr / otawa-plugins 5 Dépôts
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
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
otawa-plugins/polymalys
OTAWA plugin for polyhedra-based analysis and loop bound estimation
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
otawa-plugins/otawa-doc
Documentation and tutorials for OTAWA plugin development and use.
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
otawa-plugins/otawa-for-polytab
dernière synchronisation: il y a environ un an - étoiles: 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
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0