Commits · 8f22b4f19c17e1c1ef606b1acb12ddb5e08de85f · mbe-tools / TTool

Apr 02, 2020
- First implementation of liveness check on one state for finite-states reachability graphs · 8f22b4f1
  tempiaa authored 4 years ago
  
  8f22b4f1
Mar 30, 2020
- Fix in time limit checkbox state · b2347b8f
  tempiaa authored 5 years ago
  
  b2347b8f
Mar 27, 2020
- Implementation of a time limited graph generation · 41604271
  tempiaa authored 5 years ago
  
  41604271
- Added a draft implementation of a time limited graph generation · 03b8c0b8
  tempiaa authored 5 years ago
  
  03b8c0b8
Mar 26, 2020
- few fixes for race conditions · 287c525c
  tempiaa authored 5 years ago
  
  287c525c
- Fix in number of displayed deadlocks when limiting the number of states · e9b4785b
  tempiaa authored 5 years ago
  
  e9b4785b
- BUG: solved in computeAllInternalStatesFrom due to a possible race condition... · 6fa904f2
  tempiaa authored 5 years ago
  
  BUG: solved in computeAllInternalStatesFrom due to a possible race condition between threads that led to a wrong RG
  6fa904f2
- Added code to limit the number of states in reachability graph creation · 486c72c5
  tempiaa authored 5 years ago
  
  486c72c5
Mar 25, 2020
- First draft of documentation for the Avatar model-checker · 57a62b1b
  tempiaa authored 5 years ago
  
  57a62b1b
Mar 23, 2020
- update on build version: build.txt · e219ab95
  Ludovic Apvrille authored 5 years ago
  
  e219ab95
Mar 22, 2020
- update on build version: build.txt · 609e9d26
  Ludovic Apvrille authored 5 years ago
  
  609e9d26
Mar 21, 2020
- update on build version: build.txt · 0166dd35
  Ludovic Apvrille authored 5 years ago
  
  0166dd35
Mar 20, 2020
- Update on AMS Interface in avatar block diagrams · 640d4cca
  Ludovic Apvrille authored 5 years ago
  
  640d4cca
- Update on AMS Interface in avatar block diagrams · 2615f8e8
  Ludovic Apvrille authored 5 years ago
  
  2615f8e8
- Adding info on specific test in dev document · ecf22021
  Ludovic Apvrille authored 5 years ago
  
  ecf22021
- Adding test for modelchecker · 6daf467b
  Ludovic Apvrille authored 5 years ago
  
  6daf467b
- update on build version: build.txt · d8118dbf
  Ludovic Apvrille authored 5 years ago
  
  d8118dbf
Mar 19, 2020
- Merge branch 'revert-883077ef ' into 'master' · 78464011
  Ludovic Apvrille authored 5 years ago
  
  Issue #255 Bug on daemon task: the simulation should last much longer See merge request !322
  78464011
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · db352cf9
  Ludovic Apvrille authored 5 years ago
  
  db352cf9
- Update on LIP6 merge: exp option · 6aef0ea8
  Ludovic Apvrille authored 5 years ago
  
  6aef0ea8
- Issue #255 Bug on daemon task: the simulation should last much longer · e72b8243
  Le Van Truong authored 5 years ago
  
  e72b8243
- update on build version: build.txt · 08953755
  Ludovic Apvrille authored 5 years ago
  
  08953755
Mar 18, 2020
- Adding script for avatar model checking · f59cc1f0
  Ludovic Apvrille authored 5 years ago
  
  f59cc1f0
- Requirement exception when just created · f5f79668
  Ludovic Apvrille authored 5 years ago
  
  f5f79668
- Adding block modification · 282d915d
  Ludovic Apvrille authored 5 years ago
  
  282d915d
- update on build version: build.txt · 758b962e
  Ludovic Apvrille authored 5 years ago
  
  758b962e
Mar 17, 2020
- Merge branch 'new-lip6' into 'master' · f2a75031
  Ludovic Apvrille authored 5 years ago
  
  New lip6 See merge request !318
  f2a75031
- update on build version: build.txt · f4cb3301
  Ludovic Apvrille authored 5 years ago
  
  f4cb3301
Mar 16, 2020
- Merge branch 'revert-883077ef ' into 'master' · 783baf47
  Ludovic Apvrille authored 5 years ago
  
  Update table model based on number of transactions See merge request !319
  783baf47
- Update table model based on number of transactions · 4c1edc29
  Le Van Truong authored 5 years ago
  
  4c1edc29
- update on build version: build.txt · 4f0b9913
  Ludovic Apvrille authored 5 years ago
  
  4f0b9913
Mar 15, 2020
- update on build version: build.txt · d6a8586c
  Ludovic Apvrille authored 5 years ago
  
  d6a8586c
Mar 14, 2020
- update on build version: build.txt · 3a1e138c
  Ludovic Apvrille authored 5 years ago
  
  3a1e138c
Mar 13, 2020
- Merge branch 'revert-883077ef ' into 'master' · 67905abf
  Ludovic Apvrille authored 5 years ago
  
  Create Remove transactions button. See merge request !317
  67905abf
- update on build version: build.txt · bb6d28bb
  Ludovic Apvrille authored 5 years ago
  
  bb6d28bb
Mar 12, 2020
- application w/o AMS interfaces · cc144326
  Daniela Genius authored 5 years ago
  
  cc144326
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool into new-lip6 · cb4212e7
  Daniela Genius authored 5 years ago
  
  cb4212e7
- UML version of AMS interfaces and channels · 3f951e83
  Daniela Genius authored 5 years ago
  
  3f951e83
- add remove transactions to Avatar model and add test for comparing remove transacions · 4d19f633
  Le Van Truong authored 5 years ago
  
  4d19f633
- Add Remove transaction button · cfeb5b92
  Le Van Truong authored 5 years ago
  
  cfeb5b92