Commits · 3d81901ff953fd5eb83b6b4fd1e20010ae431701 · mbe-tools / TTool · GitLab

Snippets Groups Projects

Mar 31, 2021
- Improving the avatar expression checker : TRUE and FALSE are now detected as... · 3d81901f
  Ludovic Apvrille authored 3 years ago
  
  Improving the avatar expression checker : TRUE and FALSE are now detected as invalid, as it should be - ticket 304
  3d81901f
- Adding tests on pragmas and resolving ticket 303 on simulation coverage · 99f47731
  Ludovic Apvrille authored 3 years ago
  
  99f47731
Mar 30, 2021
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · 5a15bb8e
  Ludovic Apvrille authored 3 years ago
  
  5a15bb8e
- Update on UPPAAL pragmas with DataTypes · 93c6893f
  Ludovic Apvrille authored 3 years ago
  
  93c6893f
Mar 29, 2021
- update on build version: build.txt · 1acfee3f
  Ludovic Apvrille authored 3 years ago
  
  1acfee3f
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · 9c1366e2
  Ludovic Apvrille authored 3 years ago
  
  9c1366e2
- Update on safety prag backtracing · 8daa5352
  Ludovic Apvrille authored 3 years ago
  
  8daa5352
- update on build version: build.txt · 7d42abc7
  Ludovic Apvrille authored 3 years ago
  
  7d42abc7
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · 8e433bbc
  Ludovic Apvrille authored 3 years ago
  
  8e433bbc
- Update on pragma with data types · 20ce1e7e
  Ludovic Apvrille authored 3 years ago
  
  20ce1e7e
- update on build version: build.txt · b2948126
  Ludovic Apvrille authored 3 years ago
  
  b2948126
- update on build version: build.txt · 128c5f4f
  Ludovic Apvrille authored 3 years ago
  
  128c5f4f
Mar 26, 2021
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · 6134594c
  Ludovic Apvrille authored 3 years ago
  
  6134594c
- Update on CP handling: removing the need for a size variable · 8108b715
  Ludovic Apvrille authored 3 years ago
  
  8108b715
- update on build version: build.txt · 8990e45e
  Ludovic Apvrille authored 3 years ago
  
  8990e45e
- update on build version: build.txt · c7b5e4d5
  Ludovic Apvrille authored 3 years ago
  
  c7b5e4d5
- update on build version: build.txt · a15bf92f
  Ludovic Apvrille authored 3 years ago
  
  a15bf92f
- Adding restriction on composition and aggreations on actors in context diagrams · b54d283f
  Ludovic Apvrille authored 3 years ago
  
  b54d283f
Mar 25, 2021
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · c1f5d996
  Ludovic Apvrille authored 3 years ago
  
  c1f5d996
- Update on image loading · 59a4d41f
  Ludovic Apvrille authored 3 years ago
  
  59a4d41f
Mar 24, 2021
- update on build version: build.txt · 835cc9b7
  Ludovic Apvrille authored 3 years ago
  
  835cc9b7
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · 0aa12d18
  Ludovic Apvrille authored 3 years ago
  
  0aa12d18
- Update on customized color · afb893be
  Ludovic Apvrille authored 3 years ago
  
  afb893be
- update on build version: build.txt · 4bc8f7d4
  Ludovic Apvrille authored 3 years ago
  
  4bc8f7d4
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · 43f353f7
  Ludovic Apvrille authored 3 years ago
  
  43f353f7
- Update on patch for specia in CD · 4e823bb9
  Ludovic Apvrille authored 3 years ago
  
  4e823bb9
- update on build version: build.txt · 67babb89
  Ludovic Apvrille authored 3 years ago
  
  67babb89
- Ticket 298: adding specialization link for Context Diagram · 50be8edc
  Ludovic Apvrille authored 3 years ago
  
  50be8edc
- Merge branch 'LIP6' into 'master' · 1863c554
  Ludovic Apvrille authored 3 years ago
  
  Lip6 See merge request !409
  1863c554
- update on build version: build.txt · eadef037
  Ludovic Apvrille authored 3 years ago
  
  eadef037
Mar 23, 2021
- update on build version: build.txt · 98d20174
  Ludovic Apvrille authored 3 years ago
  
  98d20174
- Update on dependency graphs · e5b65442
  Ludovic Apvrille authored 3 years ago
  
  e5b65442
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · d0c58e74
  Ludovic Apvrille authored 3 years ago
  
  d0c58e74
- Update on dependency graph generation: reducing avatar spec · 6ced27ba
  Ludovic Apvrille authored 3 years ago
  
  6ced27ba
- update on build version: build.txt · 003df7f7
  Ludovic Apvrille authored 3 years ago
  
  003df7f7
Mar 22, 2021
- update on build version: build.txt · 3bb80678
  Ludovic Apvrille authored 3 years ago
  
  3bb80678
Mar 21, 2021
- update on build version: build.txt · 8b3762f8
  Ludovic Apvrille authored 3 years ago
  
  8b3762f8
Mar 20, 2021
- update on build version: build.txt · 13e00795
  Ludovic Apvrille authored 3 years ago
  
  13e00795
Mar 19, 2021
- update on build version: build.txt · 56fb2aaf
  Ludovic Apvrille authored 3 years ago
  
  56fb2aaf
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · 65c2077c
  Ludovic Apvrille authored 3 years ago
  
  65c2077c