Commits · main · Thom Badings / SLURF

21 Nov, 2022 1 commit
- overwrite all files with forward info · 4d5e8045
  Thom Badings authored Nov 21, 2022
  
  4d5e8045
22 Sep, 2022 2 commits
- changed default option in reliability plot to hiding samples/curves · 9fa01526
  Thom Badings authored Sep 22, 2022
  
  9fa01526
- added railway cabinets fault tree benchmark · 825525d6
  Thom Badings authored Sep 22, 2022
  
  825525d6
26 Aug, 2022 1 commit
- changed properties files for cabinets benchmark · 8a545f4e
  Thom Badings authored Aug 26, 2022
  
  8a545f4e
25 Aug, 2022 4 commits
- Merge branch 'main' of https://gitlab.science.ru.nl/tbadings/slurf into main · e82e1ff1
  Thom Badings authored Aug 25, 2022
  
  e82e1ff1
- cabinet benchmark changes · 57a3c4e5
  Thom Badings authored Aug 25, 2022
  
  57a3c4e5
- Added interface for DFT simulation · 53b56d8f
  Matthias Volk authored Aug 25, 2022
  
  53b56d8f
- Adaptions to work with Storm-dft and inspections · 141a16d0
  Matthias Volk authored Aug 25, 2022
  
  141a16d0
23 Aug, 2022 7 commits
- Fixed issues in cabinets file · 32d6a3f9
  Matthias Volk authored Aug 23, 2022
  
  32d6a3f9
- Adaption to changes in storm-dft · 3bff97ce
  Matthias Volk authored Aug 23, 2022
  
  3bff97ce
- added railway cabinets fault tree benchmark · 0258ae0b
  Thom Badings authored Aug 23, 2022
  
  0258ae0b
- Update README.md · b77c30e2
  Thom Badings authored Aug 23, 2022
  
  b77c30e2
- Added support for result export files as `csv` · 7f2240fb
  Thom Badings authored Aug 23, 2022
  
  7f2240fb
- Update README.md · bc3af104
  Thom Badings authored Aug 23, 2022
  
  bc3af104
- Update README.md · 0dd03ebf
  Thom Badings authored Aug 23, 2022
  
  0dd03ebf
14 Aug, 2022 1 commit
- slurf for stormpy 1.7 and some minor adaptions in the docker file · d527b5f4
  Sebastian Junges authored Aug 14, 2022
  
  d527b5f4
08 Aug, 2022 4 commits
- Merge branch 'csv-support' of https://gitlab.science.ru.nl/tbadings/slurf into csv-support · b889f93d
  Thom Badings authored Aug 08, 2022
  
  b889f93d
- Changed epidemic (SIR) models from Excel to CSV input format · 2e2391cf
  Thom Badings authored Aug 08, 2022
  
  2e2391cf
- Update README.md for csv-support branch. · 80876e24
  Thom Badings authored Aug 08, 2022
  
  80876e24
- support for csv input files · 03e7a998
  Thom Badings authored Aug 08, 2022
  
  03e7a998
06 May, 2022 20 commits
- changed gitignore · 39bec6d8
  Thom Badings authored May 06, 2022
  
  39bec6d8
- typo in output experiment file · c4aa80dc
  Thom Badings authored May 06, 2022
  
  c4aa80dc
- changed nr validation samples in partial exps · 8be01ed5
  Thom Badings authored May 06, 2022
  
  8be01ed5
- changed output folder for experiments · db5dc089
  Thom Badings authored May 06, 2022
  
  db5dc089
- Update README.md · 56833721
  Thom Badings authored May 06, 2022
  
  56833721
- Update README.md · 794d5f9c
  Thom Badings authored May 06, 2022
  
  794d5f9c
- bugfix in Table2 partial experiment · ae94e10b
  Thom Badings authored May 06, 2022
  
  ae94e10b
- Update README.md · 5062e8a8
  Thom Badings authored May 06, 2022
  
  5062e8a8
- Update README.md · 01f45a0d
  Thom Badings authored May 06, 2022
  
  01f45a0d
- Update README.md · 13eb102b
  Thom Badings authored May 06, 2022
  
  13eb102b
- Extended Dockerignore · d561ce90
  Matthias Volk authored May 06, 2022
  
  d561ce90
- Fixes in README · 29023ec1
  Matthias Volk authored May 06, 2022
  
  29023ec1
- Updated Dockerfile · 14705c55
  Matthias Volk authored May 06, 2022
  
  14705c55
- Update README.md · a1e72446
  Thom Badings authored May 06, 2022
  
  a1e72446
- Update README.md · 98174fe1
  Thom Badings authored May 06, 2022
  
  98174fe1
- Update README.md · 4af8b4e1
  Thom Badings authored May 06, 2022
  
  4af8b4e1
- Updated docker run command in README · 45ec83d3
  Matthias Volk authored May 06, 2022
  
  45ec83d3
- Updated README · 023b6598
  Matthias Volk authored May 06, 2022
  
  023b6598
- added intro figure for readme · 654b9200
  Thom Badings authored May 06, 2022
  
  654b9200
- Deleted img/slurf-intro.png · f38275a6
  Thom Badings authored May 06, 2022
  
  f38275a6