Commits · dad42fa0b836926b7a70584054ba66ea971f16e4 · mbe-tools / TTool

Mar 17, 2023
- Chaging the way expressions in Avatar are pointed. Still to implement resize · c82111e9
  Ludovic Apvrille authored 2 years ago
  
  c82111e9
Mar 16, 2023
- Adding help for model-checking window · 173fbdfd
  Ludovic Apvrille authored 2 years ago
  
  173fbdfd
Jul 22, 2022
- Better handling of dependency graphs · f6a0ca01
  Ludovic Apvrille authored 2 years ago
  
  f6a0ca01
Jul 07, 2022
- Update for Dependency graphs · f28ff12a
  Ludovic Apvrille authored 2 years ago
  
  f28ff12a
Jul 04, 2022
- Resolving bug on dependency graph · 690ecaba
  Ludovic Apvrille authored 2 years ago
  
  690ecaba
Jun 23, 2022
- Maj aide pragmas · 7445259c
  Ludovic Apvrille authored 2 years ago
  
  7445259c
Jun 22, 2022
- Update on graph display · e94bbf1f
  Ludovic Apvrille authored 2 years ago
  
  e94bbf1f
Mar 31, 2022
- Update on out of memory on RG: new message · 8a9af09a
  Ludovic Apvrille authored 3 years ago
  
  8a9af09a
Mar 30, 2022
- Resolving bug on fork chan handling in tml->avatar · 0393a10d
  Ludovic Apvrille authored 3 years ago
  
  0393a10d
Sep 09, 2021
- Improving copy/paste with zoom · 9ffdba12
  Ludovic Apvrille authored 3 years ago
  
  9ffdba12
Apr 08, 2021
- Adding query op · c8fb3d86
  Ludovic Apvrille authored 4 years ago
  
  c8fb3d86
Mar 29, 2021
- Update on safety prag backtracing · 8daa5352
  Ludovic Apvrille authored 4 years ago
  
  8daa5352
Mar 23, 2021
- Update on dependency graph generation: reducing avatar spec · 6ced27ba
  Ludovic Apvrille authored 4 years ago
  
  6ced27ba
Mar 19, 2021
- Adding new reduced dependency graph · 6ef8c92d
  Ludovic Apvrille authored 4 years ago
  
  6ef8c92d
Feb 12, 2021
- Update on Dependency graphs and avatar toolbar · bc7a5cb1
  Ludovic Apvrille authored 4 years ago
  
  bc7a5cb1
Jan 14, 2021
- Adding graph dir selection ticket 50 · ed4de1f8
  Ludovic Apvrille authored 4 years ago
  
  ed4de1f8
Dec 10, 2020
- Draw vertical line for timeline diagram · 196310ac
  Le Van Truong authored 4 years ago
  
  196310ac
Dec 03, 2020
- Update on attribute management · 7522fdda
  apvrille authored 4 years ago
  
  7522fdda
Oct 06, 2020
- Adding nb of threads selection for MC · 0e5d4f35
  apvrille authored 4 years ago
  
  0e5d4f35
Sep 18, 2020
- Update modelsward2021 ebook model · 6887eddb
  apvrille authored 4 years ago
  
  6887eddb
Sep 17, 2020
- Added BFS/DFS choice, updated deadlock check on DFS · fc74a45f
  tempiaa authored 4 years ago
  
  fc74a45f
Aug 17, 2020
- Update on help, including avatar pragmas · 6192fcdc
  Ludovic Apvrille authored 4 years ago
  
  6192fcdc
Jul 23, 2020
- Exponential bounded model-checking for leadsTo pragmas to prove liveness... · 52be6228
  tempiaa authored 4 years ago
  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
  9ab6a8b3
Jul 21, 2020
- Added verification traces to internal action loop study · a9aae936
  tempiaa authored 4 years ago
  
  a9aae936
Jul 13, 2020
- Internal action loop check primitive version · d0274825
  tempiaa authored 4 years ago
  
  d0274825
Jul 03, 2020
- Few changes in graphical representation and documentation · 18f8caa8
  tempiaa authored 4 years ago
  
  18f8caa8
Jul 02, 2020
- Separate AUT and Text traces selection and change in the layout, fix · e78d6cbc
  tempiaa authored 4 years ago
  
  e78d6cbc
Jun 25, 2020
- Tests on compression · d451d5ba
  tempiaa authored 4 years ago
  
  d451d5ba
- More optimization for memory · da69f175
  tempiaa authored 4 years ago
  
  da69f175
Jun 19, 2020
- Added documentation on counterexample traces · 5208327b
  tempiaa authored 4 years ago
  
  5208327b
Jun 18, 2020
- Added counterexample traces graphs generations. Displayable in the graphs section · 2b818055
  tempiaa authored 4 years ago
  
  2b818055
Jun 17, 2020
- New counterexample traces in AUT graph format · 7492b217
  tempiaa authored 4 years ago
  
  7492b217
- Added traces generation for deadlock check · d13f1892
  tempiaa authored 4 years ago
  
  d13f1892
Jun 11, 2020
- First easy implementation of counterexamples for safety pragmas · b038b7ae
  tempiaa authored 4 years ago
  
  b038b7ae
Jun 10, 2020
- Correct management of stopped analysis in model-checker. Solved a bug on empty... · f6d60df9
  tempiaa authored 4 years ago
  f6d60df9
Jun 08, 2020
- Adding other distribution laws for after clauses · 6cd33e4f
  Ludovic Apvrille authored 4 years ago
  
  6cd33e4f
May 19, 2020
- Added re-initialization check property in avatar model-checker · 34528859
  tempiaa authored 4 years ago
  
  34528859