Commits · 4b2001f94f3ba6d660283eb4fd56c33cf5671de3 · mbe-tools / TTool

May 20, 2019
- Update on stopping model checker by user · 2cfddb26
  apvrille authored 5 years ago
  
  2cfddb26
Mar 20, 2019
- Resolving bug on complex int expression. Thanks to Florian Lugou · 1dc35a12
  Ludovic Apvrille authored 6 years ago
  
  1dc35a12
Mar 19, 2019
- Update on TTool with cli script foe debug · 0582e0e7
  Ludovic Apvrille authored 6 years ago
  
  0582e0e7
Jun 07, 2018
- Removing penalties · 92e4256b
  Ludovic Apvrille authored 6 years ago
  
  92e4256b
May 15, 2018
- Switching to old src files before the merge with LIP6 · ad6b2dbd
  Ludovic Apvrille authored 6 years ago
  
  ad6b2dbd
- Rebasing before SystemCAMS · bbbb2549
  Ludovic Apvrille authored 6 years ago
  
  bbbb2549
May 09, 2018
- sources par irina · 65dc38d8
  Daniela GENIUS authored 6 years ago
  
  65dc38d8
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
Jun 03, 2016
- Avatar Model Checker: seems to work find. First optimizations · fb9d8f23
  Ludovic Apvrille authored 8 years ago
  
  fb9d8f23
- Avatar Model Checker: seems to work find. First optimizations · 73bf18d0
  Ludovic Apvrille authored 8 years ago
  
  73bf18d0
- Avatar Model Checker: first full impl but probably full of bugs · a46e98ff
  Ludovic Apvrille authored 8 years ago
  
  a46e98ff
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

Mar 05, 2013
- Update on Avatar boolean and int expression parser · 93fb221f
  Ludovic Apvrille authored 12 years ago
  
  93fb221f
Feb 15, 2011
- preparing TEPE diagrams · e5682f9b
  Ludovic Apvrille authored 14 years ago
  
  e5682f9b
Dec 13, 2010
- AVATAR: Preparation for internal simulator · fb0a32fd
  Ludovic Apvrille authored 14 years ago
  
  fb0a32fd
- AVATAR: Preparation for internal simulator · 8e1c7c84
  Ludovic Apvrille authored 14 years ago
  
  8e1c7c84