Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • multi-task
  • lustre-mt_omp
  • add-multi-generation
  • pascal01
  • take-reset-pragma-into-account
  • 6-can-not-iterate-over-the-plus-node-as-long-as-it-is-named-plus
  • tmp
  • previously_on_no_branch
  • new_branch_name
  • u0
  • solve_ident
  • v6.111.3
  • v6.111.2
  • v6.111.1
  • v6.111.0
  • v6.110.3
  • v6.110.2
  • v6.110.1
  • v6.110.0
  • v6.109.1
  • v6.109.0
  • v6.108.0
  • v6.107.4
  • v6.107.3
  • v6.107.2
  • v6.107.1
  • v6.107.0
  • v6.106.1
  • v6.106.0
  • v6.105.1
  • v6.105.0
32 results
Compare
user avatar
soc2c -wcet: print hints to compute the wcet of the current program.
Erwan Jahier authored 
combined with -cc, actually computes the wcet.

nb : only works if wcet tools are installed (owcet.arm, arm-elf-gcc)
3439dc94
History
user avatar 3439dc94
History
Name Last commit Last update
..
mli_save
OCamlMakefile
QUESTION
TODO.org
action.ml
action.mli
actionsDeps.ml
actionsDeps.mli
assertion2lutin.ml
ast2lic.ml
ast2lic.mli
astCore.ml
astInstanciateModel.ml
astInstanciateModel.mli
astPredef.ml
astRecognizePredef.ml
astRecognizePredef.mli
astTab.ml
astTab.mli
astTabSymbol.ml
astTabSymbol.mli
astV6.ml
astV6Dump.ml
astV6Dump.mli
compile.ml
compile.mli
evalClock.ml
evalClock.mli
evalConst.ml
evalConst.mli
evalType.ml
evalType.mli
filenameExtras.ml
filenameExtras.mli
freshName.ml
freshName.mli
genOcamlGlue.ml
idSolver.ml
idsolve.txt
l2lAliasType.ml
l2lAliasType.mli
l2lCheckLoops.ml
l2lCheckLoops.mli
l2lCheckMemSafe.ml
l2lCheckMemSafe.mli
l2lCheckOutputs.ml
l2lCheckOutputs.mli
l2lExpandArrays.ml
l2lExpandArrays.mli
l2lExpandMetaOp.ml
l2lExpandMetaOp.mli
l2lExpandNodes.ml
l2lExpandNodes.mli
l2lOptimIte.ml
l2lOptimIte.mli
l2lRmPoly.ml
l2lRmPoly.mli
l2lSplit.ml
l2lSplit.mli
lic.ml
lic2soc.ml
lic2soc.mli
licDump.ml
licEvalClock.ml
licEvalClock.mli
licEvalConst.ml
licEvalConst.mli
licEvalType.ml
licEvalType.mli
licMetaOp.ml
licMetaOp.mli
licPrg.ml
licPrg.mli
licTab.ml
licTab.mli
lus2licRun.ml
lus2licRun.mli
lv6MainArgs.ml
lv6MainArgs.mli
lv6errors.ml
lv6lexer.mll
lv6parser.mly
lv6parserUtils.ml
lv6util.ml
lxm.ml
lxm.mli
main.ml
misc.ml
myGenlex.ml
myGenlex.mli
soc.ml
soc2c.ml
soc2c.mli
soc2cDep.ml
soc2cDep.mli
soc2cExtern.ml
soc2cExtern.mli
soc2cGenAssign.ml
soc2cGenAssign.mli
soc2cHeap.ml
soc2cHeap.mli
soc2cIdent.ml
soc2cPredef.ml
soc2cPredef.mli
soc2cStack.ml
soc2cStack.mli
soc2cUtil.ml
soc2cUtil.mli
socExec.ml
socExec.mli
socExecEvalPredef.ml
socExecEvalPredef.mli
socExecValue.ml
socExecValue.mli
socPredef.ml
socPredef.mli
socPredef2cHeap.ml
socPredef2cHeap.mli
socPredef2cStack.ml
socPredef2cStack.mli
socUtils.ml
socUtils.mli
socVar.ml
socVar.mli
sortActions.ml
sortActions.mli
sortActionsExpe.ml
unifyClock.ml
unifyClock.mli
unifyType.ml
unifyType.mli
untested_line_counter
verbose.ml
verbose.mli