Commits · dbd5aef72c376af5a274a5e3e32b47a6e942fae4 · mbe-tools / TTool

Dec 07, 2017
- Fixed autogeneration bug · dbd5aef7
  Letitia Li authored 7 years ago and Fabien Tessier committed 7 years ago
  
  dbd5aef7
- Moved security generation to ProVerif window · c7d19250
  Letitia Li authored 7 years ago and Fabien Tessier committed 7 years ago
  
  c7d19250
- Update MainGUI for project manager merge · f6c46595
  Fabien Tessier authored 7 years ago
  
  f6c46595
Oct 20, 2017
- Clone README and licence files in project directories · e4f1f79f
  Fabien Tessier authored 7 years ago
  
  e4f1f79f
Oct 19, 2017
- Fix proverif generation (remove pvspec directory creation) · 8509ab25
  Fabien Tessier authored 7 years ago
  
  8509ab25
Oct 16, 2017
- Config AVATAR generation code and proverif for .ttool project · 13b6564e
  Fabien Tessier authored 7 years ago
  
  13b6564e
Sep 19, 2017
- Add inheritance and initButtons method on JDialog classes · 90d5807a
  Fabien Tessier authored 7 years ago
  
  90d5807a
Jun 27, 2017
- added checkbox to forbid message duplication on private channels · 5afcbafa
  Florian Lugou authored 7 years ago
  
  5afcbafa
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 18, 2017
- requirements linking · d0cc83de
  Letitia Li authored 7 years ago
  
  d0cc83de
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 8 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
  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
  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 10 years ago
  
  5c710a01
Feb 05, 2015
- Update on proverif model management · 9e3d11d3
  Ludovic Apvrille authored 10 years ago
  
  9e3d11d3