Commits · b02a6d996c9a1ab2fecb446a2ab493d1439246f7 · mbe-tools / TTool · GitLab

Snippets Groups Projects

Apr 12, 2021
- Resolving ticket 311 · b02a6d99
  Ludovic Apvrille authored 3 years ago
  
  b02a6d99
- update on build version: build.txt · 603a65c0
  Ludovic Apvrille authored 3 years ago
  
  603a65c0
Apr 11, 2021
- update on build version: build.txt · f2430156
  Ludovic Apvrille authored 3 years ago
  
  f2430156
Apr 10, 2021
- update on build version: build.txt · edbc3360
  Ludovic Apvrille authored 3 years ago
  
  edbc3360
Apr 09, 2021
- Adding libf func call · 4b449215
  Ludovic Apvrille authored 3 years ago
  
  4b449215
- update on build version: build.txt · 81c44db9
  Ludovic Apvrille authored 3 years ago
  
  81c44db9
- update on build version: build.txt · 8d4a01f6
  Ludovic Apvrille authored 3 years ago
  
  8d4a01f6
- update on build version: build.txt · d34d0b08
  Ludovic Apvrille authored 3 years ago
  
  d34d0b08
- update on build version: build.txt · e3bc9e40
  Ludovic Apvrille authored 3 years ago
  
  e3bc9e40
Apr 08, 2021
- Adding query op · c8fb3d86
  Ludovic Apvrille authored 3 years ago
  
  c8fb3d86
- Adding query fifo in simulation · dcb7fb48
  Ludovic Apvrille authored 3 years ago
  
  dcb7fb48
- New smartcard protocol · 0dcc3e4c
  Ludovic Apvrille authored 3 years ago
  
  0dcc3e4c
Apr 07, 2021
- Update on query dialog · 89a687ff
  Ludovic Apvrille authored 3 years ago
  
  89a687ff
- Update on Activity diagram. First addition of query signal avatarsmd. Still not operational · 9bf79708
  Ludovic Apvrille authored 3 years ago
  
  9bf79708
Apr 01, 2021
- Adding UUID to elements of diagrams TGComponent · a4ce4102
  Ludovic Apvrille authored 3 years ago
  
  a4ce4102
Mar 31, 2021
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · 8a39a62d
  Ludovic Apvrille authored 3 years ago
  
  8a39a62d
- Update on test for modelchecker · 0c047055
  Ludovic Apvrille authored 3 years ago
  
  0c047055
- update on build version: build.txt · c1d067fc
  Ludovic Apvrille authored 3 years ago
  
  c1d067fc
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · e117687d
  Ludovic Apvrille authored 3 years ago
  
  e117687d
- 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
- update on build version: build.txt · 46fa5c37
  Ludovic Apvrille authored 3 years ago
  
  46fa5c37
- update on build version: build.txt · d3bbb49e
  Ludovic Apvrille authored 3 years ago
  
  d3bbb49e
- 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