Commits · e2c313f169d16742aedd9e5132fb1ba5e37bf822 · mbe-tools / TTool

Jun 30, 2023
- Finishing on CDG to Avatar · 32529ed2
  Ludovic Apvrille authored 1 year ago
  
  32529ed2
Jun 27, 2023
- Adding support for owner in state machine elements of Avatar · c9421cf5
  Ludovic Apvrille authored 1 year ago
  
  c9421cf5
May 31, 2023
- replace some calls of IBS by calls through the wrapper classes · 697ff9c1
  Sophie Coudert authored 1 year ago
  
  697ff9c1
May 30, 2023
- IBS wrapper classes added for AVATAR and ClosedFormula instantiations · 7f2e7bb3
  Sophie Coudert authored 1 year ago
  
  7f2e7bb3
May 25, 2023
- renaming some classes · c5f47967
  Sophie Coudert authored 1 year ago
  
  c5f47967
Mar 31, 2023
- IBSolver integrated. Old parser yet only used in AvatarActionAssignment (Florian's Code) · e80e2696
  Sophie Coudert authored 2 years ago
  
  e80e2696
Jun 28, 2022
- Add/Rm/Md opérateurs (test pour timer et random à faire) · 774a16f0
  lfrenot authored 2 years ago
  
  774a16f0
Jun 23, 2022
- Maj aide pragmas · 7445259c
  Ludovic Apvrille authored 2 years ago
  
  7445259c
Sep 22, 2021
- blocks and smd in sysml V2 · 851a4fd1
  Ludovic Apvrille authored 3 years ago
  
  851a4fd1
Jul 03, 2020
- Bug on channels NBRNBW diplo to avatar seems to be solved · 2f944688
  Ludovic Apvrille authored 4 years ago
  
  2f944688
- Constants removal in out signal communication · b130d414
  tempiaa authored 4 years ago
  
  b130d414
Jun 30, 2020
- Expression attributes (variables) are now shared among expressions · 2f860e66
  tempiaa authored 4 years ago
  
  2f860e66
May 13, 2020
- Fixed warnings · e6dd15c8
  tempiaa authored 4 years ago
  
  e6dd15c8
- Model-checker to merge · 5b3f25ec
  tempiaa authored 4 years ago
  
  5b3f25ec
- Revert "Merge branch 'alessandro_branch' into 'master'" · 076c4d2b
  Ludovic Apvrille authored 4 years ago
  
  This reverts merge request !325
  076c4d2b
Apr 21, 2020
- Expression Solver for action on signal. Start developing safety properties on states · cd5beaac
  tempiaa authored 4 years ago
  
  cd5beaac
Jul 24, 2018
- Code cleanup · fa928ca2
  Dominique Blouin authored 6 years ago
  
  fa928ca2
- Code cleanup · 5428497f
  Dominique Blouin authored 6 years ago
  
  5428497f
Jan 29, 2018
- Modifying reachaiblity of selected states in Avatar model checker · 99f65fdc
  Ludovic Apvrille authored 7 years ago
  
  99f65fdc
Jan 11, 2018
- Update on capture for graphs · 7070bf82
  Ludovic Apvrille authored 7 years ago
  
  7070bf82
Sep 22, 2017
- Adding latency check to safety pragma · ff99615e
  Letitia Li authored 7 years ago
  
  ff99615e
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
Dec 16, 2016
- Resolving bug on timer management · 25c782b2
  apvrille authored 8 years ago
  
  25c782b2
Jun 13, 2016
- Update on model checker after avatar clone : seems to work · 99bd46f4
  Ludovic Apvrille authored 8 years ago
  
  99bd46f4
- Resolving bug on action on signal when cloning. A bug on the usage of signals... · f77519d3
  Ludovic Apvrille authored 8 years ago
  
  Resolving bug on action on signal when cloning. A bug on the usage of signals of father is still there
  f77519d3
- Modifying basicCloneMe · d5e4746d
  Ludovic Apvrille authored 8 years ago
  
  d5e4746d
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
Apr 13, 2015
- Update on syntax checking attack trees · 752e7d5f
  Ludovic Apvrille authored 9 years ago
  
  752e7d5f
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
Jan 24, 2011
- AVATAR simulator :update on main engine + partial management of time · 8f7fd72a
  Ludovic Apvrille authored 14 years ago
  
  8f7fd72a
Dec 16, 2010
- UPDATE ib AVATAR: ProVerif analysis of Authenticity · 0fd86801
  Ludovic Apvrille authored 14 years ago
  
  0fd86801
Dec 08, 2010
- AVATAR-to-UPPAAL: bug on reachability/liveness resolved · 0cea182a
  Ludovic Apvrille authored 14 years ago
  
  0cea182a
- 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 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