Commits · 7106e3da60b56c393c52ae66e4c91a745482a0ab · mbe-tools / TTool

Aug 29, 2018
- Set order of tasks in task trace · c7d32ade
  Letitia Li authored 6 years ago
  
  c7d32ade
Aug 20, 2018
- Allow selection of tasks for sim traces · d056c666
  Letitia Li authored 6 years ago
  
  d056c666
Jun 21, 2018
- Removing useless system.out.println · 7eb4648f
  apvrille authored 6 years ago
  
  7eb4648f
Dec 07, 2017
- Simulator fixes · aa8937eb
  Letitia Li authored 7 years ago and Fabien Tessier committed 7 years ago
  
  aa8937eb
Nov 24, 2017
- Simulator fixes · ee146433
  Letitia Li authored 7 years ago
  
  ee146433
Jul 04, 2017
- Mostly complete DIPLODOCUS sim traces · d919a3bf
  Letitia Li authored 7 years ago
  
  d919a3bf
- Mostly complete DIPLODOCUS sim traces · 6cebae01
  Letitia Li authored 7 years ago
  
  6cebae01
Jul 01, 2017
- Fixed sim traces for DIPLODOCUS · e3388185
  Letitia Li authored 7 years ago
  
  e3388185
Jun 27, 2017
- Showing TML Simulations · ccc69ba6
  Letitia Li authored 7 years ago
  
  ccc69ba6
Jun 19, 2017
- fixed bug with simulation window (index out of range) · 29d7f807
  Florian Lugou authored 7 years ago
  
  29d7f807
- unified end-of-lines in files that presented mixed '\r', '\n' and '\r\n' · 1820b202
  Florian Lugou authored 7 years ago
  
  1820b202
Jun 16, 2017
- automatically corrected copyright to be normal multiline comments · fb7ec410
  Florian Lugou authored 7 years ago
  
  fb7ec410
Jun 12, 2017
- Added new compilation flags for warnings and cleaned up code · c8d455a6
  Florian Lugou authored 7 years ago
  
  c8d455a6
Jun 09, 2017
- Gradle Setup · bdfe1c5a
  Florian Lugou authored 7 years ago
  
  bdfe1c5a
Jun 04, 2017
- changed ProVerif output analysis to print results in real time · 36de1efb
  Florian Lugou authored 7 years ago
  
  36de1efb
Jun 02, 2017
- optimize import · b3bc95f5
  Florian Lugou authored 7 years ago
  
  b3bc95f5
May 31, 2017
- End of ProVerif trace reconstruction · 05413902
  Florian Lugou authored 7 years ago
  
  05413902
Jan 10, 2012
- DIPLO: removing arrows on links between hw nodes and buses · 51dfa512
  Ludovic Apvrille authored 13 years ago
  
  51dfa512
Jun 20, 2011
- AVATAR prototyping: bug corrcted on time analysis in transactions · bf982b79
  Ludovic Apvrille authored 13 years ago
  
  bf982b79
- AVATAR prototyping: exception text enhanced · 55fa4574
  Ludovic Apvrille authored 13 years ago
  
  55fa4574
Jun 10, 2011
- Avatar: Update on code generation: gui, generated code and trace analyzer · 910ba0a2
  Ludovic Apvrille authored 13 years ago
  
  910ba0a2
- AVATAR: Update on executable code SD panel · 16307aed
  Ludovic Apvrille authored 13 years ago
  
  16307aed
Jun 09, 2011
- AVATAR: tracing of async req · a705bf52
  Ludovic Apvrille authored 13 years ago
  
  a705bf52
Jun 08, 2011
- Avatar Simulation: bug on silent transitions resolved · 7984499a
  Ludovic Apvrille authored 13 years ago
  
  7984499a
Jun 06, 2011
- AVATAR: Update on simulation for executable code · 2dd8f257
  Ludovic Apvrille authored 13 years ago
  
  2dd8f257
- AVATAR: update on simulation panel + update on executable code · 5a56b49b
  Ludovic Apvrille authored 13 years ago
  
  5a56b49b
May 27, 2011
- AVATAR code genetator: Update on tracing functions + graphical interface to visuliaze traces · 010a24cc
  Ludovic Apvrille authored 13 years ago
  
  010a24cc