Commits · 7e6b506215904b44c2aec5e315b089110cc5a98a · mbe-tools / TTool

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
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
- Tests for constant removal · a79562db
  tempiaa authored 4 years ago
  
  a79562db
- update on build version: build.txt · 4a2997e7
  Ludovic Apvrille authored 4 years ago
  
  4a2997e7
Jun 28, 2020
- update on build version: build.txt · 1827d804
  Ludovic Apvrille authored 4 years ago
  
  1827d804
Jun 27, 2020
- update on build version: build.txt · 16998ff8
  Ludovic Apvrille authored 4 years ago
  
  16998ff8
Jun 26, 2020
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · d2d7f172
  Ludovic Apvrille authored 4 years ago
  
  d2d7f172
- 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