Commits · fde1b3fcb0d91399a328e2c33ce493cfe7e56327 · af3 / exploration-alg · GitLab

Snippets Groups Projects

Jun 03, 2019
- Adjust the schedule skeleton construction for the SMT call. · fde1b3fc
  Alexander Diewald authored Jun 3, 2019
  fde1b3fc
May 30, 2019
- Use the constraint solver directly · ecd9c338
  Alexander Diewald authored May 30, 2019
  ecd9c338
May 29, 2019
- Correct the Z3 timeout (unit) · 9cc20551
  Alexander Diewald authored May 29, 2019
  9cc20551
- Use the multi-signal to one route property · c93652c4
  Alexander Diewald authored May 29, 2019
  c93652c4
- Fix the exit early behaviour if infeasibility was detected · 7e8cee68
  Alexander Diewald authored May 29, 2019
  7e8cee68
- Reference the guice source lib · d29b9f6c
  Alexander Diewald authored May 29, 2019
  d29b9f6c
- Drop candidates if scheduling timed out · e36c8b37
  Alexander Diewald authored May 29, 2019
  e36c8b37
- Readd support for ExecUnit-specific WCETs · 1afef0f9
  Alexander Diewald authored May 29, 2019
  1afef0f9
May 28, 2019
- Env flag to print time spent on one iteration · e17287db
  Alexander Diewald authored May 28, 2019
  e17287db
- Operational Component and SIL support for input tasks · d0956ba6
  Alexander Diewald authored May 28, 2019
  d0956ba6
- Decrease the population size from 1000 to 100 · 1e23d0a4
  Alexander Diewald authored May 28, 2019
  1e23d0a4
- Implement latency minimization by a SMT bound · 907f8b35
  Alexander Diewald authored May 28, 2019
  907f8b35
- Add support for SMT-based communication scheduling · e33940c6
  Alexander Diewald authored May 28, 2019
  e33940c6
May 23, 2019
- Add latency minimization objectives · b8e49880
  Alexander Diewald authored May 23, 2019
  b8e49880
- Add a latency minimization objective to the SMT scheduler · dd31df41
  Alexander Diewald authored May 23, 2019
  dd31df41
- Add initial WCET support again · 1a8b451c
  Alexander Diewald authored May 23, 2019
  1a8b451c
- Use SMT-based scheduling · 01468a28
  Alexander Diewald authored May 23, 2019
  01468a28
May 22, 2019
- Reintroduce PeriodConstraints · da1a9b1a
  Alexander Diewald authored May 22, 2019
  da1a9b1a
- Add a schedule exporter. · 97e265a3
  Alexander Diewald authored May 22, 2019
  97e265a3
- Remove generics from the internal system model · 1b785f23
  Alexander Diewald authored May 22, 2019
  1b785f23
May 21, 2019
- Fix the acyclic task graph generation. · 1c5191da
  Alexander Diewald authored May 21, 2019
  1c5191da
May 17, 2019
- Correct the InternalConstraint handling of the mapping encoding · dd90532b
  Alexander Diewald authored May 17, 2019
  dd90532b
- Bug fix & debugging improvements · 2739cc29
  Alexander Diewald authored May 17, 2019
  2739cc29
- Fix the validation in the scheduler · 4b40383d
  Alexander Diewald authored May 17, 2019
  4b40383d
- Add more validation & fix assertions · 5d6263ec
  Alexander Diewald authored May 17, 2019
  5d6263ec
- Enhance debug env variables · ddd6b09a
  Alexander Diewald authored May 17, 2019
  ddd6b09a
May 15, 2019
- Backend service impl cleanup · 1e1672ac
  Alexander Diewald authored May 15, 2019
  1e1672ac
May 10, 2019
- Implement an Exit-Early strategy · 33da543f
  Alexander Diewald authored May 10, 2019
  33da543f
May 09, 2019
- Re-integrate allocation constraint support in encodings · 06da5deb
  Alexander Diewald authored May 9, 2019
  06da5deb
- Add infrastructure for constraint handling · fbb5ddd3
  Alexander Diewald authored May 9, 2019
  fbb5ddd3
May 07, 2019
- Simplify the DseML transformation service / constr generation · 72b6901a
  Alexander Diewald authored May 7, 2019
  72b6901a
Apr 26, 2019
- PlatformExp: Support for contained elements of instantiated elements · a5429f38
  Alexander Diewald authored Apr 26, 2019
  a5429f38
Apr 25, 2019
- HACK · 428c7bac
  Alexander Diewald authored Apr 25, 2019
  428c7bac
- PlatExp: Fix the solution transformators for contained resources · 9499b52b
  Alexander Diewald authored Apr 25, 2019
  9499b52b
- Extend the Platform ExecUnit exploration for sub elements (2) · c959bbdf
  Alexander Diewald authored Apr 25, 2019
  c959bbdf
- Extend the Platform ExecUnit exploration for sub elements (1) · 7efa435f
  Alexander Diewald authored Apr 25, 2019
  7efa435f
Apr 24, 2019
- Fix message scheduling · a07bca1b
  Alexander Diewald authored Apr 24, 2019
  a07bca1b
- Fix message scheduling · 22a15fee
  Alexander Diewald authored Apr 24, 2019
  22a15fee
- Merge branch 'platform_exploration' into 'master' · c7d1f4af
  Alexander Diewald authored Apr 24, 2019
  c7d1f4af
Apr 23, 2019
- Enable the platform exploration if demanded · 3fba68bb
  Alexander Diewald authored Apr 23, 2019
  3fba68bb