Commits · 144d51b47df189a19a2283a5e0b9f5ee1b116ec0 · mbe-tools / TTool

Jun 09, 2017
- Gradle Setup · bdfe1c5a
  Florian Lugou authored 7 years ago
  
  bdfe1c5a
Jun 02, 2017
- Update on network manager · 86ed9cc8
  apvrille authored 7 years ago
  
  86ed9cc8
- optimize import · b3bc95f5
  Florian Lugou authored 7 years ago
  
  b3bc95f5
Jun 01, 2017
- Updating network model management · e11880f5
  apvrille authored 7 years ago
  
  e11880f5
May 31, 2017
- 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
May 30, 2017
- 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
May 24, 2017
- Issue #42 : Bug in undo management + code cleanup · ccc01d4e
  Dominique Blouin authored 7 years ago
  
  ccc01d4e
- Resolving bug on plugin management · 2326af8e
  apvrille authored 7 years ago
  
  2326af8e
- Update on plugin management system · f1de1a45
  apvrille authored 7 years ago
  
  f1de1a45
May 05, 2017
- some fixes for library functions · a5544b33
  Florian Lugou authored 7 years ago
  
  a5544b33
Apr 24, 2017
- Issue #17 fixed copy paste error on indices in many of the · eb71a066
  Dominique Blouin authored 8 years ago
  eb71a066
Apr 04, 2017
- Issue #4 : HTML Simulator Output Missing Style · 466fa056
  Dominique Blouin authored 8 years ago
  
  466fa056
- Update on clone management · 840de4be
  apvrille authored 8 years ago
  
  840de4be
Mar 22, 2017
- Update on load process · c7543a95
  apvrille authored 8 years ago
  
  c7543a95
- Update on GTURTLEModeling · 54a6d782
  apvrille authored 8 years ago
  
  54a6d782
Mar 21, 2017
- Update on TTool uppaal diplo management · 8c255280
  apvrille authored 8 years ago
  
  8c255280
- Update on uppaal gen · 3b08c7bc
  Ludovic Apvrille authored 8 years ago
  
  3b08c7bc
Mar 20, 2017
- Update on icon management in diplo · 8403db06
  apvrille authored 8 years ago
  
  8403db06
- Update on dialog windows · 9784cc71
  apvrille authored 8 years ago
  
  9784cc71
Mar 16, 2017
- Finishing joinevent in functional views · 95a748fa
  apvrille authored 8 years ago
  
  95a748fa
- HSM generation revision 1 · de5ded1a
  Letitia Li authored 8 years ago
  
  de5ded1a
Mar 14, 2017
- update · 59390863
  Daniela Genius authored 8 years ago
  
  59390863
Mar 10, 2017
- Update on SD management · d81c0d9d
  apvrille authored 8 years ago
  
  d81c0d9d
Mar 07, 2017
- Finishing zoom on UCD · d5d95b50
  Ludovic Apvrille authored 8 years ago
  
  d5d95b50
- Update on UCD: zoom draft · 6e4080bc
  Ludovic Apvrille authored 8 years ago
  
  6e4080bc
- Issue #17 : Limit the size of opening dialogs to the size of the screen + · d83bec61
  Dominique Blouin authored 8 years ago
  d83bec61
Feb 23, 2017
- doc TTool soclib : update on Makefile · bee0d6fe
  Ludovic Apvrille authored 8 years ago
  
  bee0d6fe
Feb 21, 2017
- activating internal model checker · 2e6277ec
  Ludovic Apvrille authored 8 years ago
  
  2e6277ec
Feb 20, 2017
- Refactoring of MainGui: putting away mode management · 253233c9
  Ludovic Apvrille authored 8 years ago
  
  253233c9
Feb 19, 2017
- Refactoring of MainGUI: moving Mode management in another class · 45034e10
  Ludovic Apvrille authored 8 years ago
  
  45034e10
- Adding actionperformer class · cb6d2345
  Ludovic Apvrille authored 8 years ago
  
  cb6d2345
- Refactoring of MainGUI: putting in ActionPerformer the huge ifthenelse on... · b9ebb20e
  Ludovic Apvrille authored 8 years ago
  b9ebb20e
- Changing the Proverif dialog window · d8c3641b
  Ludovic Apvrille authored 8 years ago
  
  d8c3641b
Feb 08, 2017
- Interactive Simulation switching to checkpoint element · 9d0bc462
  Letitia Li authored 8 years ago
  
  9d0bc462
Feb 06, 2017
- Syntax checking also from Deployment Diagram · ac28d04c
  Daniela Genius authored 8 years ago
  
  ac28d04c
Feb 02, 2017
- Issue #18 : Made the simulator dialog box wider · 93e7c0b6
  Dominique Blouin authored 8 years ago
  
  93e7c0b6
Feb 01, 2017
- Resolving bug on graph path · 84b29b02
  apvrille authored 8 years ago
  
  84b29b02