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.010Jun76330May29282322211715109726Apr252423161514131211109631Mar2928262521201815141312112127Feb2624222018141322Jan18161411104231Dec2119181716141211828Nov2019137630Oct2322227Sep2625241715139722Aug1254131Jul30141043227Jun26827Apr1728Mar2219148727Feb2113129865125Jan2422191821Dec1813875428Nov24232220171614826Oct128Aug18Jul1029Jun27221422May23Mar15133124Feb232124Jan20Add 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 tasksDecrease the population size from 1000 to 100Implement latency minimization by a SMT boundAdd support for SMT-based communication schedulingAdd latency minimization objectivesAdd a latency minimization objective to the SMT schedulerAdd initial WCET support againUse SMT-based schedulingReintroduce PeriodConstraintsAdd a schedule exporter.Remove generics from the internal system modelFix the acyclic task graph generation.Correct the InternalConstraint handling of the mapping encodingBug fix & debugging improvementsFix the validation in the schedulerAdd more validation & fix assertionsEnhance debug env variablesBackend service impl cleanupImplement an Exit-Early strategy