Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • caml
  • master default protected
  • cache
  • caml2
  • input_conditionals
5 results
Created with Raphaël 2.2.012Dec24Nov1431Mar302416Sep24Feb84Jun5Feb12Jan1118Nov16105May30Apr131097632131Mar292827262412428Feb2616Oct27Jun5Mar427Feb26129Jan10Dec19Oct27SepTest, update, authors.mastermasterFixing merge conflictsMisc.Merge branch 'caml2' into 'master'Added doc on WCET with procedure arguments as parameters.caml2caml2Add optimized compiler to repositoryinput_condition…input_conditionalsDisplays WCET final valueinput conditionals supportCompatibility.ajout benchsAdded debug flag to show the stack trace (commented out).parametric loop bounds working againcorrecting duplication of loop cases in generated header filecamlcamladd gitignorecorrect wrong loop_id for instruction cache blockcachecachedisabled logging for instruction cache behaviorcleaning code after null else managementMerge branch 'master' into cachemanaging if without else (previously behavior was a segfault)Update for bug fix a98a94fbb6954b63413d261f9e87b13361443896Bug fix: generate a placeholder for field awcet_s.eta. The sizeadd comments + changed flag position into the CacheMutator class (it has more sense this way)add cache activation flagupdate gitignore for full project buildadd cache modifications to repocorrect vs ignoreadd gitignore for vscodeAdded doc on how to use procedures that have a parametric WCET.fixsupport fonctions parametriquesMerge branch 'master' of gitlab.cristal.univ-lille.fr:otawa-plugins/WSymbBug fix: remove unnecessary comma when printing a wlist withAdd support for empty values in PWF outputMerge branch 'master' of gitlab.cristal.univ-lille.fr:otawa-plugins/WSymbFix crash in dumpcftCorrection on parameter id.Renamed CFTExtractor to WSymb in licensing headers.A single README, updated in accordance to the latest modifications.Removed unused loop bound initialization.Don't print a case: in loop_bounds(...) for symbolic loop bounds.