Commits · 45aedb27f0f6f9776a803c06d562fa6b21ed432f · mbe-tools / TTool

Jun 04, 2020
- Updates on manisfests · dc99b336
  Ludovic Apvrille authored 4 years ago
  
  dc99b336
- update on build version: build.txt · 69d3d18f
  Ludovic Apvrille authored 4 years ago
  
  69d3d18f
- Update of simu for AQUAS final demo · e3339247
  Ludovic Apvrille authored 4 years ago
  
  e3339247
- update on build version: build.txt · b88c5c3d
  Ludovic Apvrille authored 4 years ago
  
  b88c5c3d
- Update on arrow haeds for include/extend in ucd · e4b49d0d
  Ludovic Apvrille authored 4 years ago
  
  e4b49d0d
- update on build version: build.txt · 4b51de9c
  Ludovic Apvrille authored 4 years ago
  
  4b51de9c
Jun 03, 2020
- add run until read/write channel access · f87f0b95
  Le Van Truong authored 4 years ago
  
  f87f0b95
- Adding log normal to distribution laws in avatarrandom · 0232d9a6
  Ludovic Apvrille authored 4 years ago
  
  0232d9a6
- Update on simulationscript for AQUAS' · 4d014e20
  Ludovic Apvrille authored 4 years ago
  
  '
  4d014e20
- Update on test on Z3 · c2f08bd5
  Ludovic Apvrille authored 4 years ago
  
  c2f08bd5
- Updating avatar model checker documentation · 0e7b787a
  Ludovic Apvrille authored 4 years ago
  
  0e7b787a
- update on build version: build.txt · a8140871
  Ludovic Apvrille authored 4 years ago
  
  a8140871
Jun 02, 2020
- Bug informed by pdss solved. Pb on double parsing in simulation · 22dad667
  Ludovic Apvrille authored 4 years ago
  
  22dad667
- Bug informed by pdss solved. Pb on double parsing in simulation · 3b3a491a
  Ludovic Apvrille authored 4 years ago
  
  3b3a491a
- Adding simulator script · 07ceba31
  Ludovic Apvrille authored 4 years ago
  
  07ceba31
- Solved fallthrough · 359020e7
  tempiaa authored 4 years ago
  
  359020e7
- update on build version: build.txt · 27ee0c45
  apvrille authored 4 years ago
  
  27ee0c45
- Update on TTool random distribution law · ecee680f
  Ludovic Apvrille authored 4 years ago
  
  ecee680f
- Activated concurrency only when needed to prove a property · adbaebfa
  tempiaa authored 4 years ago
  
  adbaebfa
- update on build version: build.txt · 8284f4ec
  Ludovic Apvrille authored 4 years ago
  
  8284f4ec
- update on build version: build.txt · aee367b3
  Ludovic Apvrille authored 4 years ago
  
  aee367b3
Jun 01, 2020
- update on build version: build.txt · 540eefe8
  Ludovic Apvrille authored 4 years ago
  
  540eefe8
May 31, 2020
- update on build version: build.txt · be6d176f
  Ludovic Apvrille authored 4 years ago
  
  be6d176f
May 30, 2020
- update on build version: build.txt · 6bb38b6e
  Ludovic Apvrille authored 4 years ago
  
  6bb38b6e
May 29, 2020
- Adding distribution law to avatar random operator. Applies only to simulation · e9d434ae
  Ludovic Apvrille authored 4 years ago
  
  e9d434ae
- update on build version: build.txt · b36e76f7
  Ludovic Apvrille authored 4 years ago
  
  b36e76f7
May 28, 2020
- Adding gaussian distribution law to time intervals · b1af8e50
  Ludovic Apvrille authored 4 years ago
  
  b1af8e50
- Clean for merge · 2a3e0974
  tempiaa authored 4 years ago
  
  2a3e0974
- Removed useless fields from model-checker · bf23144a
  tempiaa authored 4 years ago
  
  bf23144a
- Better code, added concurrency option in CLI · 6d2b1d2c
  tempiaa authored 4 years ago
  
  6d2b1d2c
- update on build version: build.txt · d8190e33
  Ludovic Apvrille authored 4 years ago
  
  d8190e33
May 27, 2020
- Adding triangular distribution law on avatar transition · d5829cd3
  Ludovic Apvrille authored 4 years ago
  
  d5829cd3
- Limited state explosion during concurrent pragma verification. To a better... · 4a31dfc5
  tempiaa authored 4 years ago
  
  Limited state explosion during concurrent pragma verification. To a better predictable behaviour in the model-checker. To correct concurrent pragma results in normal mode
  4a31dfc5
- update on build version: build.txt · e1292293
  Ludovic Apvrille authored 4 years ago
  
  e1292293
May 26, 2020
- More precise and correct behaviour in pragmas verification; Added better... · c5b02346
  tempiaa authored 4 years ago
  
  More precise and correct behaviour in pragmas verification; Added better management of Expression Solvers with states
  c5b02346
- update on build version: build.txt · 7940d434
  Ludovic Apvrille authored 4 years ago
  
  7940d434
May 25, 2020
- Empty transitions not removed in verification runs · f6307a96
  tempiaa authored 4 years ago
  
  f6307a96
- Added first solution for concurrency in leadsto pragmas. More validation is needed · cded147f
  tempiaa authored 4 years ago
  
  cded147f
- update on build version: build.txt · 4fe60971
  Ludovic Apvrille authored 4 years ago
  
  4fe60971
May 24, 2020
- fix sequential diagram display · 682204a5
  Le Van Truong authored 4 years ago
  
  682204a5