Commits · b62ec095a28828e20c17d1a39a3e47efcf401d32 · mbe-tools / TTool

Aug 25, 2011
- DIPLODOCUS: Adding explo command with coverage selection in simulation:... · b62ec095
  Ludovic Apvrille authored 13 years ago
  
  DIPLODOCUS: Adding explo command with coverage selection in simulation: graphical slider + text command
  b62ec095
Aug 24, 2011
- DIPLODOCUS: Removing old system.out.println commands, and adding graphical... · 5ec70da7
  Ludovic Apvrille authored 13 years ago
  
  DIPLODOCUS: Removing old system.out.println commands, and adding graphical sliders for exploration control
  5ec70da7
May 25, 2011
- Update on EVITA KMProtocol · 0512b102
  Ludovic Apvrille authored 13 years ago
  
  0512b102
May 16, 2011
- DIPLODOCUS Simulator: new graphical tab for handling formal verification purpose · 38209d68
  Ludovic Apvrille authored 13 years ago
  
  38209d68
Mar 02, 2011
- DIPLODOCUS interactive simulation: met elements are highlighted witha check... · 0f6a4540
  Ludovic Apvrille authored 14 years ago
  
  DIPLODOCUS interactive simulation: met elements are highlighted witha check plus the number of times they have been met
  0f6a4540
May 28, 2010
- Update on interactive simulation (task state) · 73a96320
  Ludovic Apvrille authored 14 years ago
  
  73a96320
May 11, 2010
- Animation of CPUs · 4ff6c4e6
  Ludovic Apvrille authored 14 years ago
  
  4ff6c4e6
May 03, 2010
- Update on interaction simulation window · 98190852
  Ludovic Apvrille authored 14 years ago
  
  98190852
- Update on interactive simulation · ec1eec4e
  Ludovic Apvrille authored 14 years ago
  
  ec1eec4e
Mar 31, 2010
- No commit message · 492d403e
  Ludovic Apvrille authored 15 years ago
  
  No commit message
  492d403e
- Update on interactive simulation · 081eef6b
  Ludovic Apvrille authored 15 years ago
  
  081eef6b
Feb 24, 2010
- Generation of documentation in Latex format · f697ea70
  Ludovic Apvrille authored 15 years ago
  
  f697ea70
Feb 23, 2010
- Update on interactive simulation · 49f1aaa5
  Ludovic Apvrille authored 15 years ago
  
  49f1aaa5
Sep 21, 2009
- New Data structures for EBRDDs · 9c508e1c
  Ludovic Apvrille authored 15 years ago
  
  9c508e1c
Aug 28, 2009
- · 9d5bfcb3
  Ludovic Apvrille authored 15 years ago
  
  A few bugs resolved ...
  9d5bfcb3
Aug 27, 2009
- bug resolved · cb640711
  Ludovic Apvrille authored 15 years ago
  
  cb640711
Jul 24, 2009
- Update on MSC loader · 1efa7988
  Ludovic Apvrille authored 15 years ago
  
  1efa7988
Jun 12, 2009
- No commit message · c066bfe7
  Ludovic Apvrille authored 15 years ago
  
  No commit message
  c066bfe7
- c · e3aff8b6
  Ludovic Apvrille authored 15 years ago
  
  e3aff8b6
- No commit message · 113ce5e0
  Ludovic Apvrille authored 15 years ago
  
  No commit message
  113ce5e0
- A few bugs resolves on simulation gui · 8ca72881
  Ludovic Apvrille authored 15 years ago
  
  8ca72881
- New featurs on simulator · a52f8474
  Ludovic Apvrille authored 15 years ago
  
  a52f8474
- New default mapping · 0b1a99b7
  Ludovic Apvrille authored 15 years ago
  
  0b1a99b7
Jun 11, 2009
- Improvements on simulator gui (setting of variables) · 5ca8f621
  Ludovic Apvrille authored 15 years ago
  
  5ca8f621
Jun 09, 2009
- Improved graphical simulation interface · c9b6692e
  Ludovic Apvrille authored 15 years ago
  
  c9b6692e
- New commands on simulator · 41cf33fa
  Ludovic Apvrille authored 15 years ago
  
  41cf33fa
- No commit message · d9bfd3b7
  Ludovic Apvrille authored 15 years ago
  
  No commit message
  d9bfd3b7
- New features on simulation · 5d3b1953
  Ludovic Apvrille authored 15 years ago
  
  5d3b1953
Jun 08, 2009
- No commit message · d964142e
  Ludovic Apvrille authored 15 years ago
  
  No commit message
  d964142e
- command-line simulation: new commands · 667f6ebf
  Ludovic Apvrille authored 15 years ago
  
  667f6ebf
Jun 05, 2009
- New feature on simulator · a4e6f658
  Ludovic Apvrille authored 15 years ago
  
  a4e6f658
Jun 04, 2009
- Modifications for interactive simulation · 98995603
  Ludovic Apvrille authored 15 years ago
  
  98995603
- New commands and toolbar · f6baab23
  Ludovic Apvrille authored 15 years ago
  
  f6baab23
Jun 03, 2009
- Simulation · 48760254
  Ludovic Apvrille authored 15 years ago
  
  48760254
- Interactive simulation · e987bd1b
  Ludovic Apvrille authored 15 years ago
  
  e987bd1b
Jun 02, 2009
- interactive simulation updatexc · 5ef7774d
  Ludovic Apvrille authored 15 years ago
  
  5ef7774d
- Info on tasks · 58708657
  Ludovic Apvrille authored 15 years ago
  
  58708657
- No commit message · b88c094a
  Ludovic Apvrille authored 15 years ago
  
  No commit message
  b88c094a
- No commit message · d4ac237a
  Ludovic Apvrille authored 15 years ago
  
  No commit message
  d4ac237a
May 29, 2009
- No commit message · 18f0fc03
  Ludovic Apvrille authored 15 years ago
  
  No commit message
  18f0fc03