Commits · d6d58ca8a53cb6af0e4293eae9cb361a36e907e8 · mbe-tools / TTool

Oct 30, 2024
- Partial resolving on bug 415 on avatarspec drawing · 9cd17000
  Ludovic Apvrille authored 6 months ago
  
  9cd17000
Jul 16, 2024
- Adding tagging of tgcomponents · fbefedad
  Ludovic Apvrille authored 9 months ago
  
  fbefedad
Jun 06, 2024
- Adding original attributes · 032ff697
  Ludovic Apvrille authored 11 months ago
  
  032ff697
May 30, 2024
- Added rotating icon to computing intensive tasks · e6d23ab9
  Ludovic Apvrille authored 11 months ago
  
  e6d23ab9
Jun 28, 2023
- Adding command for graph to avatar · 931eb188
  Ludovic Apvrille authored 1 year ago
  
  931eb188
Jun 27, 2023
- Adding compact DG to TTool: first function al version · 329f8897
  Ludovic Apvrille authored 1 year ago
  
  329f8897
Jun 12, 2023
- Adding local deadlock backtracing · 9f732cac
  Ludovic Apvrille authored 1 year ago
  
  9f732cac
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