Commits · bc5e2bec73b43e1b98b1b1d107b0d3698c37abc5 · mbe-tools / TTool

Jun 27, 2023
- Adding support for owner in state machine elements of Avatar · c9421cf5
  Ludovic Apvrille authored 1 year ago
  
  c9421cf5
Mar 30, 2022
- Resolving bug on fork chan handling in tml->avatar · 0393a10d
  Ludovic Apvrille authored 2 years ago
  
  0393a10d
Aug 09, 2018
- Revert "Revert "Issue #69 : Implemented components disabling for activity diagrams and"" · feb34e3d
  Irina LEE authored 6 years ago
  
  This reverts commit 8725e64b.
  feb34e3d
Aug 08, 2018
- Revert "Issue #69 : Implemented components disabling for activity diagrams and" · 8725e64b
  Irina LEE authored 6 years ago
  
  This reverts commit 88933719.
  8725e64b
Aug 01, 2018
- Issue #69 : Implemented components disabling for activity diagrams and · 88933719
  Dominique Blouin authored 6 years ago
  
  state machines.
  88933719
Jul 24, 2018
- Code cleanup · fa928ca2
  Dominique Blouin authored 6 years ago
  
  fa928ca2
Jan 29, 2018
- Modifying reachaiblity of selected states in Avatar model checker · 99f65fdc
  Ludovic Apvrille authored 7 years ago
  
  99f65fdc
Jan 03, 2018
- Simulation Trace and Performance pragma fix · 520a675e
  Letitia Li authored 7 years ago
  
  520a675e
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 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
Sep 21, 2016
- Update on avatar model checker · 8fb5cc5b
  Ludovic Apvrille authored 8 years ago
  
  8fb5cc5b
Jun 13, 2016
- Modifying basicCloneMe · d5e4746d
  Ludovic Apvrille authored 8 years ago
  
  d5e4746d
- Update on advanced clone · 7839aad0
  Ludovic Apvrille authored 8 years ago
  
  7839aad0
Jun 01, 2016
- Update on network example and model checker code · f90e656b
  Ludovic Apvrille authored 8 years ago
  
  f90e656b
Sep 28, 2015
- proverif logic modification · 1e26ec9f
  Florian Lugou authored 9 years ago
  
  1e26ec9f
Sep 22, 2015
- Generation of ProVerif typed pi calculus, modification of Avatar model for... · cc582c07
  Florian Lugou authored 9 years ago
  
  Generation of ProVerif typed pi calculus, modification of Avatar model for easing translation to ProVerif
  cc582c07
Nov 12, 2014
- Update on avatar hidden states in simulation · b6ae86cb
  Ludovic Apvrille authored 10 years ago
  
  b6ae86cb
Mar 08, 2013
- Update on code generator of AVATAR · 74980046
  Ludovic Apvrille authored 12 years ago
  
  74980046
Jan 25, 2012
- Update on security · 127ed143
  Ludovic Apvrille authored 13 years ago
  
  127ed143
Jun 10, 2011
- Avatar: Update on code generation: gui, generated code and trace analyzer · 910ba0a2
  Ludovic Apvrille authored 13 years ago
  
  910ba0a2
May 09, 2011
- AVATAR Design: improved boolean syntax checker · 8eabc2d7
  Ludovic Apvrille authored 13 years ago
  
  8eabc2d7
Jan 24, 2011
- AVATAR simulator :update on main engine + partial management of time · 8f7fd72a
  Ludovic Apvrille authored 14 years ago
  
  8f7fd72a
Dec 08, 2010
- AVATAR: update on profile · 082cd5a1
  Ludovic Apvrille authored 14 years ago
  
  082cd5a1
Jul 20, 2010
- AVATAR: Improvement on avatar-to-uppaal code generator · 5a686f80
  Ludovic Apvrille authored 14 years ago
  
  5a686f80
May 21, 2010
- Update on avatar translation · 527a5397
  Ludovic Apvrille authored 14 years ago
  
  527a5397
May 20, 2010
- Update on AVATAR · 9674fc03
  Ludovic Apvrille authored 14 years ago
  
  9674fc03
- Update on Avatar State Machines · 7b1fa427
  Ludovic Apvrille authored 14 years ago
  
  7b1fa427
- Update on AVATAR · 41490c42
  Ludovic Apvrille authored 14 years ago
  
  41490c42
- Update on Avatar · 98e621e9
  Ludovic Apvrille authored 14 years ago
  
  98e621e9
Jul 16, 2008
- First try to setup the TTool's svn · 12049339
  Ludovic Apvrille authored 16 years ago
  
  12049339