Commits · 83346424f82034832642787e78dde4b871548811 · mbe-tools / TTool

Apr 11, 2024
- Fixed bug in ATDConstraint.setType where value was always being set to <<OR>>. · d7e48bdf
  Alan Birchler De Allende authored 11 months ago
  
  d7e48bdf
- Fixed AT drawing functionality from AT class so that the diagrams include what... · a7d5b5ed
  Alan Birchler De Allende authored 11 months ago
  
  Fixed AT drawing functionality from AT class so that the diagrams include what the root attack is, the descriptions of each attack node, and the type of AttackNode.
  a7d5b5ed
Apr 09, 2024
- Improving drawing of AT · 04f27d36
  Ludovic Apvrille authored 11 months ago
  
  04f27d36
Apr 08, 2024
- Drawing of attack tree · 467ffcc7
  Ludovic Apvrille authored 11 months ago
  
  467ffcc7
- Created Attack Tree pipeline 1 and 2. · b4475827
  Alan Birchler De Allende authored 11 months ago
  
  b4475827
May 09, 2022
- Switching to java 11 and gradle 7: first step · d49f0148
  Ludovic Apvrille authored 2 years ago
  
  d49f0148
Jun 04, 2021
- Update on Attack tree analysis with Z3 · 2b0cb917
  Ludovic Apvrille authored 3 years ago
  
  2b0cb917
- First draft on attacker analysis with Z3 · ade6309d
  Ludovic Apvrille authored 3 years ago
  
  ade6309d
Feb 10, 2021
- New analysis for AT · fe2ea1e9
  Ludovic Apvrille authored 4 years ago
  
  fe2ea1e9
Feb 08, 2021
- Update on attack tree analysis · 074f65cf
  Ludovic Apvrille authored 4 years ago
  
  074f65cf
Feb 05, 2021
- Adding population of attackers. Still need to add attacker population analysis · f6a216ee
  Ludovic Apvrille authored 4 years ago
  
  f6a216ee
Feb 04, 2021
- Update on TTool test · 6cd3bd42
  Ludovic Apvrille authored 4 years ago
  
  6cd3bd42
Feb 03, 2021
- Adding attacker and attacker population · c3651781
  Ludovic Apvrille authored 4 years ago
  
  c3651781
- Adding attack tree analysis · 07d195e4
  Ludovic Apvrille authored 4 years ago
  
  07d195e4
May 15, 2018
- Switching to old src files before the merge with LIP6 · ad6b2dbd
  Ludovic Apvrille authored 6 years ago
  
  ad6b2dbd
- Rebasing before SystemCAMS · bbbb2549
  Ludovic Apvrille authored 6 years ago
  
  bbbb2549
May 09, 2018
- sources par irina · 65dc38d8
  Daniela GENIUS authored 6 years ago
  
  65dc38d8
Jan 31, 2018
- Adding checking syntax method for atd · 4bf47ac6
  apvrille authored 7 years ago
  
  4bf47ac6
- Adding attack name checking · 9b401249
  apvrille authored 7 years ago
  
  9b401249
Jun 19, 2017
- unified end-of-lines in files that presented mixed '\r', '\n' and '\r\n' · 1820b202
  Florian Lugou authored 7 years ago
  
  1820b202
Jun 16, 2017
- automatically corrected copyright to be normal multiline comments · fb7ec410
  Florian Lugou authored 7 years ago
  
  fb7ec410
Jun 12, 2017
- Added new compilation flags for warnings and cleaned up code · c8d455a6
  Florian Lugou authored 7 years ago
  
  c8d455a6
Jun 09, 2017
- Gradle Setup · bdfe1c5a
  Florian Lugou authored 7 years ago
  
  bdfe1c5a