Commits · e007174e3d4954c1741f69a481837d4eb0b44e7a · mbe-tools / TTool

Mar 07, 2019
- Update on help search · d530b4b0
  apvrille authored 6 years ago
  
  d530b4b0
Dec 20, 2018
- Update @param, @return and @throws description warnings (2nd part) · c01711fe
  Minh Hiep Pham authored 6 years ago
  
  c01711fe
Sep 26, 2018
- Fixed proverif trace missing · 2914d855
  Letitia Li authored 6 years ago
  
  2914d855
Aug 17, 2018
- Security generation fixes for fork/join channels · eb21d7c1
  Letitia Li authored 6 years ago
  
  eb21d7c1
Jun 29, 2018
- Combined security generation · 4bc6f284
  Letitia Li authored 6 years ago
  
  4bc6f284
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
Jun 05, 2018
- Moved security generation to separate thread · ad2650bb
  Letitia Li authored 6 years ago
  
  ad2650bb
May 25, 2018
- Issue #131 + code cleanup · c7c77bf5
  Dominique Blouin authored 6 years ago
  
  c7c77bf5
Mar 26, 2018
- Update on simulators and models · f95f8027
  Ludovic Apvrille authored 7 years ago
  
  f95f8027
Mar 09, 2018
- updated firewall and HSM generatioN · 1a8c8f89
  Letitia Li authored 7 years ago
  
  1a8c8f89
Feb 02, 2018
- Resolving bug on popup in Windows for trees · bfadfae4
  apvrille authored 7 years ago
  
  bfadfae4
Dec 21, 2017
- Move directory creation from FileUtils to SpecConfigTTool · cded7e18
  Fabien Tessier authored 7 years ago
  
  cded7e18
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
Nov 10, 2017
- Fixed autogeneration bug · e6074d4d
  Letitia Li authored 7 years ago
  
  e6074d4d
Oct 31, 2017
- Moved security generation to ProVerif window · c5af99ba
  Letitia Li authored 7 years ago
  
  c5af99ba
- Moved security generation to ProVerif window · 6494a76f
  Letitia Li authored 7 years ago
  
  6494a76f
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 7 years ago
  
  e5758f9b
Mar 14, 2017
- update · 59390863
  Daniela Genius authored 8 years ago
  
  59390863