Commits · 946cd9445ccce108620aaf0e9e5a06d664fa6796 · Joshua Moerman / rers-2016

14 Sep, 2016 1 commit
- Adds more results of Rick · 946cd944
  Joshua Moerman authored Sep 14, 2016
  
  946cd944
07 Sep, 2016 1 commit
- Adds reachability results of Rick · 84e34cfa
  Joshua Moerman authored Sep 07, 2016
  
  84e34cfa
31 Aug, 2016 7 commits
- Finalizes my results in a zip file · a28517d1
  Joshua Moerman authored Aug 31, 2016
  
  a28517d1
- Final results are in! and converted to csv · fa057f03
  Joshua Moerman authored Aug 31, 2016
  
  fa057f03
- New results, using the proper models. · cb27bbb8
  Joshua Moerman authored Aug 31, 2016
```
Also added the results for reachability
```
  cb27bbb8
- Adds extra invariant to disable invalid transitions · 89d2a43e
  Joshua Moerman authored Aug 31, 2016
  
  89d2a43e
- Adds some more brackets · 44768447
  Joshua Moerman authored Aug 31, 2016
  
  44768447
- Removed simplification of the formulas · 924e4ace
  Joshua Moerman authored Aug 31, 2016
  
  924e4ace
- Results from NuSMV are back · d8ce85ec
  Joshua Moerman authored Aug 31, 2016
  
  d8ce85ec
30 Aug, 2016 5 commits
- Adds full NuSMV models (including specs) · 826c794f
  Joshua Moerman authored Aug 30, 2016
```
And fixes a small bug in the conversion
```
  826c794f
- Adds converted models (NuSMV format) · df1b7c55
  Joshua Moerman authored Aug 30, 2016
  
  df1b7c55
- Extracts latest models from 7zips · 7f71c101
  Joshua Moerman authored Aug 30, 2016
  
  7f71c101
- Adds files used for and created by learning · b6672e26
  Joshua Moerman authored Aug 30, 2016
  
  b6672e26
- Adds the problem descriptions · 1b44501c
  Joshua Moerman authored Aug 30, 2016
  
  1b44501c