Commits · 09f4cc45aa913d6e7d9367ffbcba361553062b4b · mbe-tools / TTool · GitLab

Snippets Groups Projects

Jun 05, 2017
- update on build version: builder.txt · 09f4cc45
  apvrille authored 7 years ago
  
  09f4cc45
Jun 04, 2017
- changed ProVerif output analysis to print results in real time · 36de1efb
  Florian Lugou authored 7 years ago
  
  36de1efb
- update on build version: builder.txt · 43e3e594
  apvrille authored 7 years ago
  
  43e3e594
Jun 03, 2017
- update on build version: builder.txt · 033ecaec
  apvrille authored 7 years ago
  
  033ecaec
Jun 02, 2017
- segment numbering · 665eb46a
  Daniela Genius authored 7 years ago
  
  665eb46a
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · d04cb439
  Daniela Genius authored 7 years ago
  
  d04cb439
- syncchannels suite et fin · 74bd3a8f
  Daniela Genius authored 7 years ago
  
  74bd3a8f
- Update on network manager · 86ed9cc8
  apvrille authored 7 years ago
  
  86ed9cc8
- optimize import · b3bc95f5
  Florian Lugou authored 7 years ago
  
  b3bc95f5
- 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
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · 612e7ebd
  Letitia Li authored 7 years ago
  
  612e7ebd
- 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
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · 37efe779
  apvrille authored 7 years ago
  
  37efe779
- Update on TTool management · 3d24ac3d
  apvrille authored 7 years ago
  
  3d24ac3d
- TML2Proverif fix · 4f51c934
  Letitia Li authored 7 years ago
  
  4f51c934
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · 139aae32
  Letitia Li authored 7 years ago
  
  139aae32
- 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
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · 80260c94
  Letitia Li authored 7 years ago
  
  80260c94
- Still fixing TML2Proverif ... · 468c43b6
  Letitia Li authored 7 years ago
  
  468c43b6
- 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
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · 5481e339
  Letitia Li authored 7 years ago
  
  5481e339
- 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
- Merge branch 'master' of git@gitlab.enst.fr:mbe-tools/TTool.git · 80c7df9f
  Dominique Blouin authored 7 years ago
  
  Conflicts: src/ui/MainGUI.java
  80c7df9f
- 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
- Avatar Authenticity pragma translatio fix · 20da199e
  Letitia Li authored 7 years ago
  
  20da199e
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · 4c1a32f8
  Letitia Li authored 7 years ago
  
  4c1a32f8
- TML verification update · c5d0bf02
  Letitia Li authored 7 years ago
  
  c5d0bf02