Commits · 18f8caa88f9c48debfd9636e873571953e6671f0 · mbe-tools / TTool

Jul 03, 2020
- 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
- update on build version: build.txt · a397e01a
  Ludovic Apvrille authored 4 years ago
  
  a397e01a
Jun 25, 2020
- Improvement on tml to avatar · e4704849
  Ludovic Apvrille authored 4 years ago
  
  e4704849
- Tests on compression · d451d5ba
  tempiaa authored 4 years ago
  
  d451d5ba
- Fix in compression · a776d251
  tempiaa authored 4 years ago
  
  a776d251
- More optimization for memory · da69f175
  tempiaa authored 4 years ago
  
  da69f175
- update on build version: build.txt · d010916b
  Ludovic Apvrille authored 4 years ago
  
  d010916b
Jun 24, 2020
- Update on diplo to avatar · e49ad424
  Ludovic Apvrille authored 4 years ago
  
  e49ad424
- Memory optimization · 5b563e5e
  tempiaa authored 4 years ago
  
  5b563e5e
- Manual compression of values in SpecificationBlocks · 6b1fb760
  tempiaa authored 4 years ago
  
  6b1fb760
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · 135dc90b
  Ludovic Apvrille authored 4 years ago
  
  135dc90b
- Update on diplo to avatar · 60011911
  Ludovic Apvrille authored 4 years ago
  
  60011911
- update on build version: build.txt · 30a1de69
  Ludovic Apvrille authored 4 years ago
  
  30a1de69
Jun 23, 2020
- update on build version: build.txt · baf3c53b
  Ludovic Apvrille authored 4 years ago
  
  baf3c53b
- Update on Makefile: TTool/java · 904235b3
  Ludovic Apvrille authored 4 years ago
  
  904235b3
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · 601f2d24
  Ludovic Apvrille authored 4 years ago
  
  601f2d24
- update on build version: build.txt · ad545a7e
  Ludovic Apvrille authored 4 years ago
  
  ad545a7e
- Update on Makefile · fdfa3008
  Ludovic Apvrille authored 4 years ago
  
  fdfa3008