Commits · ip-save-debugging · dosek-verification / mockup-generator · GitLab

Snippets Groups Projects

Dec 14, 2016
- Debug code to print saved IPs in mockup · 6d17926b
  Hans-Peter Deifel authored 8 years ago
  
  6d17926b
Dec 12, 2016
- C: Trigger interrupts more than once per callsite · 480ef558
  Hans-Peter Deifel authored 8 years ago
  480ef558
- C: Better indentation of interrupt triggering loop · 6ca92f40
  Hans-Peter Deifel authored 8 years ago
  6ca92f40
- search: Remove hack to identify states with different syscalls · 830a78f1
  Hans-Peter Deifel authored 8 years ago
  830a78f1
- search: Don't compare vertices solely on their next syscall · 834b8ae4
  Hans-Peter Deifel authored 8 years ago
  834b8ae4
- cabal: Tweak warnings during compilation · 36f3e788
  Hans-Peter Deifel authored 8 years ago
  36f3e788
Dec 09, 2016
- Add one more test for preIdleHook with interrupts · 2e4d933a
  Hans-Peter Deifel authored 8 years ago
  
  2e4d933a
- Detect kickoff calls more robustly · 45fd0847
  Hans-Peter Deifel authored 8 years ago
  45fd0847
- Add more tests · 7752efc3
  Hans-Peter Deifel authored 8 years ago
  
  7752efc3
- Remove unused function · 607a28e9
  Hans-Peter Deifel authored 8 years ago
  
  607a28e9
Dec 07, 2016
- Get testsuite to run through again · c32d0e45
  Hans-Peter Deifel authored 8 years ago
  c32d0e45
- Don't trigger interrupts before kickoff · 181cfd33
  Hans-Peter Deifel authored 8 years ago
  181cfd33
Dec 03, 2016
- README: Describe osek build process more explicitly · ec349115
  Hans-Peter Deifel authored 8 years ago
  
  ec349115
- Add README · aa43e411
  Hans-Peter Deifel authored 8 years ago
  
  aa43e411
Nov 30, 2016
- Include current function name in state-node · 2d6d5a7b
  Hans-Peter Deifel authored 8 years ago
  2d6d5a7b
- Show syscall argument in edge label of dot graph · d7b60c9d
  Hans-Peter Deifel authored 8 years ago
  d7b60c9d
- Don't trigger interrupts in ISRs · cc76f15d
  Hans-Peter Deifel authored 8 years ago
  
  cc76f15d
Oct 26, 2016
- cgen: Generate interrupts in all computation blocks · 9ca30c78
  Hans-Peter Deifel authored 8 years ago
  
  9ca30c78
- search: Correctly label edges with interrupts · b236b003
  Hans-Peter Deifel authored 8 years ago
  b236b003
- cgen: Trigger interrupts in a loop · 7fdb8a3e
  Hans-Peter Deifel authored 8 years ago
  7fdb8a3e
Oct 19, 2016
- Add missing semicolon to fix compilation of mockup · ab25e5bd
  Hans-Peter Deifel authored 8 years ago
  
  ab25e5bd
- Trigger all interrupts in IdleHook · cbe3a456
  Hans-Peter Deifel authored 8 years ago
  
  cbe3a456
Oct 18, 2016
- Add --interrupts flag to mockup generator · 20061080
  Hans-Peter Deifel authored 8 years ago
  20061080
- Update json example to new format · d69a5b8e
  Hans-Peter Deifel authored 8 years ago
  
  d69a5b8e
- Adapt parse to new json format with possible interrupts · 5c9da047
  Hans-Peter Deifel authored 8 years ago
  
  5c9da047
- Fix HLint warnings · 8284c527
  Hans-Peter Deifel authored 8 years ago
  
  8284c527
- Revert now unnecessary infrastructure for --identity-states · 3d48bb85
  Hans-Peter Deifel authored 8 years ago
  
  3d48bb85
- Fix --identify-states · d90f1487
  Hans-Peter Deifel authored 8 years ago
  
  d90f1487
- Generate IdleHook from Haskell · 15e6bace
  Hans-Peter Deifel authored 8 years ago
  15e6bace
- search: Optionally identify states at different locations · 442a59a9
  Hans-Peter Deifel authored 8 years ago
  442a59a9
- Clean up command line argument handling · a4f4fb22
  Hans-Peter Deifel authored 8 years ago
  a4f4fb22
- Generate C for ISRs · 0fc98aec
  Hans-Peter Deifel authored 8 years ago
  
  0fc98aec
Oct 17, 2016
- Parse new function kind 'isr' · 4a842205
  Hans-Peter Deifel authored 8 years ago
  4a842205
Oct 11, 2016
- search: Remove 'x' from start node label · 5a35d6de
  Hans-Peter Deifel authored 8 years ago
  
  5a35d6de
- Use new node shape for _all_ nodes · 4e695c47
  Hans-Peter Deifel authored 8 years ago
  4e695c47
- search: Beautify graphs · d23d934a
  Hans-Peter Deifel authored 8 years ago
  d23d934a
Oct 10, 2016
- search: Label graph edges with syscalls · f0d01faf
  Hans-Peter Deifel authored 8 years ago
  
  f0d01faf
- Include next syscall in OS-State descriptor · 87b137b2
  Hans-Peter Deifel authored 8 years ago
  87b137b2
- Print syscall name together with state · 38784a79
  Hans-Peter Deifel authored 8 years ago
  38784a79
- Rough implementation of path search · 7ca043cb
  Hans-Peter Deifel authored 8 years ago
  
  7ca043cb