Commits · 841454735c9fd4a3a2e13e611443d89f5f8b597f · af3 / exploration-alg · GitLab

Snippets Groups Projects

Jun 07, 2019
- Enable querying resources from the PCG encoding · 84145473
  Alexander Diewald authored Jun 7, 2019
  84145473
- Use the PCG-encoding router for the message path calculation · d55d0101
  Alexander Diewald authored Jun 7, 2019
  d55d0101
- Enable querying the shortest path from the PCG · 81956298
  Alexander Diewald authored Jun 7, 2019
  81956298
- Import MemoryUnits into the D3SE · 82cff7e9
  Alexander Diewald authored Jun 7, 2019
  82cff7e9
Jun 06, 2019
- Transform the Interference latency annotation to a table · 3b89658c
  Alexander Diewald authored Jun 6, 2019
  3b89658c
- Version bump for AF3 2.15.0 · 1d5a60d8
  Alexander Diewald authored Jun 6, 2019
  1d5a60d8
- Add the classpath file for the UI plugin · 0e4dead5
  Alexander Diewald authored Jun 6, 2019
  0e4dead5
- Add branch specifiers for the settings submodule · ebf5cbfe
  Alexander Diewald authored Jun 6, 2019
  ebf5cbfe
- Add a UI support plugin (editors, debug dialogs, ...) · 5b73d58e
  Alexander Diewald authored Jun 6, 2019
  5b73d58e
- Add an annotation to specifiy interference latencies · fffaff71
  Alexander Diewald authored Jun 6, 2019
  fffaff71
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