Commits · 755d0f0d347febe79e25d4c98fb7357629464940 · mbe-tools / TTool

Sep 15, 2022
- update on build version: build.txt · 755d0f0d
  Ludovic Apvrille authored 2 years ago
  
  755d0f0d
Sep 14, 2022
- update on build version: build.txt · 01addccf
  Ludovic Apvrille authored 2 years ago
  
  01addccf
Sep 13, 2022
- update on build version: build.txt · b39f8a32
  Ludovic Apvrille authored 2 years ago
  
  b39f8a32
Sep 12, 2022
- Update on Dependency graphs: better handling of useless states · 0ffc34ec
  Ludovic Apvrille authored 2 years ago
  
  0ffc34ec
- update on build version: build.txt · fed8a8e8
  Ludovic Apvrille authored 2 years ago
  
  fed8a8e8
Sep 11, 2022
- update on build version: build.txt · 92f7cfda
  Ludovic Apvrille authored 2 years ago
  
  92f7cfda
Sep 10, 2022
- update on build version: build.txt · 606c094f
  Ludovic Apvrille authored 2 years ago
  
  606c094f
Sep 09, 2022
- Merge branch 'fix-simulation-stop' into 'master' · 8accc260
  Ludovic Apvrille authored 2 years ago
  
  fix stop simulation See merge request !437
  8accc260
- Merge branch 'AMULETPatches' into 'master' · f37d334f
  Ludovic Apvrille authored 2 years ago
  
  Provisional workarounds on mutation compiler See merge request !441
  f37d334f
- restoring · f0965fae
  Bastien Sultan authored 2 years ago
  
  f0965fae
- Provisional workarounds on mutation compiler for handling transitions with... · 9e38e501
  Bastien Sultan authored 2 years ago
  
  Provisional workarounds on mutation compiler for handling transitions with several actions and signals with several parameters
  9e38e501
Sep 08, 2022
- delete writeSamples method · cb36f8ed
  jerray authored 2 years ago
  
  cb36f8ed
- update on build version: build.txt · 459d1a8f
  Ludovic Apvrille authored 2 years ago
  
  459d1a8f
Sep 07, 2022
- Merge branch 'AMULETPatches' into 'master' · c5968db5
  Ludovic Apvrille authored 2 years ago
  
  [AMULET] Patching several bugs in mutation compiler and adding some tests See merge request !440
  c5968db5
- Merge branch 'master' of https://gitlab.telecom-paris.fr/mbe-tools/TTool into AMULETPatches · 5b6fe4e2
  Bastien Sultan authored 2 years ago
  
  5b6fe4e2
- update rfc command · 41daf626
  jerray authored 2 years ago
  
  41daf626
- update on build version: build.txt · 233640cb
  Ludovic Apvrille authored 2 years ago
  
  233640cb
Sep 06, 2022
- Merge branch 'master' of https://gitlab.telecom-paris.fr/mbe-tools/TTool into AMULETPatches · 3422fb02
  Bastien Sultan authored 2 years ago
  
  3422fb02
- restoring .idea/runConfigurations.xml · ef5e06a8
  Bastien Sultan authored 2 years ago
  
  ef5e06a8
- Patching several bugs in mutation compiler and adding some tests · 77ae1208
  Bastien Sultan authored 2 years ago
  
  77ae1208
- Adding computation time for PLAN - diplodocus · 426ae21e
  Ludovic Apvrille authored 2 years ago
  
  426ae21e
- update on build version: build.txt · bc30fa6f
  Ludovic Apvrille authored 2 years ago
  
  bc30fa6f
Sep 05, 2022
- Merge branch 'AMULETPatches' into 'master' · 295ac85c
  Ludovic Apvrille authored 2 years ago
  
  Patching two methods on mutation compiler, creating a new CLI command for compiling a batch of mutations, adding some tests See merge request !439
  295ac85c
- restoring .idea/runConfigurations.xml · 465341d2
  Bastien Sultan authored 2 years ago
  
  465341d2
- Updating tests on mutation compiler · 7902788e
  Bastien Sultan authored 2 years ago
  
  7902788e
- Adding a new command for executing a batch of mutations from a file · 86ce2b81
  Bastien Sultan authored 2 years ago
  
  86ce2b81
- Merge branch 'master' of https://gitlab.telecom-paris.fr/mbe-tools/TTool into AMULETPatches · 06c004d1
  Bastien Sultan authored 2 years ago
  
  06c004d1
- update on build version: build.txt · bb1b2938
  Ludovic Apvrille authored 2 years ago
  
  bb1b2938
Sep 04, 2022
- update on build version: build.txt · 856f97cf
  Ludovic Apvrille authored 2 years ago
  
  856f97cf
Sep 03, 2022
- update on build version: build.txt · c2f2b2c5
  Ludovic Apvrille authored 2 years ago
  
  c2f2b2c5
Sep 02, 2022
- update on build version: build.txt · 423faf3f
  Ludovic Apvrille authored 2 years ago
  
  423faf3f
Sep 01, 2022
- update on build version: build.txt · 55c9fd52
  Ludovic Apvrille authored 2 years ago
  
  55c9fd52
Aug 31, 2022
- update on build version: build.txt · e9cdb013
  Ludovic Apvrille authored 2 years ago
  
  e9cdb013
Aug 30, 2022
- Patching AMULET state deletion and action on signal deletion methods · f288369c
  Bastien Sultan authored 2 years ago
  
  f288369c
- Merge branch 'master' of https://gitlab.telecom-paris.fr/mbe-tools/TTool into AMULETPatches · e3d3526d
  Bastien Sultan authored 2 years ago
  
  e3d3526d
- update on build version: build.txt · d97ad67d
  Ludovic Apvrille authored 2 years ago
  
  d97ad67d
Aug 29, 2022
- update on build version: build.txt · f3bb9ea3
  Ludovic Apvrille authored 2 years ago
  
  f3bb9ea3
- update on build version: build.txt · 740fa6e2
  Ludovic Apvrille authored 2 years ago
  
  740fa6e2
- Update on guard getOpposite for binary guards · 4f485f78
  Ludovic Apvrille authored 2 years ago
  
  4f485f78
Aug 24, 2022
- AMULET: patching state deletion method · ea5e2761
  Bastien Sultan authored 2 years ago
  
  ea5e2761