Commits · 3d24ac3dd61dc5a493e47d2d495501cabb10647c · mbe-tools / TTool · GitLab

Snippets Groups Projects

May 31, 2017
- Update on TTool management · 3d24ac3d
  apvrille authored 7 years ago
  
  3d24ac3d
- 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
- 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
- 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
- Merge branch 'master' of git@gitlab.enst.fr:mbe-tools/TTool.git · e5965615
  Dominique Blouin authored 7 years ago
  
  e5965615
- Issue #42 : Bug in undo management + code cleanup · ccc01d4e
  Dominique Blouin authored 7 years ago
  
  ccc01d4e
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · bd3d3a8c
  apvrille authored 7 years ago
  
  bd3d3a8c
- Update on TTool plugin · a429b778
  apvrille authored 7 years ago
  
  a429b778
- Merge branch 'master' of git@gitlab.enst.fr:mbe-tools/TTool.git · 98fb8062
  Dominique Blouin authored 7 years ago
  
  98fb8062
- Code cleanup. · 062ae25e
  Dominique Blouin authored 7 years ago
  
  062ae25e
- Updating doc on plugins · 1f300f91
  apvrille authored 7 years ago
  
  1f300f91
- Resolving bug on plugin management · 2326af8e
  apvrille authored 7 years ago
  
  2326af8e
- Update on plugin management system · f1de1a45
  apvrille authored 7 years ago
  
  f1de1a45
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · 538dfcaf
  Ludovic Apvrille authored 7 years ago
  
  538dfcaf
- Adding customizer · 21f01d2d
  Ludovic Apvrille authored 7 years ago
  
  21f01d2d
- 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
- Explanation on how to use a plugin · ee0f68df
  Ludovic Apvrille authored 7 years ago
  
  ee0f68df
- Adding plugin mechanism · 0d70043a
  Ludovic Apvrille authored 7 years ago
  
  0d70043a
- Very first plugin structure · 71f266e6
  Ludovic Apvrille authored 7 years ago
  
  71f266e6
- fixed issue 40 · 95d408e4
  Florian Lugou authored 7 years ago
  
  95d408e4