Commits · 9b082db8c0d65a41cd399bb5aeac62d0bdd47c9f · mbe-tools / TTool

Jun 09, 2017
- Gradle Setup · bdfe1c5a
  Florian Lugou authored 7 years ago
  
  bdfe1c5a
Jan 30, 2017
- added monitoring of cache transfers · c1221360
  Daniela Genius authored 8 years ago
  
  c1221360
Feb 22, 2016
- Correcting bug by pdss · f4b55538
  Ludovic Apvrille authored 9 years ago
  
  f4b55538
- Update on coverage information · a75b8a30
  Ludovic Apvrille authored 9 years ago
  
  a75b8a30
- Update on coverage: not yet finished... · 3b687729
  Ludovic Apvrille authored 9 years ago
  
  3b687729
- Coverage · 480c2c1a
  Ludovic Apvrille authored 9 years ago
  
  480c2c1a
Feb 20, 2016
- Update on met elements in avatar simulations · d3cb9398
  Ludovic Apvrille authored 9 years ago
  
  d3cb9398
Oct 29, 2015
- Update on many avatar simulation enhancements · 9e9d900e
  Ludovic Apvrille authored 9 years ago
  
  9e9d900e
Apr 15, 2015
- Adding support for validation / verification of attack trees · 6ef7f0c8
  Ludovic Apvrille authored 9 years ago
  
  6ef7f0c8
Mar 30, 2015
- Resolving bug on the window of avatar simulation: exception when no asynchronous channel · 363a6e29
  Ludovic Apvrille authored 10 years ago
  
  363a6e29
Nov 13, 2014
- Update on AVATAR2SOCLIB · a795ce68
  Ludovic Apvrille authored 10 years ago
  
  a795ce68
Nov 12, 2014
- Update on avatar hidden states in simulation · b6ae86cb
  Ludovic Apvrille authored 10 years ago
  
  b6ae86cb
Oct 24, 2014
- Bug resolved on avatr simulation · cc43f7b2
  Ludovic Apvrille authored 10 years ago
  
  cc43f7b2
- Resolving bug on avatar simulation initialization · 3d13482c
  Ludovic Apvrille authored 10 years ago
  
  3d13482c
Jun 13, 2014
- Update on events mapping · 87d7550c
  Ludovic Apvrille authored 10 years ago
  
  87d7550c
Apr 10, 2014
- Update on security information · 5023c82d
  Ludovic Apvrille authored 10 years ago
  
  5023c82d
Apr 07, 2014
- Updte on TTool paths · a25fce7f
  Ludovic Apvrille authored 10 years ago
  
  a25fce7f
Feb 14, 2014
- Update:creation of real AVATAR analysis panel · 420a68c2
  Ludovic Apvrille authored 11 years ago
  
  420a68c2
Jan 10, 2014
- Update on TTool: must integrate the new boolean evaluator: bool evaluation may not work · d770dab1
  Ludovic Apvrille authored 11 years ago
  
  d770dab1
Jan 07, 2014
- No commit message · 3559ad4c
  Ludovic Apvrille authored 11 years ago
  
  No commit message
  3559ad4c
Dec 05, 2013
- Update on TTool: asyncm msgs in simulation · 5fec67a7
  Ludovic Apvrille authored 11 years ago
  
  5fec67a7
Nov 19, 2013
- Bug on syntax checking of AVATAR random resolved · 6b4c72b4
  Ludovic Apvrille authored 11 years ago
  
  6b4c72b4
Aug 02, 2013
- Adding the index of the lastly displayed transaction · e7e1bd74
  Ludovic Apvrille authored 11 years ago
  
  e7e1bd74
Jul 02, 2013
- New search facility · c7dc29b9
  Ludovic Apvrille authored 11 years ago
  
  c7dc29b9
Jun 04, 2013

Update on AVATAR simulator : prf improvement, tracing in sd can be... · 3d3417a4

Ludovic Apvrille authored 11 years ago

Update on AVATAR simulator : prf improvement, tracing in sd can be enabled/disable, and nb of drawn transactions is configurable

3d3417a4

Nov 15, 2012
- Bugs resolved on adding connector and saving avatar simulation traces · 87048fa4
  Ludovic Apvrille authored 12 years ago
  
  87048fa4
Aug 31, 2012
- SVG export: update · c3afcac4
  Ludovic Apvrille authored 12 years ago
  
  c3afcac4
Jun 19, 2012
- Update on AVATAR simulator: blocks can now be undisplayed on interactive simulation · 30559b29
  Ludovic Apvrille authored 12 years ago
  
  30559b29
Jun 13, 2012
- No commit message · d07332e7
  Ludovic Apvrille authored 12 years ago
  
  No commit message
  d07332e7
Feb 10, 2012
- Adding invariant computation · f2b48452
  Ludovic Apvrille authored 13 years ago
  
  f2b48452
Jun 23, 2011
- AVATAR: Trying to resolve dbug on null pointer exception happening at simulation time · d03af495
  Ludovic Apvrille authored 13 years ago
  
  d03af495
Mar 28, 2011

AVATAR : Update on simulator: new transaction information tab, saving of the... · c2c0f5fd

Ludovic Apvrille authored 14 years ago

AVATAR : Update on simulator: new transaction information tab, saving of the SD diagram in PNG format and id of transactions on the SD panel

c2c0f5fd

Feb 24, 2011
- AVATAR simulator: sm of simulation engine rewritten · 5484abaa
  Ludovic Apvrille authored 14 years ago
  
  5484abaa
Feb 23, 2011
- AVATAR simulator: new possibility to go backward of on transaction (graphical elements) · 816186b4
  Ludovic Apvrille authored 14 years ago
  
  816186b4
- AVATAR simulator: new possibility to go backward of on transaction · eea8e00e
  Ludovic Apvrille authored 14 years ago
  
  eea8e00e
Feb 22, 2011

AVATAR: interactive simulator : notion of silent transitions;\nAVATAR... · 236669db

Ludovic Apvrille authored 14 years ago

AVATAR: interactive simulator : notion of silent transitions;\nAVATAR simulator : timers are now displayed as transition in the source block\nAVATAR: simulator: printf removed

236669db

Feb 14, 2011
- AVATAR: printing time and transaction Id when simulating · 2ececb04
  Ludovic Apvrille authored 14 years ago
  
  2ececb04
- AVATAR: update on simulator · 6007b0d9
  Ludovic Apvrille authored 14 years ago
  
  6007b0d9
Feb 10, 2011
- AVATAR: Simulator update and AVATAR Pd: Can now be renamed · 7c28de5b
  Ludovic Apvrille authored 14 years ago
  
  7c28de5b
Feb 04, 2011
- AVATAR: Simulator update (support of asynchronous messages) · 17b2f992
  Ludovic Apvrille authored 14 years ago
  
  17b2f992