Commits · 5a3cc7afc1570624fd2ca921b690b8f3a623a4eb · mbe-tools / TTool · GitLab

Snippets Groups Projects

Mar 24, 2023
- delete pdf files + update last changes about help · 5a3cc7af
  jerray authored 2 years ago
  
  5a3cc7af
Mar 23, 2023
- Add help buttons in security Tab for channels operations windows · a2b31204
  jerray authored 2 years ago
  
  a2b31204
- Fix a bug when displaying the architecture name during the backtracing · a556bca9
  jerray authored 2 years ago
  
  a556bca9
- Update and fix warnings in SysMLSecTutorial model · 2f817a07
  jerray authored 2 years ago
  
  2f817a07
- Update SysMLSec doc and add figures · 379adf1e
  jerray authored 2 years ago
  
  379adf1e
- Update and fix warnings in AliceAndBob model · 4d65826c
  jerray authored 2 years ago
  
  4d65826c
- Update diplodocus tutorial doc · 47e4168a
  jerray authored 2 years ago
  
  47e4168a
- Resolving bug on loading calls to lib func. · 046dc50f
  Ludovic Apvrille authored 2 years ago
  
  046dc50f
- Solving bug in CLIdiplotoavatartest bug · 2c4ed7a0
  Ludovic Apvrille authored 2 years ago
  
  2c4ed7a0
- Resolving bug on drawing avatar spec when doing proverif verification · 05ea6cb8
  Ludovic Apvrille authored 2 years ago
  
  05ea6cb8
- Resolving bug on drawing avatar spec when doing proverif verification · 9f44a3d5
  Ludovic Apvrille authored 2 years ago
  
  9f44a3d5
- update on build version: build.txt · 291a5f07
  Ludovic Apvrille authored 2 years ago
  
  291a5f07
Mar 22, 2023
- Removing useless messages · d7afec72
  Ludovic Apvrille authored 2 years ago
  
  d7afec72
- Handling names of avatarmethod: exceptions for secuirty methods · 63e2d965
  Ludovic Apvrille authored 2 years ago
  
  63e2d965
- update on build version: build.txt · bbf111e8
  Ludovic Apvrille authored 2 years ago
  
  bbf111e8
Mar 21, 2023
- Adding syntax checking for upper case and lower case names · fd2cd782
  Ludovic Apvrille authored 2 years ago
  
  fd2cd782
- update on build version: build.txt · 23d2a35d
  Ludovic Apvrille authored 2 years ago
  
  23d2a35d
- update on build version: build.txt · cee7dcda
  Ludovic Apvrille authored 2 years ago
  
  cee7dcda
- update on build version: build.txt · 47eb074c
  Ludovic Apvrille authored 2 years ago
  
  47eb074c
- update on build version: build.txt · 2d343f19
  Ludovic Apvrille authored 2 years ago
  
  2d343f19
- Adding arnings for names of blocks, names of attributes, names of methods and names of signals · eeafb05c
  Ludovic Apvrille authored 2 years ago
  
  eeafb05c
Mar 20, 2023
- Adding more information on security in the internal help of TTool · 8518fea0
  Ludovic Apvrille authored 2 years ago
  
  8518fea0
- Resolving bug on using timers in guard · caefaa42
  Ludovic Apvrille authored 2 years ago
  
  caefaa42
Mar 17, 2023
- improvement on transitions info manipulation · 2d983910
  Ludovic Apvrille authored 2 years ago
  
  2d983910
- Enhancing manipulation of transition actions · ef6b2360
  Ludovic Apvrille authored 2 years ago
  
  ef6b2360
- Enhancing actions guards in TTool: resizable · ceb101ba
  Ludovic Apvrille authored 2 years ago
  
  ceb101ba
- Chaging the way expressions in Avatar are pointed. Still to implement resize · c82111e9
  Ludovic Apvrille authored 2 years ago
  
  c82111e9
Mar 16, 2023
- Ticket 367 resolved: adding an information when no sec. properties were proved · b1b93728
  Ludovic Apvrille authored 2 years ago
  
  b1b93728
- Adding help for model-checking window · 173fbdfd
  Ludovic Apvrille authored 2 years ago
  
  173fbdfd
Mar 15, 2023
- Adding warning for mapping channels · 3dfb7523
  Ludovic Apvrille authored 2 years ago
  
  3dfb7523
- Update on mapping warning for sec. conf. · 7a0ab00e
  Ludovic Apvrille authored 2 years ago
  
  7a0ab00e
- Bug on library fuction clone solved · e9081618
  Ludovic Apvrille authored 2 years ago
  
  e9081618
- Update on help of safety pragmas in avatar · 1bc5d18d
  Ludovic Apvrille authored 2 years ago
  
  1bc5d18d
Mar 14, 2023
- Update on clone of library functions. Still not working well · 5110702f
  Ludovic Apvrille authored 2 years ago
  
  5110702f
- Resolving bug on block clone when the block contains a lib func call. Still... · b9df7ae9
  Ludovic Apvrille authored 2 years ago
  
  Resolving bug on block clone when the block contains a lib func call. Still cannot clone a library function
  b9df7ae9
Mar 13, 2023
- update on build version: build.txt · 216b782c
  Ludovic Apvrille authored 2 years ago
  
  216b782c
Mar 12, 2023
- update on build version: build.txt · 1510231e
  Ludovic Apvrille authored 2 years ago
  
  1510231e
Mar 11, 2023
- update on build version: build.txt · 1de2f6cd
  Ludovic Apvrille authored 2 years ago
  
  1de2f6cd
Mar 10, 2023
- update on build version: build.txt · 917c96b9
  Ludovic Apvrille authored 2 years ago
  
  917c96b9
Mar 09, 2023
- update on build version: build.txt · 7ffc13c7
  Ludovic Apvrille authored 2 years ago
  
  7ffc13c7