Commits · a46bb1c8f2fd5dc098a8b2b585d4d777445213d8 · mbe-tools / TTool

Nov 28, 2017
- Update on tree management · ae0621e9
  apvrille authored 7 years ago
  
  ae0621e9
Nov 22, 2017
- Reworking the UPPAAL dialog window · 1ed8c3ea
  apvrille authored 7 years ago
  
  1ed8c3ea
Nov 21, 2017
- Patch and checkable elements · fc0c1a87
  apvrille authored 7 years ago
  
  fc0c1a87
- Issue #98 : Use the code gen directory passes to method · ddd44043
  Dominique Blouin authored 7 years ago
  
  ddd44043
- Issue #98 : Use the code gen directory passed to method · 178a753d
  Dominique Blouin authored 7 years ago
  
  178a753d
Nov 13, 2017
- Finished TML2Avatar translation · 3d02de97
  Letitia Li authored 7 years ago
  
  3d02de97
Nov 12, 2017
- minor update · 35464dd1
  Letitia Li authored 7 years ago
  
  35464dd1
Nov 10, 2017
- Fixed autogeneration bug · e6074d4d
  Letitia Li authored 7 years ago
  
  e6074d4d
Oct 25, 2017
- Issue #85 : C Code generation directory should be created · 2be8cc32
  Fabien Tessier authored 7 years ago
  
  2be8cc32
Oct 12, 2017
- Performance Pragma fix · 9c81fc65
  Letitia Li authored 7 years ago
  
  9c81fc65
Oct 09, 2017
- Rover model fix · 2e80bc8f
  Letitia Li authored 7 years ago
  
  2e80bc8f
Oct 02, 2017
- Fix model loading for TURTLE files · 10d89a16
  Fabien Tessier authored 7 years ago
  
  10d89a16
Sep 27, 2017
- Replace dev trace by error trace · e75064e9
  Fabien Tessier authored 7 years ago
  
  e75064e9
Sep 14, 2017
- ajout system C-AMS · 43defb3a
  Come Demarigny [l3] authored 7 years ago
  
  43defb3a
Sep 12, 2017
- Resolving last problems · fb0e8917
  Ludovic Apvrille authored 7 years ago
  
  fb0e8917
- Update on error in git · 4a677614
  Ludovic Apvrille authored 7 years ago
  
  4a677614
Sep 11, 2017
- adding graphical hybrid CAMS connectors · 6c6fd82b
  Come Demarigny [l3] authored 7 years ago
  
  6c6fd82b
Sep 01, 2017
- Attacker scenario read/write to channel · 35116cc7
  Letitia Li authored 7 years ago
  
  35116cc7
Jul 18, 2017
- Issue #42 · b9673378
  Dominique Blouin authored 7 years ago
  
  b9673378
Jul 13, 2017
- Update on plugin for graphical components · 906b185a
  apvrille authored 7 years ago
  
  906b185a
Jul 11, 2017
- Update on TTool mapping with custom values · 30d2e7e2
  apvrille authored 7 years ago
  
  30d2e7e2
Jul 03, 2017
- Resolving bug on the verification of CPs · 9ed79961
  apvrille authored 7 years ago
  
  9ed79961
Jun 28, 2017
- Adding plugin for graphical component: example · e4fb6135
  apvrille authored 7 years ago
  
  e4fb6135
Jun 27, 2017
- added checkbox to forbid message duplication on private channels · 5afcbafa
  Florian Lugou authored 7 years ago
  
  5afcbafa
- Moved ConfigurationTTool to new package common · 0208f9ab
  Florian Lugou authored 7 years ago
  
  0208f9ab
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 14, 2017
- avatar translation fixes · 79f1ad0d
  Letitia Li authored 7 years ago
  
  79f1ad0d
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
- fixed all warnings · 04609774
  Florian Lugou authored 7 years ago
  
  04609774
- Update on diagram repaint for network load · 44027cb5
  apvrille authored 7 years ago
  
  44027cb5
- Update on remote loading: repainting on diagrams once the model has been loaded · 155e2fa1
  apvrille authored 7 years ago
  
  155e2fa1
Jun 09, 2017
- Update on loading network models: comodification on lists resolved · af1fa920
  apvrille authored 7 years ago
  
  af1fa920
- Gradle Setup · bdfe1c5a
  Florian Lugou authored 7 years ago
  
  bdfe1c5a
- TML2Avatar fixes · 0db9ec1c
  Letitia Li authored 7 years ago
  
  0db9ec1c
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
Jun 01, 2017
- More tml2avatar fixes so signal names match · 4110bd8e
  Letitia Li authored 7 years ago
  
  4110bd8e
May 31, 2017
- Refactoring ProVerif results to be objects instead of strings · 79cdcd29
  Florian Lugou authored 7 years ago
  
  79cdcd29