Commits · master · syswcet / dosek · GitLab

Snippets Groups Projects

Oct 24, 2016
- Added Logo · 1e1bce89
  Christian Dietrich authored 8 years ago
  
  1e1bce89
- posix: port to LLVM 3.8/3.9 · af72bfd7
  Christian Dietrich authored 8 years ago
  
  af72bfd7
Oct 19, 2016
- llvm-{attributor/extractor}: port to LLVM 3.8 · de4596d2
  Christian Dietrich authored 8 years ago
  
  de4596d2
- new_build_env: use python3 · d07232a0
  Christian Dietrich authored 8 years ago
  
  d07232a0
- bench-timing: aborted computation clear event before sleeping · 25934e17
  Christian Dietrich authored 8 years ago
  
  25934e17
Oct 04, 2016
- copter-0: move timing analysis startpoint to correct postion · 87492811
  Christian Dietrich authored 8 years ago
  
  87492811
- manual-syswcet: note the computational cost for the benchmark · e80b1acc
  Christian Dietrich authored 8 years ago
  
  e80b1acc
Sep 30, 2016
- timing: Added flow facts to avoid terminatetask in manual benchmarks · fc52d6cd
  Christian Dietrich authored 8 years ago
  
  fc52d6cd
Sep 27, 2016
- bench/timing: adapt for manual WCPT calculation · b9d32409
  Christian Dietrich authored 8 years ago
  
  b9d32409
- improve manual wcpt calculation · dd37c233
  Christian Dietrich authored 8 years ago
  
  dd37c233
Sep 26, 2016
- syscall benchmarks: remove time consumers · 6d734253
  Christian Dietrich authored 8 years ago
  
  6d734253
- timing: reordered benchmark description · e23feea3
  Christian Dietrich authored 8 years ago
  
  e23feea3
- pml: more verbose info about PML · 4e2ed952
  Christian Dietrich authored 8 years ago
  
  4e2ed952
Sep 22, 2016
- Add tentative, manually composed WCET for aborted_computation · 0c25fdc1
  Peter Wägemann authored 8 years ago
  
  0c25fdc1
Sep 21, 2016
- Add preliminary script to determine WCETs manually · aaf04766
  Peter Wägemann authored 8 years ago
  
  aaf04766
Sep 20, 2016
- patmos: restructure context_switch for platin · 971eaba9
  Christian Dietrich authored 8 years ago
  
  971eaba9
- patmos: add labels to identify context switch · 1cde9624
  Christian Dietrich authored 8 years ago
  
  1cde9624
Sep 14, 2016
- timing/bench: timing-2 measures RC control · 74817469
  Christian Dietrich authored 8 years ago
  
  74817469
- pml: highest priority works also on interrupted states · a062ae42
  Christian Dietrich authored 8 years ago
  
  a062ae42
- pml: highest prio annotation · 3bb5b157
  Christian Dietrich authored 8 years ago
  3bb5b157
Sep 13, 2016
- timing: computation-alarm benchmark · 986cb251
  Christian Dietrich authored 8 years ago
  
  986cb251
- Workaround to avoid DEBUG=1 in compilation command (instead of -DDEBUG=1) · 81dfb29c
  Peter Wägemann authored 8 years ago
  
  81dfb29c
- Append results of trace-based analysis to dref result files · 0821ab83
  Peter Wägemann authored 8 years ago
  
  0821ab83
- pml: no_interrupts annotation · 6fc8ff8d
  Christian Dietrich authored 8 years ago
  6fc8ff8d
Sep 12, 2016
- patmos: save r29 on interrupt · 33588982
  Christian Dietrich authored 8 years ago
  33588982
- patmos: synchronous clock · 88a9e8af
  Christian Dietrich authored 8 years ago
  
  88a9e8af
- bench/timing: interrupt reaction · 7ea2abfb
  Christian Dietrich authored 8 years ago
  7ea2abfb
- pml: interrupt in block marker flag · dc2cba6e
  Christian Dietrich authored 8 years ago
  dc2cba6e
Sep 11, 2016
- cmake: unify targets for simulation and wcet analysis · 1b898b14
  Peter Wägemann authored 8 years ago
  
  1b898b14
- timing: use instruction counter to measure timing instead of the RTC · 8b9c49fd
  Peter Wägemann authored 8 years ago
  8b9c49fd
- timing: remove duplicate implementation of arch_timing_get · 328842be
  Peter Wägemann authored 8 years ago
  
  328842be
Sep 10, 2016
- Add addresses/macros to access performance counters of patmos · ed6e2a58
  Peter Wägemann authored 8 years ago
  
  ed6e2a58
- Make benchmark script callable from any path · 6fe3a289
  Peter Wägemann authored 8 years ago
  
  6fe3a289
Sep 09, 2016
- pml: mark irq entry nodes · 2d6d1223
  Christian Dietrich authored 8 years ago
  
  2d6d1223
Sep 07, 2016
- bench/timing: new aborted-computation benchmark and various adaptions · 411ebe95
  Christian Dietrich authored 8 years ago
  
  411ebe95
- pml: cumulative commit · 77e8243c
  Christian Dietrich authored 8 years ago
  77e8243c
- patmos: hide timing_dump in interrupt · 45888605
  Christian Dietrich authored 8 years ago
  45888605
Sep 05, 2016
- timing/new benchmark: I4Copter Benchmark · 73626dc7
  Christian Dietrich authored 8 years ago
  
  73626dc7
- gcfg/pml: fix the state region algorithm, once again. · 3d7cd164
  Christian Dietrich authored 8 years ago
  3d7cd164
- timing/new benchmark: interrupt reaction · df9ca79b
  Christian Dietrich authored 8 years ago
  df9ca79b