Commits · 8e5551525973e1fde12d96e19146113f0b6bd1b0 · mbe-tools / TTool

Nov 25, 2016
- Update on graph viz. from TTool · e9405089
  apvrille authored 8 years ago
  
  e9405089
Nov 03, 2016
- Firewall patch for latency · ea8e001c
  Letitia Li authored 8 years ago
  
  ea8e001c
Nov 02, 2016
- Firewall added on seperate diagram · 73799ebc
  Letitia Li authored 8 years ago
  
  73799ebc
Oct 31, 2016
- added infinite loop to firewall translation · 8d0c1a68
  Letitia Li authored 8 years ago
  
  8d0c1a68
Oct 28, 2016
- Attempt to fix UPPAAL safety pragma 2 · 60351cb6
  Letitia Li authored 8 years ago
  
  60351cb6
- Attempt to fix UPPAAL safety pragma · 6eedd142
  Letitia Li authored 8 years ago
  
  6eedd142
- TML2Avatar data types added · 36872b13
  Letitia Li authored 8 years ago
  
  36872b13
- Updating info on R and L on avatar models with UPPAAL verification · c83475dd
  apvrille authored 8 years ago
  
  c83475dd
Oct 27, 2016
- DSE null pointer exception fix · 4a56e997
  Letitia Li authored 8 years ago
  
  4a56e997
Oct 24, 2016
- corrige bug vgmn · 7e76f80d
  Daniela Genius authored 8 years ago
  
  7e76f80d
Oct 20, 2016
- Firewall activity diagram · 093c2764
  Letitia Li authored 8 years ago
  
  093c2764
Oct 19, 2016
- Firewall modeling · 1997c8c0
  Letitia Li authored 8 years ago
  
  1997c8c0
Oct 17, 2016
- Firewall changes · 77d8b498
  Letitia Li authored 8 years ago
  
  77d8b498
Oct 16, 2016
- Update on generated design · 663ae24d
  Ludovic Apvrille authored 8 years ago
  
  663ae24d
Oct 14, 2016
- renamed Ccode to CCode · b0532970
  Ludovic Apvrille authored 8 years ago
  
  b0532970
Oct 13, 2016
- drawpanel casting fix · 9d678d63
  Letitia Li authored 8 years ago
  
  9d678d63
Oct 12, 2016
- Provide API to limit dialog boxes sizes to the size of the screen + cleanup · 30723291
  Dominique Blouin authored 8 years ago
  
  30723291
- Cleaned imports · 214e4533
  Dominique Blouin authored 8 years ago
  
  214e4533
- Cleaned imports + removed unused stuff · 42ca4dc3
  Dominique Blouin authored 8 years ago
  
  42ca4dc3
- Cleaned imports + removed unused stuff · 27296630
  Dominique Blouin authored 8 years ago
  
  27296630
- Cleaned imports · b8b28faf
  Dominique Blouin authored 8 years ago
  
  b8b28faf
- Cleaned imports + removed unused stuff + generics for combo boxes · 9d6a0243
  Dominique Blouin authored 8 years ago
  
  9d6a0243
Oct 11, 2016
- Update on FIFO model checker management · eaad7d66
  Ludovic Apvrille authored 8 years ago
  
  eaad7d66
Oct 06, 2016
- Update on TTool code · a6a84d00
  Ludovic Apvrille authored 8 years ago
  
  a6a84d00
Sep 27, 2016
- Update on requirements kind - request by pdss · 69f22c2a
  Ludovic Apvrille authored 8 years ago
  
  69f22c2a
Sep 23, 2016
- Update on demo netcom · 7558b35e
  Ludovic Apvrille authored 8 years ago
  
  7558b35e
Sep 22, 2016
- Update on windows management for liveness avatar model checker · 110d8889
  Ludovic Apvrille authored 8 years ago
  
  110d8889
Sep 21, 2016
- Update on avatar model checker · 8fb5cc5b
  Ludovic Apvrille authored 8 years ago
  
  8fb5cc5b
Sep 20, 2016
- Update on model checker backtracing · ddc65eae
  Ludovic Apvrille authored 8 years ago
  
  ddc65eae
Sep 19, 2016
- Update on reachability/liveness management · c8f608e9
  Ludovic Apvrille authored 8 years ago
  
  c8f608e9
- Update on reachability/liveness management · 55a9868a
  Ludovic Apvrille authored 8 years ago
  
  55a9868a
- Update on reachability/liveness management · 59a98081
  Ludovic Apvrille authored 8 years ago
  
  59a98081
Sep 16, 2016
- nocolor verification · f12c4f1d
  Letitia Li authored 8 years ago
  
  f12c4f1d
Sep 12, 2016

renamed package ctranslator to modelcompiler and started to build the software... · 94c0682e

renamed package ctranslator to modelcompiler and started to build the software architecture of a model compiler to generate control code from models

94c0682e

Sep 09, 2016
- Corrected bug when a CP mapping artifact is instantiated in a design that does not contain CPs · 01ac60a8
  Ludovic Apvrille authored 8 years ago
  
  01ac60a8
Sep 01, 2016
- dse changes · d2377d79
  Letitia Li authored 8 years ago
  
  d2377d79
Aug 26, 2016
- date paper · 933d6ffd
  Letitia Li authored 8 years ago
  
  933d6ffd
Aug 25, 2016
- ADEcnrypt fix · e35193c4
  Letitia Li authored 8 years ago
  
  e35193c4
- Encryption icon · 0e9a8a2c
  Letitia Li authored 8 years ago
  
  0e9a8a2c
- corrected bug in the creation of the list of ports available for mapping onto... · 80f7c422
  Ludovic Apvrille authored 8 years ago and Andrea Enrici committed 8 years ago
  
  corrected bug in the creation of the list of ports available for mapping onto CPs: the same port was listed multiple times due to the presence of join nodes
  80f7c422