Commits · 9e65d835063783af41dbb0df41e9cca6de49ba3f · mbe-tools / TTool

Jun 02, 2017
- Update on network models: management of properties · 9e65d835
  apvrille authored 7 years ago
  
  9e65d835
- update on build version: builder.txt · 9b2e48ea
  apvrille authored 7 years ago
  
  9b2e48ea
Jun 01, 2017
- More tml2avatar fixes so signal names match · 4110bd8e
  Letitia Li authored 7 years ago
  
  4110bd8e
- Updating network model management · 0cbc9c49
  apvrille authored 7 years ago
  
  0cbc9c49
- Updating network model management · e11880f5
  apvrille authored 7 years ago
  
  e11880f5
- update on build version: builder.txt · 9b0a5a47
  apvrille authored 7 years ago
  
  9b0a5a47
May 31, 2017
- Update on TTool management · 3d24ac3d
  apvrille authored 7 years ago
  
  3d24ac3d
- fixed ProVerif Output analysis for TML · ef939ab6
  Florian Lugou authored 7 years ago
  
  ef939ab6
- Update on network model loading · 694147da
  apvrille authored 7 years ago
  
  694147da
- 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
- TML2Proverif fixes for MACs · 6231c878
  Letitia Li authored 7 years ago
  
  6231c878
- update on build version: builder.txt · e620fd2d
  apvrille authored 7 years ago
  
  e620fd2d
May 30, 2017
- Update on button management for network model · 7dd776b9
  Ludovic Apvrille authored 7 years ago
  
  7dd776b9
- Update on network model. Can now load remote model desc file, but cannot yet display them · 7f7dfc3e
  Ludovic Apvrille authored 7 years ago
  
  7f7dfc3e
- Issue #41 : Ordering of tabbed panes · 37309001
  Dominique Blouin authored 7 years ago
  
  37309001
- First sketch for laoding model from networks. Not yet functional, juste the class structure · d2606963
  Ludovic Apvrille authored 7 years ago
  
  d2606963
- update on build version: builder.txt · 72fa2e5e
  apvrille authored 7 years ago
  
  72fa2e5e
May 29, 2017
- TML verification update · c5d0bf02
  Letitia Li authored 7 years ago
  
  c5d0bf02
- update on build version: builder.txt · baa5f84b
  apvrille authored 7 years ago
  
  baa5f84b
May 28, 2017
- update on build version: builder.txt · e34be30d
  apvrille authored 7 years ago
  
  e34be30d
May 27, 2017
- update on build version: builder.txt · 427ff856
  apvrille authored 7 years ago
  
  427ff856
May 26, 2017
- update on build version: builder.txt · f7909c77
  apvrille authored 7 years ago
  
  f7909c77
May 25, 2017
- update on build version: builder.txt · 8cff3618
  apvrille authored 7 years ago
  
  8cff3618
May 24, 2017
- Issue #42 : Bug in undo management + code cleanup · ccc01d4e
  Dominique Blouin authored 7 years ago
  
  ccc01d4e
- Code cleanup. · 062ae25e
  Dominique Blouin authored 7 years ago
  
  062ae25e
- Resolving bug on plugin management · 2326af8e
  apvrille authored 7 years ago
  
  2326af8e
- Update on plugin management system · f1de1a45
  apvrille authored 7 years ago
  
  f1de1a45
- update on build version: builder.txt · 2e54f1b8
  apvrille authored 7 years ago
  
  2e54f1b8
- update on build version: builder.txt · cb137c25
  apvrille authored 7 years ago
  
  cb137c25
May 23, 2017
- Adding plugin mechanism · 0d70043a
  Ludovic Apvrille authored 7 years ago
  
  0d70043a
- update on build version: builder.txt · 3b10c550
  apvrille authored 7 years ago
  
  3b10c550
May 22, 2017
- update on build version: builder.txt · 61cdf343
  apvrille authored 7 years ago
  
  61cdf343
- added latency measurement checkpoints to avatar · 35f1655a
  Letitia Li authored 7 years ago
  
  35f1655a
- update on build version: builder.txt · 3bc10228
  apvrille authored 7 years ago
  
  3bc10228
May 21, 2017
- update on build version: builder.txt · fdf8a38f
  apvrille authored 7 years ago
  
  fdf8a38f
May 20, 2017
- update on build version: builder.txt · bc356414
  apvrille authored 7 years ago
  
  bc356414
May 19, 2017
- HSM and auto generation fixes · 5bcb2825
  Letitia Li authored 7 years ago
  
  5bcb2825