Commits · master · Joshua Moerman / rers-2016

28 Nov, 2016 1 commit
- Changes made for arxiv submission · 15936e51
  Rick Smetsers authored Nov 28, 2016
  
  15936e51
08 Nov, 2016 1 commit
- Added arxiv submission · 1ae432ea
  Rick Smetsers authored Nov 08, 2016
  
  1ae432ea
31 Oct, 2016 2 commits
- Small changes in text. · 6c25843e
  Joshua Moerman authored Oct 31, 2016
  
  6c25843e
- added the submitted answers · 8ccaa580
  Rick Smetsers authored Oct 31, 2016
  
  8ccaa580
11 Oct, 2016 1 commit
- Added comments by David · 1b73af8b
  Rick Smetsers authored Oct 11, 2016
  
  1b73af8b
16 Sep, 2016 1 commit
- Final submission for RERS · d041df9d
  Rick Smetsers authored Sep 16, 2016
  
  d041df9d
15 Sep, 2016 19 commits
- Merge branch 'master' of gitlab.science.ru.nl:moerman/rers-2016 · c2be7e5e
  Joshua Moerman authored Sep 15, 2016
  
  c2be7e5e
- Adds falses for problem 10 · ad324996
  Joshua Moerman authored Sep 15, 2016
  
  ad324996
- typo · bf266cd8
  Rick Smetsers authored Sep 15, 2016
  
  bf266cd8
- Merge branch 'master' of gitlab.science.ru.nl:moerman/rers-2016 · 462f0b9a
  Rick Smetsers authored Sep 15, 2016
  
  462f0b9a
- Modified Joshua's addition to the introduction a bit · b67dd64b
  Rick Smetsers authored Sep 15, 2016
  
  b67dd64b
- Updates section on conformance testing · ddfdd67f
  Joshua Moerman authored Sep 15, 2016
  
  ddfdd67f
- Merge branch 'master' of gitlab.science.ru.nl:moerman/rers-2016 · b987aea1
  Joshua Moerman authored Sep 15, 2016
  
  b987aea1
- Merge branch 'master' of gitlab.science.ru.nl:moerman/rers-2016 · b6eb53e8
  Rick Smetsers authored Sep 15, 2016
  
  b6eb53e8
- Modified draft up to section 3 · 0f012d20
  Rick Smetsers authored Sep 15, 2016
  
  0f012d20
- Adds a part on the rers challenge in the intro · f1f63ffb
  Joshua Moerman authored Sep 15, 2016
  
  f1f63ffb
- Merge branch 'master' of gitlab.science.ru.nl:moerman/rers-2016 · b32af5e7
  Joshua Moerman authored Sep 15, 2016
  
  b32af5e7
- Some more changes to make it typeset · 554c58a8
  Joshua Moerman authored Sep 15, 2016
  
  554c58a8
- finished draft up to including preliminaries on conformance testing · 59783bbd
  Rick Smetsers authored Sep 15, 2016
  
  59783bbd
- Makes it work with plain latex · ef1b08e1
  Joshua Moerman authored Sep 15, 2016
  
  ef1b08e1
- Merge branch 'master' of gitlab.science.ru.nl:moerman/rers-2016 · 5f03268f
  Rick Smetsers authored Sep 15, 2016
  
  5f03268f
- Added report draft · 226892f5
  Rick Smetsers authored Sep 15, 2016
  
  226892f5
- Update README.md · b43eae90
  Rick Smetsers authored Sep 15, 2016
  
  b43eae90
- Added new fuzzing results · 8139157b
  Rick Smetsers authored Sep 15, 2016
  
  8139157b
- Update README.md · dac02145
  Rick Smetsers authored Sep 15, 2016
  
  dac02145
14 Sep, 2016 4 commits
- Adds two submissions (safe and unsafe) · 19ffa429
  Joshua Moerman authored Sep 14, 2016
  
  19ffa429
- Converted Ricks results in proper format · 77772750
  Joshua Moerman authored Sep 14, 2016
  
  77772750
- Merge branch 'master' of gitlab.science.ru.nl:moerman/rers-2016 · fe487636
  Joshua Moerman authored Sep 14, 2016
  
  fe487636
- Adds more results of Rick · 946cd944
  Joshua Moerman authored Sep 14, 2016
  
  946cd944
07 Sep, 2016 4 commits
- Adds the cases Rick found with fuzzing · 5f57e9ff
  Joshua Moerman authored Sep 07, 2016
  
  5f57e9ff
- Merge branch 'master' of gitlab.science.ru.nl:moerman/rers-2016 · 57405586
  Joshua Moerman authored Sep 07, 2016
  
  57405586
- Only submits the 'true' cases for reachability · 599056c2
  Joshua Moerman authored Sep 07, 2016
  
  599056c2
- 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