Commits · 6d4f18a9be8eb3af277a2305ceacc0ed6ef049c5 · mbe-tools / TTool

Jun 12, 2024
- Adding management for original values of setTimer and random, in avatar spec · a89e15d9
  Ludovic Apvrille authored 9 months ago
  
  a89e15d9
Jun 27, 2023
- Adding support for owner in state machine elements of Avatar · c9421cf5
  Ludovic Apvrille authored 1 year ago
  
  c9421cf5
Jun 04, 2020
- Update on arrow haeds for include/extend in ucd · e4b49d0d
  Ludovic Apvrille authored 4 years ago
  
  e4b49d0d
Jun 03, 2020
- Adding log normal to distribution laws in avatarrandom · 0232d9a6
  Ludovic Apvrille authored 4 years ago
  
  0232d9a6
May 29, 2020
- Adding distribution law to avatar random operator. Applies only to simulation · e9d434ae
  Ludovic Apvrille authored 4 years ago
  
  e9d434ae
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
Aug 04, 2016
- Update on random management in avatar modelc checker · 38ea76b6
  Ludovic Apvrille authored 8 years ago
  
  38ea76b6
Jun 13, 2016
- Modifying basicCloneMe · d5e4746d
  Ludovic Apvrille authored 8 years ago
  
  d5e4746d
Jun 01, 2016
- Adding removeRandom function in avatar · 6b07430f
  Ludovic Apvrille authored 8 years ago
  
  6b07430f
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
Jan 24, 2011
- AVATAR simulator :update on main engine + partial management of time · 8f7fd72a
  Ludovic Apvrille authored 14 years ago
  
  8f7fd72a
Jul 20, 2010
- AVATAR: Improvement on avatar-to-uppaal code generator · 5a686f80
  Ludovic Apvrille authored 14 years ago
  
  5a686f80
Jul 12, 2010
- AVATAR: modified translation to UPPAAL · 7393d7e1
  Ludovic Apvrille authored 14 years ago
  
  AVATAR: random operator added
  7393d7e1
May 26, 2010
- Update on AVATAR · b667863a
  Ludovic Apvrille authored 14 years ago
  
  b667863a
May 21, 2010
- Update on avatar translation · 527a5397
  Ludovic Apvrille authored 14 years ago
  
  527a5397
May 20, 2010
- 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