Commits · 7ee6eb65b861c25a38ee1903718cf1e65c6c7006 · mbe-tools / TTool

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
- fixed all warnings · 04609774
  Florian Lugou authored 7 years ago
  
  04609774
Jun 09, 2017
- Gradle Setup · bdfe1c5a
  Florian Lugou authored 7 years ago
  
  bdfe1c5a
Jun 04, 2017
- changed ProVerif output analysis to print results in real time · 36de1efb
  Florian Lugou authored 7 years ago
  
  36de1efb
Jun 02, 2017
- optimize import · b3bc95f5
  Florian Lugou authored 7 years ago
  
  b3bc95f5
May 31, 2017
- fixed ProVerif Output analysis for TML · ef939ab6
  Florian Lugou authored 7 years ago
  
  ef939ab6
- End of ProVerif trace reconstruction · 05413902
  Florian Lugou authored 7 years ago
  
  05413902
- completed CLI trace reconstruction · b70188f6
  Florian Lugou authored 7 years ago
  
  b70188f6
- Refactoring ProVerif results to be objects instead of strings · 79cdcd29
  Florian Lugou authored 7 years ago
  
  79cdcd29
- removed duplicated JDialogProVerifGeneration class · e5758f9b
  Florian Lugou authored 7 years ago
  
  e5758f9b
Mar 14, 2017
- update · 59390863
  Daniela Genius authored 8 years ago
  
  59390863
Mar 09, 2017
- Resolving bug on ProVerif generation · a4fb0c52
  apvrille authored 8 years ago
  
  a4fb0c52
Mar 06, 2017
- Adding ProVerif directory verification · c06e4ef0
  apvrille authored 8 years ago
  
  c06e4ef0
Feb 19, 2017
- Changing the Proverif dialog window · d8c3641b
  Ludovic Apvrille authored 8 years ago
  
  d8c3641b
Feb 02, 2017
- Issue #18 : RSH client API refactoring · d6678882
  Dominique Blouin authored 8 years ago
  
  d6678882
Jul 29, 2016
- Design Space Exploration UI · 78c29118
  Letitia Li authored 8 years ago
  
  78c29118
Mar 18, 2016
- loop limit · be098cd0
  Letitia Li authored 9 years ago
  
  be098cd0
Mar 04, 2016
- enabled reachability proof with ProVerif on selected only states and added... · f7dcf5d6
  Florian Lugou authored 9 years ago
  
  enabled reachability proof with ProVerif on selected only states and added PrivateConstant and PublicConstant pragmas
  f7dcf5d6
Oct 20, 2015
- updated paper · c13c5648
  Letitia Li authored 9 years ago
  
  c13c5648
Oct 06, 2015
- Added Pragma help · e7014606
  Letitia Li authored 9 years ago
  
  e7014606
Oct 05, 2015
- Prompt on overwrite · b2ff0d9a
  Letitia Li authored 9 years ago
  
  b2ff0d9a
Oct 02, 2015
- fixed bug with ProVerif and InitialKnowledge · 34154e27
  Florian Lugou authored 9 years ago
  
  34154e27
Sep 30, 2015
- Select proverif input file · 01fe5834
  Letitia Li authored 9 years ago
  
  01fe5834
- ProVerifOutputAnalyzer and user input · ed4e735b
  Letitia Li authored 9 years ago
  
  ed4e735b
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
Aug 27, 2015
- Update on how guards are handled by the proverif code generator · 179c27eb
  Ludovic Apvrille authored 9 years ago
  
  179c27eb
Apr 20, 2015
- Update on proverif info on authenticity · 5c710a01
  Ludovic Apvrille authored 9 years ago
  
  5c710a01
Feb 05, 2015
- Update on proverif model management · 9e3d11d3
  Ludovic Apvrille authored 10 years ago
  
  9e3d11d3
Apr 10, 2014
- Update on security information · 5023c82d
  Ludovic Apvrille authored 10 years ago
  
  5023c82d
Jun 06, 2013
- Update on Proverif info · 520a3071
  Ludovic Apvrille authored 11 years ago
  
  520a3071
Dec 16, 2010
- UPDATE ib AVATAR: ProVerif analysis of Authenticity · 0fd86801
  Ludovic Apvrille authored 14 years ago
  
  0fd86801
Sep 20, 2010
- AVATAR: Update on Proverif translator · 0a2676fa
  Ludovic Apvrille authored 14 years ago
  
  0a2676fa
Sep 17, 2010
- No commit message · 99308646
  Ludovic Apvrille authored 14 years ago
  
  No commit message
  99308646
- AVATAR-to-ProVerif: update · 173bc100
  Ludovic Apvrille authored 14 years ago
  
  173bc100
Sep 16, 2010
- update on AVATAR to ProVerif · b5e97c42
  Ludovic Apvrille authored 14 years ago
  
  b5e97c42
Sep 13, 2010
- AVATAR: Resolved bug when removinga component from a AvatarPDBlock · ea2e7e1f
  Ludovic Apvrille authored 14 years ago
  
  ea2e7e1f