Commits · 5417a6d7f7bd71c5e6f81dacb470b3c60cb5605b · mbe-tools / TTool

Sep 20, 2017
- Modifying size of minimization frame · 5417a6d7
  apvrille authored 7 years ago
  
  5417a6d7
Jul 13, 2017
- Updating graphical component public plugin · b45e1b33
  apvrille authored 7 years ago
  
  b45e1b33
Jul 07, 2017
- Mapping to XML: adding hwNode · 0be04330
  apvrille authored 7 years ago
  
  0be04330
Jun 02, 2017
- Update on network manager · 86ed9cc8
  apvrille authored 7 years ago
  
  86ed9cc8
Mar 15, 2017

Update on join for events. Still not functional. Noticed errors on evts... · ed8fb46c

apvrille authored 8 years ago

Update on join for events. Still not functional. Noticed errors on evts connection management for detecting incompatiblities on attributes

ed8fb46c

Feb 23, 2017
- doc TTool soclib : update on Makefile · bee0d6fe
  Ludovic Apvrille authored 8 years ago
  
  bee0d6fe
Feb 03, 2017
- Adding support for Java 7 · 6e3f7928
  apvrille authored 8 years ago
  
  6e3f7928
Feb 01, 2017
- Resolving bug on graph path · 84b29b02
  apvrille authored 8 years ago
  
  84b29b02
- Update on RG management with Diplo/explo · 94978969
  Ludovic Apvrille authored 8 years ago
  
  94978969
- Updating manipulation of graphs in diplo · c8a8dfed
  Ludovic Apvrille authored 8 years ago
  
  c8a8dfed
- Modifying handling of diplo RGs · f43944d8
  apvrille authored 8 years ago
  
  f43944d8
- Update on simulator RG generation · e1f4cb7b
  Ludovic Apvrille authored 8 years ago
  
  e1f4cb7b
Dec 12, 2016
- Rearrange models in TTool · 7fe75958
  Ludovic Apvrille authored 8 years ago
  
  7fe75958
Nov 07, 2016
- Update on simulation penalties · 39def9e7
  Ludovic Apvrille authored 8 years ago
  
  39def9e7
Oct 13, 2016
- Update on diplodocus loop representation · 66bea471
  Ludovic Apvrille authored 8 years ago
  
  66bea471
- Diplodocus: resolving bug on for loop management in task activity diagram · 643b87c1
  Ludovic Apvrille authored 8 years ago
  
  643b87c1
Sep 16, 2016
- Update on accessibility computing · 70d3a3e2
  Ludovic Apvrille authored 8 years ago
  
  70d3a3e2
Aug 23, 2016
- Resolving bug on UPPAAL generation from TML app · 35ebe139
  Ludovic Apvrille authored 8 years ago
  
  35ebe139
Aug 02, 2016
- Update suggested by Dominique · 83560e6c
  Ludovic Apvrille authored 8 years ago
  
  83560e6c
Jul 06, 2016
- Update on model checker · b42622e3
  Ludovic Apvrille authored 8 years ago
  
  b42622e3
Jul 05, 2016
- Update on TTool -> Bug on model checker · 8efc5ce9
  Ludovic Apvrille authored 8 years ago
  
  8efc5ce9
Jun 23, 2016
- Update on avatar modelc checker · 45142b88
  Ludovic Apvrille authored 8 years ago
  
  45142b88
Mar 24, 2016
- DIPLODOCUS Encrypt and Decrypt · eadf4efb
  Letitia Li authored 9 years ago
  
  eadf4efb
- Update on crawler · 66a8c453
  Ludovic Apvrille authored 9 years ago
  
  66a8c453
Mar 03, 2016
- Update on documentation · 2ef4e3e4
  Ludovic Apvrille authored 9 years ago
  
  2ef4e3e4
- Update on code generation · 095c2d6f
  Ludovic Apvrille authored 9 years ago
  
  095c2d6f
- Update on smartcardonctroller · 8be43d32
  Ludovic Apvrille authored 9 years ago
  
  8be43d32
Mar 02, 2016
- UpdateOnLatexCodeGeneration · 448cf313
  Ludovic Apvrille authored 9 years ago
  
  448cf313
Mar 01, 2016
- updatedocgenerator · 78f39b24
  Ludovic Apvrille authored 9 years ago
  
  78f39b24
Feb 29, 2016
- update on doc gen. · a1d3d015
  Ludovic Apvrille authored 9 years ago
  
  a1d3d015
Feb 20, 2016
- Update on smartCardProtocol · 8895110d
  Ludovic Apvrille authored 9 years ago
  
  8895110d
Jan 25, 2016
- Resolvingloadpbwithatacktrees · 75ebde22
  Ludovic Apvrille authored 9 years ago
  
  75ebde22
Dec 11, 2015
- Resolving bug on UPPAAL window in DIPLO · 4c4950f4
  Ludovic Apvrille authored 9 years ago
  
  4c4950f4
Dec 04, 2015
- Update on psi chart panel · 5e6387c8
  Ludovic Apvrille authored 9 years ago
  
  5e6387c8
- Update on psi chart panel · 1631b6cb
  Ludovic Apvrille authored 9 years ago
  
  1631b6cb
Dec 01, 2015
- Adding the possibility to set a a crypto or a non crypto block from a right click · a733cd81
  Ludovic Apvrille authored 9 years ago
  
  a733cd81
Apr 15, 2015
- started to correct compilation errors · abdc72d3
  Andrea Enrici authored 9 years ago
  
  abdc72d3
Jan 19, 2015
- No commit message · c24cec20
  Andrea Enrici authored 10 years ago
  
  No commit message
  c24cec20
Oct 06, 2014
- Resolving bug on SD gneration · 848d7819
  Ludovic Apvrille authored 10 years ago
  
  848d7819
Aug 12, 2014
- Resolving bug on diplo simulation options · 3b685813
  Ludovic Apvrille authored 10 years ago
  
  3b685813