Commits · b98ecee98cd7efa38d8a6da2920ec4df48a4f6cd · mbe-tools / TTool

Apr 05, 2024
- Add security tests for Avatar and Diplodocus · 3c1f7069
  jerray authored 11 months ago
  
  3c1f7069
Jul 19, 2023
- fix bracketing in pvspec generation · 8ee24bed
  jerray authored 1 year ago
  
  8ee24bed
Apr 28, 2023
- Update on tracing in toproverif · befdc792
  Ludovic Apvrille authored 1 year ago
  
  befdc792
Mar 16, 2023
- Ticket 367 resolved: adding an information when no sec. properties were proved · b1b93728
  Ludovic Apvrille authored 2 years ago
  
  b1b93728
Feb 22, 2023
- Adding draw avatar model from proverif window · 4ba9d501
  Ludovic Apvrille authored 2 years ago
  
  4ba9d501
Jul 27, 2022
- Removing bug on proverif proof · 82b355f0
  Ludovic Apvrille authored 2 years ago
  
  82b355f0
May 09, 2022
- Switching to java 11 and gradle 7: first step · d49f0148
  Ludovic Apvrille authored 2 years ago
  
  d49f0148
Mar 01, 2022
- Adding ability to remove verification results with a new icon · 6f888f28
  Ludovic Apvrille authored 3 years ago
  
  6f888f28
Feb 23, 2021
- Update on deprecated functions · 7bd886ea
  Ludovic Apvrille authored 4 years ago
  
  7bd886ea
Oct 12, 2020
- Update on proverif trace parser · 773e875f
  Ludovic Apvrille authored 4 years ago
  
  773e875f
Oct 06, 2020
- Update on trace info in proverif · 8a9fa2db
  Ludovic Apvrille authored 4 years ago
  
  8a9fa2db
Jul 27, 2018
- Code cleanup · 652e0406
  Dominique Blouin authored 6 years ago
  
  652e0406
Jul 24, 2018
- Code cleanup · ff3b7af1
  Dominique Blouin authored 6 years ago
  
  ff3b7af1
Jul 02, 2018
- Fixed TML Spec Generation · 2642611d
  Letitia Li authored 6 years ago
  
  2642611d
Jun 21, 2018
- Removing useless system.out.println · 7eb4648f
  apvrille authored 6 years ago
  
  7eb4648f
Jun 19, 2018
- merge with syscams · f2b444e4
  Irina LEE authored 6 years ago
  
  f2b444e4
Jun 17, 2018
- fixed security generation bug · e3c91767
  Letitia Li authored 6 years ago
  
  e3c91767
May 25, 2018
- Issue #131 + code cleanup · c7c77bf5
  Dominique Blouin authored 6 years ago
  
  c7c77bf5
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
Sep 20, 2017
- changed 'random' translation to ProVerif so that it discard previous state in 'new' declarations · 4fa7f7bb
  Florian Lugou authored 7 years ago
  
  4fa7f7bb
- fixed bug with parsing ProVerif traces · 06c5c922
  Florian Lugou authored 7 years ago
  
  06c5c922
Jun 27, 2017
- Showing TML Simulations · ccc69ba6
  Letitia Li authored 7 years ago
  
  ccc69ba6
Jun 26, 2017
- ProVerif tracing in DIPLODOCUS · 75cf4a07
  Letitia Li authored 7 years ago
  
  75cf4a07
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