Commits · LIP6 · mbe-tools / TTool · GitLab

Snippets Groups Projects

Jun 21, 2021
- debug · 39b946ed
  Daniela Genius authored 3 years ago
  
  39b946ed
- modified PrimitiveCode.java to take into account sensitivity · 8a0c101f
  Daniela Genius authored 3 years ago
  
  8a0c101f
Apr 13, 2021
- Merge branch 'master' into LIP6 · cd4f694f
  Daniela Genius authored 3 years ago
  
  cd4f694f
- update on build version: build.txt · 6a06cdfd
  Ludovic Apvrille authored 3 years ago
  
  6a06cdfd
Apr 12, 2021
- Query now implemented · ce4b3b0b
  Ludovic Apvrille authored 3 years ago
  
  ce4b3b0b
- Update on code generator with query · 7bba7b00
  Ludovic Apvrille authored 3 years ago
  
  7bba7b00
- Update on code generator to handle query on signals · 6768a5bf
  Ludovic Apvrille authored 3 years ago
  
  6768a5bf
- 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