Commits · 90e35efbc220f813974c62258e74cf74f862df92 · STAR 2021 Group 6 / Fault Tree Project · GitLab

Snippets Groups Projects

Mar 09, 2021
- copying of ITE structures · 90e35efb
  Jarik authored 4 years ago
  
  90e35efb
Mar 08, 2021
- removed debug prints · c6f86418
  Jarik authored 4 years ago
  
  c6f86418
- simple evaluate tree main · 8ea3aed0
  Jarik authored 4 years ago
  
  8ea3aed0
- simple evaluation metrics · a9c497c4
  Jarik authored 4 years ago
  
  a9c497c4
- updated map type; · 3e263fa7
  Jarik authored 4 years ago
  
  3e263fa7
Mar 06, 2021
- bdd transformations + simple tests · 8624abe4
  Jarik authored 4 years ago
  
  8624abe4
Mar 05, 2021
- h1, h2, h3 heuristics added in switch-statement · 2d36d02b
  IrinaShcherbakova authored 4 years ago
  
  2d36d02b
- tests for H1, H2, H3 and new test tree4 · 6488dc7b
  IrinaShcherbakova authored 4 years ago
  
  6488dc7b
- small changes in H2 · 9b57464c
  IrinaShcherbakova authored 4 years ago
  
  9b57464c
- Added check for null tree in H1 · 5ce3c342
  IrinaShcherbakova authored 4 years ago
  
  5ce3c342
- By Level Heuristic (H3) · d20d5620
  IrinaShcherbakova authored 4 years ago
  
  d20d5620
- breadth first search heuristic (H2) · 9ff5ba36
  IrinaShcherbakova authored 4 years ago
  
  9ff5ba36
- depth first search heuristic (H1) · aa6b2f31
  IrinaShcherbakova authored 4 years ago
  
  aa6b2f31
Mar 03, 2021
- Merge branch 'main' of https://gitlab.utwente.nl/star-2021-group-6/fault-tree-examples into main · 69f23402
  Leendertz, R.R. (Rens, Student M-CS) authored 4 years ago
  
  69f23402
- added main in Parser for testing purposes · 721d7563
  Leendertz, R.R. (Rens, Student M-CS) authored 4 years ago
  
  721d7563
- Add image of test trees for easier manual checking · fde19a55
  s2010720 authored 4 years ago
  
  fde19a55
- Add some heuristics tests and fix discovered problem · bebefe9e
  s2010720 authored 4 years ago
  
  bebefe9e
- updated simplify.py to produce the tree in topological order · a47ea026
  Leendertz, R.R. (Rens, Student M-CS) authored 4 years ago
  
  a47ea026
- Merge branch 'main' of https://gitlab.utwente.nl/star-2021-group-6/fault-tree-examples into main · 43fb27f8
  Leendertz, R.R. (Rens, Student M-CS) authored 4 years ago
  
  43fb27f8
- intermediate because git does not like it · 39aec2b7
  Leendertz, R.R. (Rens, Student M-CS) authored 4 years ago
  
  39aec2b7
- Update ogpf JSON files · 5c58e2ee
  s2010720 authored 4 years ago
  
  5c58e2ee
- Fix ogpf · b8c33150
  s2010720 authored 4 years ago
  
  b8c33150
- fix merge toString/hashcode · c1244567
  Leendertz, R.R. (Rens, Student M-CS) authored 4 years ago
  
  c1244567
- Added parsing of simplified json trees2 · 6dcc1f45
  Leendertz, R.R. (Rens, Student M-CS) authored 4 years ago
  
  6dcc1f45
- Added parsing of simplified json trees · 434db67a
  Leendertz, R.R. (Rens, Student M-CS) authored 4 years ago
  
  434db67a
- Implement H5 Fanin (rather ineffeciently) (and untested) · bf3e1b69
  s2010720 authored 4 years ago
  
  bf3e1b69
- Add hashcodes based on event name (should be unique) · 2947d793
  s2010720 authored 4 years ago
  
  2947d793
- Add heuristic H4 (untested) · 34776c10
  s2010720 authored 4 years ago
  
  34776c10
- Add import for FFORT fault trees · 02954b94
  s2010720 authored 4 years ago
  
  From https://dftbenchmarks.utwente.nl/ffort.php
  02954b94
Mar 02, 2021
- Add stub for main · a780b9f3
  s2010720 authored 4 years ago
  
  a780b9f3
- Add Heuristic interface · bfaea5d9
  s2010720 authored 4 years ago
  
  bfaea5d9
- Add fault tree structure based on Jarik's AttackTree · 87f3409b
  s2010720 authored 4 years ago
  
  87f3409b
Feb 28, 2021
- Add simplified random trees · 4ce6d8f3
  s2010720 authored 4 years ago
  
  4ce6d8f3
- Add random large trees with different characteristics · 77fefe06
  s2010720 authored 4 years ago
  
  77fefe06
Feb 24, 2021
- directory containing converted trees & their dot versions · 234d2c47
  Leendertz, R.R. (Rens, Student M-CS) authored 4 years ago
  
  234d2c47
- added a python file capable of converting an attack tree to a simpler version · 7e820933
  Leendertz, R.R. (Rens, Student M-CS) authored 4 years ago
  
  7e820933
Feb 23, 2021
- Add README · 5013b93d
  s2010720 authored 4 years ago
  
  5013b93d
- Initial commit · c7021cfd
  s2010720 authored 4 years ago
  
  c7021cfd