Commits · 7b058dc518f85671c9bfacff7e8c229c3d0a076d · mbe-tools / TTool

Jun 05, 2024
- Update on new avatarspec format for datatype handling · ebd9f605
  Ludovic Apvrille authored 10 months ago
  
  ebd9f605
Jun 27, 2023
- Adding support for owner in state machine elements of Avatar · c9421cf5
  Ludovic Apvrille authored 1 year ago
  
  c9421cf5
Feb 23, 2021
- Update on deprecated functions · 1aa22fb4
  Ludovic Apvrille authored 4 years ago
  
  1aa22fb4
Feb 08, 2021
- Update on attack tree analysis · 074f65cf
  Ludovic Apvrille authored 4 years ago
  
  074f65cf
Feb 03, 2021
- GramSec analysis: bug resolved · 4712ece6
  Ludovic Apvrille authored 4 years ago
  
  4712ece6
- Adding attack tree analysis · 07d195e4
  Ludovic Apvrille authored 4 years ago
  
  07d195e4
Jul 27, 2018
- Code cleanup · 652e0406
  Dominique Blouin authored 6 years ago
  
  652e0406
Jan 31, 2018
- Adding attack name checking · 9b401249
  apvrille authored 7 years ago
  
  9b401249
Jan 29, 2018
- Modifying reachaiblity of selected states in Avatar model checker · 99f65fdc
  Ludovic Apvrille authored 7 years ago
  
  99f65fdc
Jun 27, 2017
- Code cleanup · be64c07e
  Dominique Blouin authored 7 years ago
  
  be64c07e
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
Jun 02, 2017
- optimize import · b3bc95f5
  Florian Lugou authored 7 years ago
  
  b3bc95f5
Sep 21, 2016
- Update on avatar model checker · 8fb5cc5b
  Ludovic Apvrille authored 8 years ago
  
  8fb5cc5b
Sep 20, 2016
- Update on attack tree translation · 8240ab51
  Ludovic Apvrille authored 8 years ago
  
  8240ab51
Apr 26, 2016
- added library function calls to SMD and various modification to use generics · aeec97b8
  Florian Lugou authored 8 years ago
  
  aeec97b8
Sep 28, 2015
- proverif logic modification · 1e26ec9f
  Florian Lugou authored 9 years ago
  
  1e26ec9f
Sep 22, 2015
- Generation of ProVerif typed pi calculus, modification of Avatar model for... · cc582c07
  Florian Lugou authored 9 years ago
  
  Generation of ProVerif typed pi calculus, modification of Avatar model for easing translation to ProVerif
  cc582c07
Apr 27, 2015
- Update on window for managing syntax checking · a92541fb
  Ludovic Apvrille authored 9 years ago
  
  a92541fb
Apr 22, 2015
- Enable / disable on attacks of attack graphs · c66f99fd
  Ludovic Apvrille authored 9 years ago
  
  c66f99fd
Apr 21, 2015
- Update on attack graphs · 02bd4c5f
  Ludovic Apvrille authored 9 years ago
  
  02bd4c5f
Apr 15, 2015
- Adding support for validation / verification of attack trees · 6ef7f0c8
  Ludovic Apvrille authored 9 years ago
  
  6ef7f0c8
Apr 14, 2015
- Update on syntax checking attack trees · f2a31aab
  Ludovic Apvrille authored 9 years ago
  
  f2a31aab
Apr 13, 2015
- Update on syntax checking attack trees · d047984d
  Ludovic Apvrille authored 9 years ago
  
  d047984d
- Update on syntax checking attack trees · 752e7d5f
  Ludovic Apvrille authored 9 years ago
  
  752e7d5f
- Update on syntax checking attack trees · 5f92bd3c
  Ludovic Apvrille authored 9 years ago
  
  5f92bd3c
- Update on attack trees management: syntax checking · 17e31f21
  Ludovic Apvrille authored 9 years ago
  
  17e31f21