Commits · afcd6d1fbaa32a7fd1657cf821e67202858df031 · mbe-tools / TTool

Jul 04, 2017
- Mostly complete DIPLODOCUS sim traces · 6cebae01
  Letitia Li authored 7 years ago
  
  6cebae01
Jul 03, 2017
- Update on TMLModeling XML computation · 2577fcf4
  apvrille authored 7 years ago
  
  2577fcf4
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 13, 2017
- useless attempt to decouple tmltranslator and ui · 0a4d06c2
  Florian Lugou authored 7 years ago
  
  0a4d06c2
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
- TML2Avatar fixes · 0db9ec1c
  Letitia Li authored 7 years ago
  
  0db9ec1c
Jun 02, 2017
- optimize import · b3bc95f5
  Florian Lugou authored 7 years ago
  
  b3bc95f5
May 31, 2017
- Refactoring ProVerif results to be objects instead of strings · 79cdcd29
  Florian Lugou authored 7 years ago
  
  79cdcd29
May 29, 2017
- TML verification update · c5d0bf02
  Letitia Li authored 7 years ago
  
  c5d0bf02
May 22, 2017
- added latency measurement checkpoints to avatar · 35f1655a
  Letitia Li authored 7 years ago
  
  35f1655a
May 19, 2017
- HSM and auto generation fixes · 5bcb2825
  Letitia Li authored 7 years ago
  
  5bcb2825
May 15, 2017
- HSM updates · b9928d8e
  Letitia Li authored 7 years ago
  
  b9928d8e
May 12, 2017
- Issue #38 : Exception thrown when validating a communication pattern · b682dcf7
  Dominique Blouin authored 7 years ago
  b682dcf7
Mar 21, 2017
- Update on separator for fork/join channels · 526bbb03
  apvrille authored 8 years ago
  
  526bbb03
Mar 16, 2017
- Finishing joinevent in functional views · 95a748fa
  apvrille authored 8 years ago
  
  95a748fa
Mar 15, 2017
- Update on join for events. Still not functional. Noticed errors on evts... · ed8fb46c
  apvrille authored 8 years ago
  ed8fb46c
Mar 14, 2017
- update · 59390863
  Daniela Genius authored 8 years ago
  
  59390863
- Progressively going to fork events · 35a2a249
  Ludovic Apvrille authored 8 years ago
  
  35a2a249
Mar 13, 2017
- Working on forks for events · b4659ffe
  Ludovic Apvrille authored 8 years ago
  
  b4659ffe
Mar 07, 2017
- Issue #17 : Limit the size of opening dialogs to the size of the screen + · d83bec61
  Dominique Blouin authored 8 years ago
  d83bec61
Feb 01, 2017
- Latency measurement fix for elements of the same name · 8a365f99
  Letitia Li authored 8 years ago
  
  8a365f99
Jan 27, 2017
- AutoSecurity MAC added · 6c433234
  Letitia Li authored 8 years ago
  
  6c433234
Jan 06, 2017
- Automatic Security Generation fix without authenticity · 76aa1c55
  Letitia Li authored 8 years ago
  
  76aa1c55
Nov 17, 2016
- Latency measurements updated to table · a992c149
  Letitia Li authored 8 years ago
  
  a992c149
Nov 16, 2016
- New Latency Measurement table in interactive simulation · 2c41d170
  Letitia Li authored 8 years ago
  
  2c41d170
Oct 19, 2016
- Firewall modeling · 1997c8c0
  Letitia Li authored 8 years ago
  
  1997c8c0
Aug 25, 2016
- Resolving bug on code generation from TML design with fork/join operators · aad3111e
  Ludovic Apvrille authored 8 years ago
  
  aad3111e
Aug 23, 2016
- Resolving bug on UPPAAL generation from TML app · 35ebe139
  Ludovic Apvrille authored 8 years ago
  
  35ebe139
Jul 18, 2016
- Auto Secure Mapping · 392460fa
  Letitia Li authored 8 years ago
  
  392460fa
Apr 26, 2016
- added library function calls to SMD and various modification to use generics · aeec97b8
  Florian Lugou authored 9 years ago
  
  aeec97b8
Apr 15, 2016
- mapping channels · 7b73e0c7
  Letitia Li authored 9 years ago
  
  7b73e0c7
- security pattern changes · 23609d60
  Letitia Li authored 9 years ago
  
  23609d60
Mar 25, 2016
- security pattern backtracing · 1bd19b13
  Letitia Li authored 9 years ago
  
  1bd19b13
- sort of working · 98a7eb6d
  Letitia Li authored 9 years ago
  
  98a7eb6d
Mar 24, 2016
- DIPLODOCUS Encrypt and Decrypt · eadf4efb
  Letitia Li authored 9 years ago
  
  eadf4efb
Mar 15, 2016
- tml security backtracing · c2bf59ef
  Letitia Li authored 9 years ago
  
  c2bf59ef
Mar 11, 2016
- backtracing fix · d813e545
  Letitia Li authored 9 years ago
  
  d813e545
Feb 17, 2016
- tml2proverif fixes · d1ac6074
  Letitia Li authored 9 years ago
  
  d1ac6074