Commits · master · dosek-verification / mockup-generator · GitLab

Snippets Groups Projects

May 16, 2017
- Check for individual interrupts before triggering · a9633e87
  Hans-Peter Deifel authored 8 years ago
  a9633e87
May 13, 2017
- Ensure that interrupts can be triggered in any order · 72b1c84a
  Hans-Peter Deifel authored 8 years ago
  72b1c84a
May 12, 2017
- Add graph debugger · dbf46a2a
  Hans-Peter Deifel authored 8 years ago
  dbf46a2a
- Use more efficient wire format for search · 712a9825
  Hans-Peter Deifel authored 8 years ago
  712a9825
- Replace a traditional map by a hashmap for search · 8251a07d
  Hans-Peter Deifel authored 8 years ago
  
  8251a07d
- Introduce more strictness into json parsing · 0c7e615c
  Hans-Peter Deifel authored 8 years ago
  0c7e615c
- Speed up json2dot by using Data.Text.Lazy.Builder · 833c9152
  Hans-Peter Deifel authored 8 years ago
  
  833c9152
May 11, 2017
- Implement loop detection in search algorithm · 16325d80
  Hans-Peter Deifel authored 8 years ago
  16325d80
- Correctly handle interrupts that are not triggered · db4a0f19
  Hans-Peter Deifel authored 8 years ago
  
  db4a0f19
- Eliminate isr kickoffs now that we have interrupt triggers · 64563bc7
  Merlin Göttlinger authored 8 years ago
  
  64563bc7
- Add interrupt edges · 801a366f
  Hans-Peter Deifel authored 8 years ago
  
  801a366f
- Don't leak zombies after killing children · 1eec5b14
  Hans-Peter Deifel authored 8 years ago
  
  1eec5b14
May 10, 2017
- Kill child process instead of sending SIGTERM · 2a7266f1
  Hans-Peter Deifel authored 8 years ago
  2a7266f1
- Actually check determinism before comparision · c077adf5
  Hans-Peter Deifel authored 8 years ago
  
  c077adf5
May 09, 2017
- Clear interrupts immediately after triggering them · d7c61684
  Hans-Peter Deifel authored 8 years ago
  
  d7c61684
- Adapt to newer Idle handling in oseks · d79b1a83
  Hans-Peter Deifel authored 8 years ago
  d79b1a83
- Implement bisimularity · fef33837
  Hans-Peter Deifel authored 8 years ago
  
  fef33837
May 08, 2017
- Add optional debug output to search command · 17cb913c
  Hans-Peter Deifel authored 8 years ago
  
  17cb913c
Apr 27, 2017
- Merge branch 'mgttlinger/osek-verification-master' · 8050d6d9
  Hans-Peter Deifel authored 8 years ago
  
  8050d6d9
Apr 13, 2017
- Don't eliminate ISR kickoffs · dd9c78bc
  Merlin Göttlinger authored 8 years ago
  
  dd9c78bc
Apr 05, 2017
- Move incoming iret edges from PreIdleHook to IdleThread · 81608013
  Hans-Peter Deifel authored 8 years ago
  81608013
- Remove unused functions · 49a7ce4b
  Hans-Peter Deifel authored 8 years ago
  
  49a7ce4b
- Fix tests after node-id change from string to int · 93ebdc03
  Hans-Peter Deifel authored 8 years ago
  
  93ebdc03
Apr 04, 2017
- Remove unused function · c5c3c842
  Hans-Peter Deifel authored 8 years ago
  
  c5c3c842
Mar 28, 2017
- Fix more commands to work with int node labels · 2dc8fe1a
  Hans-Peter Deifel authored 8 years ago
  
  2dc8fe1a
- Expect Int instead of Text in node ids of SSEGraph · 8d6723e7
  Hans-Peter Deifel authored 8 years ago
  8d6723e7
- prelude: Add function to print hexdump of OS state · 2098f203
  Hans-Peter Deifel authored 8 years ago
  2098f203
- search: Pass debug output from mockup to stderr · 6421a26c
  Hans-Peter Deifel authored 8 years ago
  6421a26c
Mar 27, 2017
- cli: Read from stdin if no file is specified · 58869cb7
  Hans-Peter Deifel authored 8 years ago
  58869cb7
Mar 26, 2017
- Fix tests after interrupt triggering change · 5655f57d
  Hans-Peter Deifel authored 8 years ago
  
  5655f57d
Mar 25, 2017
- Fix tests after SSEGraph changes · 8d61d4f9
  Hans-Peter Deifel authored 8 years ago
  
  8d61d4f9
- Write more lenses for Graph type · 0729c2c9
  Hans-Peter Deifel authored 8 years ago
  
  0729c2c9
Mar 24, 2017
- Eliminate epsilon from SSEGraph before comparing it · f9b08c37
  Hans-Peter Deifel authored 8 years ago
  
  f9b08c37
- IR: Trigger interrupts in computation blocks · 04feb99a
  Hans-Peter Deifel authored 8 years ago
  
  04feb99a
Mar 23, 2017
- Add option to eliminate kickoffs with 'ee' command · 44ce4689
  Hans-Peter Deifel authored 8 years ago
  44ce4689
Mar 22, 2017
- Add cli command 'ee' to epsilon eliminate SSE graph · 5f81b051
  Hans-Peter Deifel authored 8 years ago
  
  5f81b051
- Make JSON graph parsing more generic · 24485bd4
  Hans-Peter Deifel authored 8 years ago
  24485bd4
Mar 20, 2017
- Correctly handle --dump-json option of 'search' · d73b51ee
  Hans-Peter Deifel authored 8 years ago
  
  d73b51ee
- Change isIsomorphic to report failure reasons · 9eeddcd0
  Hans-Peter Deifel authored 8 years ago
  9eeddcd0
- Add pre-processing step for SSE Graph · 7578b9ad
  Hans-Peter Deifel authored 8 years ago
  7578b9ad