Commits · master · rLTL / rltl-runtime-monitoring-code

24 Apr, 2019 1 commit
- Merge fix for operator precedence from experiments branch. · e6da06df
  Daniel Neider authored Apr 24, 2019
  
  e6da06df
15 Dec, 2018 1 commit
- Fixed bug in rLTL-2-LTL converter · b58a22b2
  Daniel Neider authored Dec 15, 2018
  
  b58a22b2
10 Dec, 2018 1 commit
- (Temorary) fix for problem with empty Owl automata · 1d4a8ee8
  Daniel Neider authored Dec 10, 2018
  
  1d4a8ee8
09 Dec, 2018 1 commit
- Fixed major bug in rLTL monitor construction · 29de7f52
  Daniel Neider authored Dec 09, 2018
  
  29de7f52
07 Dec, 2018 2 commits
- Refactored code and added command line arguments to select LTL and rLTL monitor construction · b5cb14ac
  Daniel Neider authored Dec 07, 2018
  
  b5cb14ac
- Update README.md · f92f8512
  Daniel Neider authored Dec 07, 2018
  
  f92f8512
06 Dec, 2018 1 commit
- Added Leucker et al.'s LTL monitor construction · e150d7c0
  Daniel Neider authored Dec 06, 2018
  
  e150d7c0
04 Dec, 2018 2 commits
- Updated Owl library · fca99c22
  Daniel Neider authored Dec 04, 2018
  
  fca99c22
- Now correctly completes a deterministic Owl automaton before translating to a... · 5dc3ecc5
  Daniel Neider authored Dec 04, 2018
```
Now correctly completes a deterministic Owl automaton before translating to a Moore machine. Also now uses deterministic automata in command line interface.
```
  5dc3ecc5
28 Nov, 2018 2 commits
- Updated README.md · 0c28e2b9
  Daniel Neider authored Nov 28, 2018
  
  0c28e2b9
- Updates rLTL2LTL converter · aa939f13
  Daniel Neider authored Nov 28, 2018
  
  aa939f13
24 Nov, 2018 1 commit
- Initial commit · 0cfd1a2d
  Daniel Neider authored Nov 24, 2018
  
  0cfd1a2d