Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • 3541
  • 3690
  • 3838
  • 4072
  • backup
  • master default protected
  • safety_functions
7 results
Created with Raphaël 2.2.025Jun1817161412111076330May29282322211715109726Apr252423161514131211109631Mar2928262521201815141312112127Feb2624222018141322Jan18161411104231Dec2119181716141211828Nov2019137630Oct2322227Sep2625241715139722Aug1254131Jul30141043227Jun26827Apr1728Mar2219148727Feb2113129865125Jan2422191821Dec1813875428Nov24232220171614826Oct128Aug18Jul1029Jun27221422May23Mar15133124Feb232124Jan20Don't fail for Z3 exceptionsCompile fix: Remove the PlatformCommGraphIdentityDecoder overrideInput processing updatesUpdate Opt4J for a NN search bug fixUse the MOEA-Router for the SMT-based scheduling againGenerate unicast messagesFix resetting targets of allocation entriesPrint overall exec time & remove unused methodReduce the SMT timeout to 5s againUse the task-mem mapping table to determine access routes.Remove fix time scaling, use MOEA routesMappingEncoding: Add support for coupling constraintsBasic support for coupling constraintsDo not require evaluators for internal constraints.DEBUG: Add commented code to launch the DSE single threadedReenable period constraintsCorrect upper bound calculationsFixup transmission time calculationsAdd support for interference calculationsAdd a latency calculation method for read tasksEnable querying resources from the PCG encodingUse the PCG-encoding router for the message path calculationEnable querying the shortest path from the PCGImport MemoryUnits into the D3SETransform the Interference latency annotation to a tableVersion bump for AF3 2.15.0Add the classpath file for the UI pluginAdd branch specifiers for the settings submoduleAdd a UI support plugin (editors, debug dialogs, ...)Add an annotation to specifiy interference latenciesAdjust the schedule skeleton construction for the SMT call.Use the constraint solver directlyCorrect the Z3 timeout (unit)Use the multi-signal to one route propertyFix the exit early behaviour if infeasibility was detectedReference the guice source libDrop candidates if scheduling timed outReadd support for ExecUnit-specific WCETsEnv flag to print time spent on one iterationOperational Component and SIL support for input tasks