Commits · 2d343f19a1875e90460c647aea5dd7635e4db0bf · mbe-tools / TTool · GitLab

Snippets Groups Projects

Mar 21, 2023
- 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
Mar 08, 2023
- update on build version: build.txt · 07805768
  Ludovic Apvrille authored 2 years ago
  
  07805768
Mar 07, 2023
- update on build version: build.txt · 04ab3b56
  Ludovic Apvrille authored 2 years ago
  
  04ab3b56
- update on build version: build.txt · ecf5580e
  Ludovic Apvrille authored 2 years ago
  
  ecf5580e
Mar 05, 2023
- update on build version: build.txt · 112c911d
  Ludovic Apvrille authored 2 years ago
  
  112c911d
Mar 04, 2023
- update on build version: build.txt · c55b3cc1
  Ludovic Apvrille authored 2 years ago
  
  c55b3cc1
Mar 03, 2023
- update on build version: build.txt · 0bdcbced
  Ludovic Apvrille authored 2 years ago
  
  0bdcbced
Mar 02, 2023
- update on build version: build.txt · 183a63ed
  Ludovic Apvrille authored 2 years ago
  
  183a63ed
Mar 01, 2023
- update on build version: build.txt · 8eb3d3fb
  Ludovic Apvrille authored 2 years ago
  
  8eb3d3fb
Feb 28, 2023
- Adding drawing with CLI of tmap · 81ea8678
  Ludovic Apvrille authored 2 years ago
  
  81ea8678
- Added privacy for buses in tarchi spec · 396f8d9c
  Ludovic Apvrille authored 2 years ago
  
  396f8d9c
- update on build version: build.txt · 8741a7e8
  Ludovic Apvrille authored 2 years ago
  
  8741a7e8
Feb 27, 2023
- Adding drawing of bridges · 0c8c953b
  Ludovic Apvrille authored 2 years ago
  
  0c8c953b
- Improving loading and drawing of TMAP from textual spec · 6182da5a
  Ludovic Apvrille authored 2 years ago
  
  6182da5a
- Adding sec mapping generation in mapping · 93011cd5
  Ludovic Apvrille authored 2 years ago
  
  93011cd5
- Adding loading of security configuration from TML spec · 6d236813
  Ludovic Apvrille authored 2 years ago
  
  6d236813
- Added conf/auth channels to TML spec, and back to laded spec · 9cbbcab8
  Ludovic Apvrille authored 2 years ago
  
  9cbbcab8
- update on build version: build.txt · 8b025db3
  Ludovic Apvrille authored 2 years ago
  
  8b025db3
Feb 26, 2023
- update on build version: build.txt · 911ee34a
  Ludovic Apvrille authored 2 years ago
  
  911ee34a
Feb 25, 2023
- update on build version: build.txt · 97d83022
  Ludovic Apvrille authored 2 years ago
  
  97d83022