Commits · 58a2437f479f6014aa3a002cdda1f81b5047eecf · mbe-tools / TTool

Nov 17, 2020
- Update on double click code · 58a2437f
  Ludovic Apvrille authored 4 years ago
  
  58a2437f
Oct 06, 2020
- Adding nb of threads selection for MC · 0e5d4f35
  apvrille authored 4 years ago
  
  0e5d4f35
Sep 17, 2020
- Added BFS/DFS choice, updated deadlock check on DFS · fc74a45f
  tempiaa authored 4 years ago
  
  fc74a45f
Sep 04, 2020
- Update on else guard and tests on bool expr · 3f3818b0
  Ludovic Apvrille authored 4 years ago
  
  3f3818b0
- 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
Aug 24, 2020
- Solved bug on property traces · c86c49b7
  tempiaa authored 4 years ago
  
  c86c49b7
Aug 21, 2020
- Resolving bug on avatar panel design · f9d26546
  Ludovic Apvrille authored 4 years ago
  
  f9d26546
Aug 20, 2020
- Update on guard test in avatar: authrorizing int expr · dd11e494
  Ludovic Apvrille authored 4 years ago
  
  dd11e494
Aug 19, 2020
- Update on Avatar relations · 61980806
  Ludovic Apvrille authored 4 years ago
  
  61980806
Jul 29, 2020
- Fix internal action loop variable assignment · bef1e511
  tempiaa authored 4 years ago
  
  bef1e511
Jul 27, 2020
- Fixed bug on AUT traces and internal action loops · e3bb7683
  tempiaa authored 4 years ago
  
  e3bb7683
Jul 24, 2020
- Fix in syntax checker errors display, fix in true false pragma expected value · dbe1a4e1
  tempiaa authored 4 years ago
  
  dbe1a4e1
- Added expected result option in safety pragmas, T or F at the start of the pragma · a806085d
  tempiaa authored 4 years ago
  
  a806085d
Jul 23, 2020
- Exponential bounded model-checking for leadsTo pragmas to prove liveness... · 52be6228
  tempiaa authored 4 years ago
  
  Exponential bounded model-checking for leadsTo pragmas to prove liveness properties as soon as available. It allows to prove false properties in infinite graphs. Added stop and resume state space exploration methods
  52be6228
- Added states and transition information in the verification trace name · 59960744
  tempiaa authored 4 years ago
  
  59960744
Jul 22, 2020

Added cli options for reinitialization and internal action loop verification;... · 9ab6a8b3

tempiaa authored 4 years ago

Added cli options for reinitialization and internal action loop verification; added list of internal infinite loops in output

9ab6a8b3

Jul 21, 2020
- Remove random loops from internal action loop verification · 864a3e68
  tempiaa authored 4 years ago
  
  864a3e68
- Added verification traces to internal action loop study · a9aae936
  tempiaa authored 4 years ago
  
  a9aae936
Jul 20, 2020
- General internal action loop detector using leadsTo pragmas · ce44d7ee
  tempiaa authored 4 years ago
  
  ce44d7ee
Jul 17, 2020
- Comment/uncomment external code · ff49c48e
  tempiaa authored 4 years ago
  
  ff49c48e
- Extended internal loops check for loops intersections · e1366f95
  tempiaa authored 4 years ago
  
  e1366f95
Jul 13, 2020
- Internal action loop check primitive version · d0274825
  tempiaa authored 4 years ago
  
  d0274825
Jul 08, 2020
- Improved attribute sharing for action assignment · 72037b9d
  tempiaa authored 4 years ago
  
  72037b9d
- Solved issue on compressed negative numbers, better interraction within objects · 9bc4445d
  tempiaa authored 4 years ago
  
  9bc4445d
Jul 06, 2020
- Restored multi-thread · dad3e3a9
  tempiaa authored 4 years ago
  
  dad3e3a9
- Memory fix in the verification of leadsTo pragmas · f9a07f76
  tempiaa authored 4 years ago
  
  f9a07f76
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
Jul 02, 2020
- Separate AUT and Text traces selection and change in the layout, fix · e78d6cbc
  tempiaa authored 4 years ago
  
  e78d6cbc
- Fixed trace to deadlock · e4fe5d5f
  tempiaa authored 4 years ago
  
  e4fe5d5f
- Removed constant removal momentarily · ba8e6a84
  tempiaa authored 4 years ago
  
  ba8e6a84
- Solved bug on verification traces · 778837d9
  tempiaa authored 4 years ago
  
  778837d9
Jul 01, 2020
- Cleaning imports · dd69027d
  tempiaa authored 4 years ago
  
  dd69027d
- Patch, exaustive loop search inserted for non trivial counterexamples · bbe4e213
  tempiaa authored 4 years ago
  
  bbe4e213
Jun 30, 2020
- Expression attributes (variables) are now shared among expressions · 2f860e66
  tempiaa authored 4 years ago
  
  2f860e66
Jun 29, 2020
- Fix for constant removal in random · c5274017
  tempiaa authored 4 years ago
  
  c5274017
- Fixed constant removal for timers · 7d597ff8
  tempiaa authored 4 years ago
  
  7d597ff8
Jun 26, 2020
- Update on Diplo to avatar · 2d92d3cf
  Ludovic Apvrille authored 4 years ago
  
  2d92d3cf
- Constants removed from model-checking · bdd482c4
  tempiaa authored 4 years ago
  
  bdd482c4