Commits · 26625aa5233f086097c72506268594e69f6efc69 · mbe-tools / TTool

Jul 29, 2020
- Update documentation: state space reduction, verification traces · 26625aa5
  tempiaa authored 4 years ago
  
  26625aa5
Jul 28, 2020
- Update documentation: internal action loops, deadlocks, reinitialization, safety · c26f6cdb
  tempiaa authored 4 years ago
  
  c26f6cdb
Jul 27, 2020
- Fixed bug on AUT traces and internal action loops · e3bb7683
  tempiaa authored 4 years ago
  
  e3bb7683
- Bypass syntax checker on empty lines · 1611c827
  tempiaa authored 4 years ago
  
  1611c827
Jul 24, 2020
- Fix in syntax checker errors display, fix in true false pragma expected value · dbe1a4e1
  tempiaa authored 4 years ago
  
  dbe1a4e1
- Added pragma expected result info in the documentation · 1bb8bf38
  tempiaa authored 4 years ago
  
  1bb8bf38
- 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 model-checker word size representation selection. Documentation update · 7e6b5062
  tempiaa authored 4 years ago
  
  7e6b5062
- 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 07, 2020
- syntax check return error shortcut · 091292be
  tempiaa authored 4 years ago
  
  091292be
- Added second unrecognized operator parsing error · 97b3c74c
  tempiaa authored 4 years ago
  
  97b3c74c
- New pragma syntax checker · 407d6931
  tempiaa authored 4 years ago
  
  407d6931
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
- Fix for brackets in pragma syntax checker · 2305a59a
  tempiaa authored 4 years ago
  
  2305a59a
Jul 03, 2020
- Fix on CLI condition · 8b43ef82
  tempiaa authored 4 years ago
  
  8b43ef82
- Few changes in graphical representation and documentation · 18f8caa8
  tempiaa authored 4 years ago
  
  18f8caa8
- 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
- Merge remote-tracking branch 'origin/master' into alessandro_branch · d6787abf
  tempiaa authored 4 years ago
  
  d6787abf
- 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
- Merge branch 'alessandro_branch' into 'master' · 988bcb08
  Ludovic Apvrille authored 4 years ago
  
  Model-checker improvements See merge request !339
  988bcb08
- Tests for expression attributes sharing · a8547a1e
  tempiaa authored 4 years ago
  
  a8547a1e
- update on build version: build.txt · 1116a786
  Ludovic Apvrille authored 4 years ago
  
  1116a786
Jun 30, 2020
- Expression attributes (variables) are now shared among expressions · 2f860e66
  tempiaa authored 4 years ago
  
  2f860e66
- update on build version: build.txt · 40b60a56
  Ludovic Apvrille authored 4 years ago
  
  40b60a56