Commits · master · sct-dse-public / Threat Model Repair

Aug 26, 2022
- Added fixes for new models · f3d0754e
  Sebastian Chlup authored 2 years ago
  
  f3d0754e
Jul 14, 2022
- upgrading the gradle wrapper · 4a0a063c
  Masoud Ebrahimi authored 2 years ago
  
  4a0a063c
Apr 01, 2022
- Update README.md · 2578118b
  Thorsten Tarrach authored 3 years ago
  
  2578118b
- latest threatget syntax support · 6af0c3d2
  Thorsten Tarrach authored 3 years ago
  
  6af0c3d2
Nov 29, 2021
- Deleted .vscode/launch.json, .vscode/threatget-solver.code-workspace · 357d1232
  Thorsten Tarrach authored 3 years ago
  
  357d1232
Oct 01, 2021
- Merge branch 'attribute-cost' into 'master' · ac536de7
  Thorsten Tarrach authored 3 years ago
  ac536de7
- Merge branch 'master' into 'attribute-cost' · 36ace5b7
  Thorsten Tarrach authored 3 years ago
  36ace5b7
Sep 21, 2021
- adding more results · 3eede515
  Thorsten Tarrach authored 3 years ago
  
  3eede515
Sep 17, 2021
- some bug fixes · c7fac11e
  Thorsten Tarrach authored 3 years ago
  
  c7fac11e
- implemented attribute cost · 5834cbfc
  Thorsten Tarrach authored 3 years ago
  
  5834cbfc
Sep 16, 2021
- attribute cost sample model and csv parsing · bb3fcf8a
  Thorsten Tarrach authored 3 years ago
  
  bb3fcf8a
Sep 15, 2021
- improved the distinct · 69560c65
  Thorsten Tarrach authored 3 years ago
  
  69560c65
Sep 14, 2021
- adding gitkeep · 832736d4
  Thorsten Tarrach authored 3 years ago
  
  832736d4
- distinct clause added · a43acd28
  Thorsten Tarrach authored 3 years ago
  
  a43acd28
- elements are placed in seperate folder · bf0e06ad
  Thorsten Tarrach authored 3 years ago
  
  bf0e06ad
May 11, 2021
- latest changes · 17db180e
  Thorsten Tarrach authored 4 years ago
  
  17db180e
May 02, 2021
- Print model to the standard output. · 0f074e6d
  Dejan Nickovic authored 4 years ago
  
  0f074e6d
Apr 30, 2021
- chmod +x · 8685424c
  Masoud Ebrahimi authored 4 years ago
  
  8685424c
- minor. · 25c79f1c
  Masoud Ebrahimi authored 4 years ago
  
  25c79f1c
- added fatJar task. · c3dd2dc8
  Masoud Ebrahimi authored 4 years ago
  
  c3dd2dc8
Apr 28, 2021
- TT Control Model original · e3620fed
  Thorsten Tarrach authored 4 years ago
  
  e3620fed
Apr 21, 2021
- fixed handeling of tagged values · df205ad7
  Thorsten Tarrach authored 4 years ago
  
  df205ad7
Apr 20, 2021
- added key example · c99d10f5
  Thorsten Tarrach authored 4 years ago
  
  c99d10f5
- iot model · c57d7cc8
  Thorsten Tarrach authored 4 years ago
  
  c57d7cc8
Apr 14, 2021
- added additional checks · 558e1e3c
  Thorsten Tarrach authored 4 years ago
  
  558e1e3c
- unrepairable_conflict statistics · db982def
  Dejan Nickovic authored 4 years ago
  
  db982def
- Incremental finalized · 859dfbfe
  Dejan Nickovic authored 4 years ago
  
  859dfbfe
- Baseline · d30ecf68
  Dejan Nickovic authored 4 years ago
  
  d30ecf68
- Merge branch 'timer-and-incremental' of... · 815a23ab
  Dejan Nickovic authored 4 years ago
  815a23ab
- RepairUtilities · 89c0e101
  Dejan Nickovic authored 4 years ago
  
  89c0e101
Apr 12, 2021
- split ors · cfbb8c63
  Thorsten Tarrach authored 4 years ago
  cfbb8c63
- Global solver at the end. · 55bd8b66
  Dejan Nickovic authored 4 years ago
  
  55bd8b66
Apr 09, 2021
- Added the timout to the solvers + the global optimization. · 57d50d8e
  Dejan Nickovic authored 4 years ago
  
  57d50d8e
Apr 08, 2021
- fixed boundaries · a7d57d6c
  Thorsten Tarrach authored 4 years ago
  
  a7d57d6c
Apr 07, 2021
- adding stack · 682f4684
  Thorsten Tarrach authored 4 years ago
  
  682f4684
Apr 06, 2021
- improved output · e40452de
  Thorsten Tarrach authored 4 years ago
  
  e40452de
- includes and crosses rules · 0efde720
  Thorsten Tarrach authored 4 years ago
  
  0efde720
Apr 02, 2021
- include works in beta mode · 6e09b527
  Thorsten Tarrach authored 4 years ago
  6e09b527
- iot rules without triples · d0f743b2
  Thorsten Tarrach authored 4 years ago
  
  d0f743b2
Apr 01, 2021
- worked on flows · 210769c2
  Thorsten Tarrach authored 4 years ago
  
  210769c2