Commits · 4437fcf2b4271c2e42d94d1b0999604994403106 · mbe-tools / TTool

Jun 27, 2017
- Update on TTool: code generation in Avatar, modifying custom method definition · 4437fcf2
  apvrille authored 7 years ago
  
  4437fcf2
Jun 26, 2017
- Update on block click management · f962b7ac
  apvrille authored 7 years ago
  
  f962b7ac
- Update on executable code: pressure controller · 328adbc5
  apvrille authored 7 years ago
  
  328adbc5
- Compilation error on java pressure controller graphical interface resolved · 4da344d7
  apvrille authored 7 years ago
  
  4da344d7
- Adding example java file on pressure manager · 8cefa28e
  Ludovic Apvrille authored 7 years ago
  
  8cefa28e
Jun 23, 2017
- Update on TMLMapping indent · 60c2e82d
  Ludovic Apvrille authored 7 years ago
  
  60c2e82d
- Starting to work on Pressure Controller code example · a46a3e85
  Ludovic Apvrille authored 7 years ago
  
  a46a3e85
Jun 19, 2017
- Update on example of graphical interface · a75d5044
  apvrille authored 7 years ago
  
  a75d5044
- Update on text for avatar blocks · 525724e3
  Ludovic Apvrille authored 7 years ago
  
  525724e3
Jun 15, 2017
- Update on Makefile: management on avatar doc · f6507894
  apvrille authored 7 years ago
  
  f6507894
Jun 13, 2017
- Adding doc for code generation · 4042eb9e
  Ludovic Apvrille authored 7 years ago
  
  4042eb9e
May 17, 2017
- Resolving bug on no next operator · bd7a4a6c
  Ludovic Apvrille authored 7 years ago
  
  bd7a4a6c
Feb 15, 2017
- Resolving bug on CPU diplo dialog · 82d3fdb6
  apvrille authored 8 years ago
  
  82d3fdb6
Feb 06, 2017
- model of Banque courtois · 17fc7ffb
  apvrille authored 8 years ago
  
  17fc7ffb
Feb 01, 2017
- Latency measurement fix for elements of the same name · 8a365f99
  Letitia Li authored 8 years ago
  
  8a365f99
Jan 19, 2017
- Update on signal association info in TTool avatar design · 89f342e4
  apvrille authored 8 years ago
  
  89f342e4
Jul 05, 2016
- Update on TTool -> Bug on model checker · 8efc5ce9
  Ludovic Apvrille authored 8 years ago
  
  8efc5ce9
Jun 10, 2016
- Update on information for avatar model checker · a87e8994
  Ludovic Apvrille authored 8 years ago
  
  a87e8994
Apr 11, 2016
- integrated vci_logger · 5a8d2360
  Daniela Genius authored 8 years ago
  
  5a8d2360
Mar 24, 2016
- Update on replaceOp · e2be02ea
  Ludovic Apvrille authored 9 years ago
  
  e2be02ea
- Update on webcrawler · 0a71e411
  Ludovic Apvrille authored 9 years ago
  
  0a71e411
Feb 08, 2016
- MPSoC · fa850043
  Daniela Genius authored 9 years ago
  
  fa850043
Jan 12, 2016
- erts2016assumptions · e3e9141b
  Ludovic Apvrille authored 9 years ago
  
  e3e9141b
Jan 08, 2016
- merged · 3e574cfd
  Daniela Genius authored 9 years ago
  
  3e574cfd
- merged · 7a83d145
  Daniela Genius authored 9 years ago
  
  7a83d145
- merged · 482e2665
  Daniela Genius authored 9 years ago
  
  482e2665
- merged · 87e946af
  Daniela Genius authored 9 years ago
  
  87e946af
Jan 07, 2016
- Rejecting commit by Daniela · cd5c1978
  Ludovic Apvrille authored 9 years ago
  
  cd5c1978
Jan 06, 2016
- merged · 830a05e2
  Daniela Genius authored 9 years ago
  
  830a05e2
Dec 11, 2015
- Update on TTool demo · 120a3083
  Ludovic Apvrille authored 9 years ago
  
  120a3083
Nov 06, 2015
- Execution Thread reads Error Stream as well · 28efdc0c
  Letitia Li authored 9 years ago
  
  28efdc0c
Nov 04, 2015
- Resolving bug when parsing empty AVATAR functions · 3363e4fc
  Ludovic Apvrille authored 9 years ago
  
  3363e4fc
Oct 28, 2015
- Update on graphical bug: adding several connectors on one connecting point · 184b2c67
  Ludovic Apvrille authored 9 years ago
  
  184b2c67
- Update on code for avatar translation · b23d7030
  Ludovic Apvrille authored 9 years ago
  
  b23d7030
Sep 17, 2015
- Update on zooms management and UML notes · c0d9438b
  Ludovic Apvrille authored 9 years ago
  
  c0d9438b
Aug 27, 2015
- Update on guards management by ProVerif · 5dbec196
  Ludovic Apvrille authored 9 years ago
  
  5dbec196
May 11, 2015
- Adding icons to avatar deplyment diagrams · b1b4581a
  Ludovic Apvrille authored 9 years ago
  
  b1b4581a
Apr 15, 2015
- Adding support for validation / verification of attack trees · 6ef7f0c8
  Ludovic Apvrille authored 9 years ago
  
  6ef7f0c8
Mar 20, 2015
- Update on proverif translator · 8a204dde
  Ludovic Apvrille authored 10 years ago
  
  8a204dde
Mar 17, 2015
- add /src/myutil/CheckConnection.java for checking network connection; add... · 6f05f7f2
  Dominique Blouin authored 10 years ago
  
  add /src/myutil/CheckConnection.java for checking network connection; add popups to notify errors in SearhBox
  6f05f7f2