Commits · 666af916495c406fc01cb0e05ff60a3822f1aad5 · mbe-tools / TTool · GitLab

Snippets Groups Projects

Jan 18, 2019
- Update on variable setting in avatar simulation · 666af916
  Ludovic Apvrille authored 6 years ago
  
  666af916
Jul 24, 2018
- Code cleanup · ff3b7af1
  Dominique Blouin authored 6 years ago
  
  ff3b7af1
Jul 03, 2018
- Update on simulator bool expr evaluator · a9939acb
  Ludovic Apvrille authored 6 years ago
  
  a9939acb
Feb 15, 2018
- Avatar probabilities: seems to be ok for simulation · 87443dee
  Ludovic Apvrille authored 7 years ago
  
  87443dee
- Update on TTool package and adding probabilities to avatar transitions. Prob... · d763ee5a
  Ludovic Apvrille authored 7 years ago
  d763ee5a
Jun 19, 2017
- 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 02, 2017
- optimize import · b3bc95f5
  Florian Lugou authored 7 years ago
  
  b3bc95f5
Oct 29, 2015
- Update on many avatar simulation enhancements · 9e9d900e
  Ludovic Apvrille authored 9 years ago
  
  9e9d900e
Sep 28, 2015
- proverif logic modification · 1e26ec9f
  Florian Lugou authored 9 years ago
  
  1e26ec9f
Sep 23, 2015
- adaptation to java 7 of precedent commit · d18a523d
  Florian Lugou authored 9 years ago
  
  d18a523d
Sep 22, 2015
- Generation of ProVerif typed pi calculus, modification of Avatar model for... · cc582c07
  Florian Lugou authored 9 years ago
  cc582c07
Nov 25, 2014
- Update on ref to ads in tmlcp · 9428cb1b
  Ludovic Apvrille authored 10 years ago
  
  9428cb1b
Dec 05, 2013
- Update on TTool: asyncm msgs in simulation · 5fec67a7
  Ludovic Apvrille authored 11 years ago
  
  5fec67a7
Jun 04, 2013
- Update on AVATAR simulator : prf improvement, tracing in sd can be... · 3d3417a4
  Ludovic Apvrille authored 11 years ago
  3d3417a4
Mar 05, 2013
- Update on Avatar boolean and int expression parser · 93fb221f
  Ludovic Apvrille authored 12 years ago
  
  93fb221f
Feb 19, 2013
- Resolving bugs in avatar interal simulator, avatr to uppaal generator and avatar-to-tpn generator · 0c00c454
  Ludovic Apvrille authored 12 years ago
  
  0c00c454
Jun 19, 2012
- Update on AVATAR simulator: blocks can now be undisplayed on interactive simulation · 30559b29
  Ludovic Apvrille authored 12 years ago
  
  30559b29
Oct 04, 2011
- DSE and AVATAR · b180b37a
  Ludovic Apvrille authored 13 years ago
  
  b180b37a
Jun 30, 2011
- Adding message loss to asynchronous channels · 3b31f956
  Ludovic Apvrille authored 13 years ago
  
  3b31f956
Jun 08, 2011
- Avatar Simulation: bug on silent transitions resolved · 7984499a
  Ludovic Apvrille authored 13 years ago
  
  7984499a
May 18, 2011
- AVATAR Design: Update on broadcast channels: internal simulation and executable code · 70b28cd7
  Ludovic Apvrille authored 14 years ago
  
  70b28cd7
May 11, 2011
- AVATAR: first introduction of broadcast channels at graphical level, internal... · 6fc91aab
  Ludovic Apvrille authored 14 years ago
  6fc91aab
Feb 25, 2011
- DIPLODOCUS: bug resolved on channel mapping edition of artifact · 341ec998
  Ludovic Apvrille authored 14 years ago
  
  341ec998
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 · 14515807
  Ludovic Apvrille authored 14 years ago
  
  14515807
Feb 16, 2011
- AVATAR syntax checker: now checking for expressions of received and sent signals, and methods · 32b0b918
  Ludovic Apvrille authored 14 years ago
  
  32b0b918
Feb 15, 2011
- preparing TEPE diagrams · e5682f9b
  Ludovic Apvrille authored 14 years ago
  
  e5682f9b
Feb 14, 2011
- AVATAR:Update on simulator (better support of asynchronous messages, improved SD panel) · 52dd695f
  Ludovic Apvrille authored 14 years ago
  
  52dd695f
- AVATAR: update on simulator · 6007b0d9
  Ludovic Apvrille authored 14 years ago
  
  6007b0d9
Feb 11, 2011
- AVATAR: update on simulator · 2159139e
  Ludovic Apvrille authored 14 years ago
  
  2159139e
Feb 10, 2011
- AVATAR: syntax hecker updated on parameters in signals · 1814d5ad
  Ludovic Apvrille authored 14 years ago
  
  1814d5ad
- AVATAR: syntax hecker updated on parameters in signals · 538056a8
  Ludovic Apvrille authored 14 years ago
  
  538056a8
- AVATAR: Simulator update and AVATAR Pd: Can now be renamed · 7c28de5b
  Ludovic Apvrille authored 14 years ago
  
  7c28de5b
Feb 08, 2011
- AVATAR: direct simulation: improvement on timers, but bugs remaining on time management · 697f9be2
  Ludovic Apvrille authored 14 years ago
  
  697f9be2
Feb 04, 2011
- AVATAR: Simulator update (support for random operators) · c7a7f46c
  Ludovic Apvrille authored 14 years ago
  
  c7a7f46c
- AVATAR: Simulator update (support of asynchronous messages) · 17b2f992
  Ludovic Apvrille authored 14 years ago
  
  17b2f992
Feb 03, 2011
- · 07274abb
  Ludovic Apvrille authored 14 years ago
  07274abb