Commits · f7776204da63aab4b16d56c2da2fec0345d32b19 · mbe-tools / TTool

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 uppaaal gen · d2d2271e
  Ludovic Apvrille authored 8 years ago
  
  d2d2271e
- Update on TTool uppaal diplo management · 8c255280
  apvrille authored 8 years ago
  
  8c255280
- Addind uppaal dir · d1663776
  Ludovic Apvrille authored 8 years ago
  
  d1663776
Mar 20, 2017
- Update on icon management in diplo · 8403db06
  apvrille authored 8 years ago
  
  8403db06
- Update on TTool icons · c81f0ed9
  apvrille authored 8 years ago
  
  c81f0ed9
- 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
- Adding checking for events compatibility · b9acb462
  apvrille authored 8 years ago
  
  b9acb462
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
- Adding diplo testing model · 90836435
  Ludovic Apvrille authored 8 years ago
  
  90836435
Mar 14, 2017
- update · 59390863
  Daniela Genius authored 8 years ago
  
  59390863
Mar 10, 2017
- Update on SD · 19dad8bf
  apvrille authored 8 years ago
  
  19dad8bf
- Resolving bug on loading SDZV · 83521b17
  apvrille authored 8 years ago
  
  83521b17
Mar 09, 2017
- Update on SD management · 4701b46c
  Ludovic Apvrille authored 8 years ago
  
  4701b46c
- Resolving connecting point bug on zoom · f4d2a8aa
  Ludovic Apvrille authored 8 years ago
  
  f4d2a8aa
- Update on TTool management · 0c25f66a
  apvrille authored 8 years ago
  
  0c25f66a
- Resolving bug on ProVerif generation · 9cf13a2e
  apvrille authored 8 years ago
  
  9cf13a2e
- Resolving bug on ProVerif generation · a4fb0c52
  apvrille authored 8 years ago
  
  a4fb0c52
- Update on aliceAndBob · 9f334118
  Ludovic Apvrille authored 8 years ago
  
  9f334118
- Update on aliceAndBob · 8a5c3f02
  Ludovic Apvrille authored 8 years ago
  
  8a5c3f02
- Update on sdinstance zoom · 0025d1ef
  Ludovic Apvrille authored 8 years ago
  
  0025d1ef
- Adding model for testing TTool · 0e86119b
  apvrille authored 8 years ago
  
  0e86119b
Mar 08, 2017
- Adding zoom to AD diagrams · d3f36722
  apvrille authored 8 years ago
  
  d3f36722
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
- Adding ISAE model on the FANS system · b022ee5f
  Ludovic Apvrille authored 8 years ago
  
  b022ee5f
Feb 20, 2017
- Better UI for pragma syntax checking · d0a87f7f
  Letitia Li authored 8 years ago
  
  d0a87f7f
Feb 19, 2017
- Changing the Proverif dialog window · d8c3641b
  Ludovic Apvrille authored 8 years ago
  
  d8c3641b
Feb 16, 2017
- AvatarBD security result fix · 152b7945
  Letitia Li authored 8 years ago
  
  152b7945
Feb 08, 2017
- :updates · 87be84de
  Daniela Genius authored 8 years ago
  
  87be84de
Feb 06, 2017
- Module banque · 2645b51f
  Ludovic Apvrille authored 8 years ago
  
  2645b51f
- model of Banque courtois · 17fc7ffb
  apvrille authored 8 years ago
  
  17fc7ffb
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