Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
1 result
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.019Nov1415Sep1Jun31May191817111097Apr31Mar3029282422212017151432124Feb23222010230Jan262524175Jul14Jun25May1918121015Apr14131211229Mar10415Feb14109328Jan1714126516Dec929Nov17161096543229Oct28272622211513765130Sep27232120148725Aug29Jul52130Jun2928251817161514434May26Apr222120161229Mar252219181098119Feb161585326Jan2117Nov16Jul9212Mar27Jan9Dec20Nov18146518Jul171615121110865439May29Apr1916115422Mar211816151413121126Feb25212019181413121123Nov22212016151413121110984324Oct198525Sep242114133Aug23Jul1312422Jun211512118131May3029201817161574[gitlab] change Gitlab CI config, important changesmastermasterubuntu LTSAdding cmake dep on ctest targetmerge wcet branch into masteroptimize away the conditional in arrow_step since OTAWA says it is slightly betterinline arrow_step: IT WORKS WITH FRAMAC YAY!remove more variations from wcetadd stack usage testsremove variants for WCET statisticsfix clock printing in Velus modeidentifiers should not start with uppercase letters to cope with recent versions of VelusWiP on wcet testsensure that top node is named after the filestart to ensure that top nodes and filenames coincide to ease analysisdraft a test architecture to compare wcetAdd an experimental transpiler to Velus (`-velus` flag)fix a bug where enum elim produced unwanted results on booleansTokei dep mentionned in readmeCommenting unused vars and function in optimize_machineCommenting unused varsRemoved the unused Trat type for clocksCommenting unused code in stateflow moduleremoved a bug in reuse for the specific case of early inlined assignmentsadded safe generation of names for ghost variablesremoved useless testmachine optimization now supports input reuse?remove/comment some dead codedynamic exhaustivity check for C switches generationbump ocamlformat versionalways add `break` statement at the end of a `default:` switch branchfix warning formattingfix formatting of warning message about unused variablesreuse table are logged on level 3add re and yojson to opam file (again?)restored aggressivity of -O 3; added experimental strategies for scheduling[optimizations] correct rewritting in conditionals for O3 (LB patch)[strategies] use TCO map in strategies[dune] clean dependencies (add re for tests)[docker] remove user id