Commits · a64c26bb361bfc9613a29bb89a1a53b7f20ce53b · mbe-tools / TTool

Dec 07, 2017
- Update on Intbool management and safety proofs · 622058b0
  apvrille authored 7 years ago and Fabien Tessier committed 7 years ago
  
  622058b0
Nov 22, 2017
- Update on Intbool management and safety proofs · 48f724b2
  apvrille authored 7 years ago
  
  48f724b2
Aug 18, 2017
- update on refusal graphs · 38f81a2e
  apvrille authored 7 years ago
  
  38f81a2e
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
May 23, 2017
- Very first plugin structure · 71f266e6
  Ludovic Apvrille authored 7 years ago
  
  71f266e6
- Adding support for gt / lt with eq in intboolexpr · 633464be
  Ludovic Apvrille authored 7 years ago
  
  633464be
May 22, 2017
- First support of lt_token etc. in intbool expr evaluation · 41314a10
  Ludovic Apvrille authored 7 years ago
  
  41314a10
May 19, 2017
- Update on Testing features · eaa78c1d
  apvrille authored 7 years ago
  
  eaa78c1d
May 10, 2017
- Update on Test management and intbool expr · ccee2257
  apvrille authored 7 years ago
  
  ccee2257
May 09, 2017
- Update on Testing int expr · 3e5f86c2
  apvrille authored 7 years ago
  
  3e5f86c2
May 04, 2017
- Update on join/fork management: bug 32 · 7e83b1b6
  Ludovic Apvrille authored 7 years ago
  
  7e83b1b6
Apr 04, 2017
- Update on boolinexprmanageemnt · 5cbb90b5
  apvrille authored 8 years ago
  
  5cbb90b5
- Update on clone management · 840de4be
  apvrille authored 8 years ago
  
  840de4be
Apr 03, 2017
- Update on TTool test for bool expr · c9735b2f
  Ludovic Apvrille authored 8 years ago
  
  c9735b2f
- Update on bool test expr avatar · 434c2474
  apvrille authored 8 years ago
  
  434c2474
Mar 29, 2017
- Update on BoolExpr evaluation: not yet available for avatar, just for testing · 0c5bb1e2
  apvrille authored 8 years ago
  
  0c5bb1e2
Sep 21, 2016
- Update on avatar model checker · 8fb5cc5b
  Ludovic Apvrille authored 8 years ago
  
  8fb5cc5b
Jun 17, 2016
- Update on model checker optimization · 814e02be
  Ludovic Apvrille authored 8 years ago
  
  814e02be
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
May 15, 2014
- No commit message · 88a062f8
  Ludovic Apvrille authored 10 years ago
  
  No commit message
  88a062f8
Feb 18, 2014
- Update on CP: graphical part for editing them is now completed · 0ced2746
  Ludovic Apvrille authored 11 years ago
  
  0ced2746
Feb 04, 2014
- Update on custom code generation · 171455d7
  Ludovic Apvrille authored 11 years ago
  
  171455d7
Jan 10, 2014
- Update on TTool: must integrate the new boolean evaluator: bool evaluation may not work · d770dab1
  Ludovic Apvrille authored 11 years ago
  
  d770dab1
Jan 07, 2014
- No commit message · 3559ad4c
  Ludovic Apvrille authored 11 years ago
  
  No commit message
  3559ad4c
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
Jun 28, 2011
- AVATAR: new boolean expression checker · 08b0e3d8
  Ludovic Apvrille authored 13 years ago
  
  08b0e3d8
Jun 23, 2011
- AVATAR: Trying to resolve dbug on null pointer exception happening at simulation time · d03af495
  Ludovic Apvrille authored 13 years ago
  
  d03af495
May 09, 2011
- AVATAR Design: improved boolean syntax checker · 8eabc2d7
  Ludovic Apvrille authored 13 years ago
  
  8eabc2d7
- AVATAR design: new syntax checker, and support of else guards · 76bed925
  Ludovic Apvrille authored 13 years ago
  
  76bed925
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 08, 2011
- AVATAR: update on UPPAAL translator + direct simulation · 3affcf50
  Ludovic Apvrille authored 14 years ago
  
  3affcf50
Feb 03, 2011

· 07274abb

Ludovic Apvrille authored 14 years ago

AVATAR: Strong update on simulator + SD drawn at simulation time

07274abb

Feb 02, 2011
- AVATAR: Update on direct simulator (management of attaributes and guards) · 6b9d5703
  Ludovic Apvrille authored 14 years ago
  
  AVATAR: Update on syntax checker to verify that signals are used according to their definition
  6b9d5703
Dec 13, 2010
- Evaluator of int and bool expressions · 7c14e896
  Ludovic Apvrille authored 14 years ago
  
  7c14e896