Commits · dd94245a017556c12b071c741d6df264d6028b70 · mbe-tools / TTool

Mar 31, 2022
- Adding tests with parenthesis in avatar expression solver · dd94245a
  Ludovic Apvrille authored 3 years ago
  
  dd94245a
- Patch on expressionsolver for avatar: bad handling of brackets. Tests must be be enriched · d479ca4a
  Ludovic Apvrille authored 3 years ago
  
  d479ca4a
May 21, 2021
- Bug resolution on guard management · b9c60878
  Ludovic Apvrille authored 3 years ago
  
  b9c60878
Apr 16, 2021
- Update on test for parsing · e1fafafb
  Ludovic Apvrille authored 4 years ago
  
  e1fafafb
Apr 15, 2021
- Resolving bug on expressiontest · 2f06ddeb
  Ludovic Apvrille authored 4 years ago
  
  2f06ddeb
- Slight update on buildexpression · 12b8a7ba
  Ludovic Apvrille authored 4 years ago
  
  12b8a7ba
Mar 31, 2021
- Improving the avatar expression checker : TRUE and FALSE are now detected as... · 3d81901f
  Ludovic Apvrille authored 4 years ago
  3d81901f
Dec 10, 2020
- Draw vertical line for timeline diagram · 196310ac
  Le Van Truong authored 4 years ago
  
  196310ac
Nov 30, 2020
- Update on test avatar expr · 70c13379
  Ludovic Apvrille authored 4 years ago
  
  70c13379
- Update on test avatar expr · 9d37c0fb
  Ludovic Apvrille authored 4 years ago
  
  9d37c0fb
Sep 04, 2020
- Adding tests for bool expr · fc488fcc
  Ludovic Apvrille authored 4 years ago
  
  fc488fcc
Sep 03, 2020
- Fix in multiple consecutive negations in expressions · b3273bd7
  tempiaa authored 4 years ago
  
  b3273bd7
Jul 21, 2020
- Remove random loops from internal action loop verification · 864a3e68
  tempiaa authored 4 years ago
  
  864a3e68
Jul 08, 2020
- Solved issue on compressed negative numbers, better interraction within objects · 9bc4445d
  tempiaa authored 4 years ago
  
  9bc4445d
Jul 01, 2020
- Tests for expression attributes sharing · a8547a1e
  tempiaa authored 4 years ago
  
  a8547a1e
Jun 29, 2020
- Tests for constant removal · a79562db
  tempiaa authored 4 years ago
  
  a79562db
Jun 25, 2020
- Tests on compression · d451d5ba
  tempiaa authored 4 years ago
  
  d451d5ba
Jun 24, 2020
- Memory optimization · 5b563e5e
  tempiaa authored 4 years ago
  
  5b563e5e
Jun 23, 2020
- Boolean variable compression in SpecificationBlocks · ccc2793d
  tempiaa authored 4 years ago
  
  ccc2793d
Jun 16, 2020
- Added not variant, Expression Solvers generated inside the AvatarSpecification class · 82075ff0
  tempiaa authored 4 years ago
  
  82075ff0
Jun 12, 2020
- Added getResult() of expression from array of int attribute values · ece481dd
  tempiaa authored 4 years ago
  
  ece481dd
- Better tests · b16111ad
  tempiaa authored 4 years ago
  
  b16111ad
- Right check syntax · 353a3e84
  tempiaa authored 4 years ago
  
  353a3e84
- Added syntax check rules to AvaterExpression solvers, added tests · 7adcdbb2
  tempiaa authored 4 years ago
  
  7adcdbb2
Jun 11, 2020
- Added more test for Expression Solvers · 74aba634
  tempiaa authored 4 years ago
  
  74aba634
May 13, 2020
- 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
  076c4d2b
Apr 29, 2020
- More expression solver tests · 8a2db960
  tempiaa authored 5 years ago
  
  8a2db960
- Test for Expression Solver plus fixes · 2b471ac8
  tempiaa authored 5 years ago
  
  2b471ac8
Mar 25, 2019
- Update on intexpr parsing after Florian patch · f84cfd80
  Ludovic Apvrille authored 6 years ago
  
  f84cfd80
Mar 22, 2019
- Update on terminal handling · a4d04936
  Ludovic Apvrille authored 6 years ago
  
  a4d04936
Mar 21, 2019
- Update on code · e6277c04
  Ludovic Apvrille authored 6 years ago
  
  e6277c04