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.03Jun30May29282322211715109726Apr252423161514131211109631Mar2928262521201815141312112127Feb2624222018141322Jan18161411104231Dec2119181716141211828Nov2019137630Oct2322227Sep2625241715139722Aug1254131Jul30141043227Jun26827Apr1728Mar2219148727Feb2113129865125Jan2422191821Dec1813875428Nov24232220171614826Oct128Aug18Jul1029Jun27221422May23Mar15133124Feb232124Jan20Adjust 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 strategyRe-integrate allocation constraint support in encodingsAdd infrastructure for constraint handlingSimplify the DseML transformation service / constr generationPlatformExp: Support for contained elements of instantiated elementsHACKPlatExp: Fix the solution transformators for contained resourcesExtend the Platform ExecUnit exploration for sub elements (2)Extend the Platform ExecUnit exploration for sub elements (1)Fix message schedulingFix message schedulingMerge branch 'platform_exploration' into 'master'Enable the platform exploration if demanded