Commits · 54cd4f05a8b568a051b6077c1214ea8fa7f50abc · mbe-tools / TTool · GitLab

Snippets Groups Projects

Jun 19, 2023
- Reverting to previous avatarmodelchecker · 54cd4f05
  Ludovic Apvrille authored 1 year ago
  
  54cd4f05
- update on build version: build.txt · 51c0c42b
  Ludovic Apvrille authored 1 year ago
  
  51c0c42b
Jun 18, 2023
- update on build version: build.txt · c6921274
  Ludovic Apvrille authored 1 year ago
  
  c6921274
Jun 17, 2023
- update on build version: build.txt · 7b9b76af
  Ludovic Apvrille authored 1 year ago
  
  7b9b76af
Jun 16, 2023
- Reworking test on TMLArchiclone · bdd3bde7
  Ludovic Apvrille authored 1 year ago
  
  bdd3bde7
- update on build version: build.txt · 9c4fe1b3
  Ludovic Apvrille authored 1 year ago
  
  9c4fe1b3
Jun 15, 2023
- update on build version: build.txt · af543fbb
  Ludovic Apvrille authored 1 year ago
  
  af543fbb
Jun 14, 2023
- Adding AIStateMachine. Still not usable · 100ec0a5
  Ludovic Apvrille authored 1 year ago
  
  100ec0a5
- Resolving bug on pragma drawing · 440499d6
  Ludovic Apvrille authored 1 year ago
  
  440499d6
- Adding verification result · f7ca066b
  Ludovic Apvrille authored 1 year ago
  
  f7ca066b
- update on build version: build.txt · a746540e
  Ludovic Apvrille authored 1 year ago
  
  a746540e
Jun 13, 2023
- Update on JFrameAI: multichat now reworks · 55ece03b
  Ludovic Apvrille authored 1 year ago
  
  55ece03b
- Adding support for software blocks and help on sections of AI frame · 302db5f3
  Ludovic Apvrille authored 1 year ago
  
  302db5f3
- Adding the notion of tags to graphs · 2349339b
  Ludovic Apvrille authored 1 year ago
  
  2349339b
- update on build version: build.txt · 3569be56
  Ludovic Apvrille authored 1 year ago
  
  3569be56
Jun 12, 2023
- Adding test for deadlock modelchecker · ba194b16
  Ludovic Apvrille authored 1 year ago
  
  ba194b16
- Adding local deadlock backtracing · 9f732cac
  Ludovic Apvrille authored 1 year ago
  
  9f732cac
- update on build version: build.txt · ebd86921
  Ludovic Apvrille authored 1 year ago
  
  ebd86921
Jun 11, 2023
- update on build version: build.txt · 0b184684
  Ludovic Apvrille authored 1 year ago
  
  0b184684
Jun 10, 2023
- update on build version: build.txt · fa251694
  Ludovic Apvrille authored 1 year ago
  
  fa251694
Jun 09, 2023
- Update on AIBlock for better identification of signals · 985d0c94
  Ludovic Apvrille authored 1 year ago
  
  985d0c94
- Update on AIBlock · b140a4de
  Ludovic Apvrille authored 1 year ago
  
  b140a4de
- Resolving bug in test on clone panel · d7b7c98d
  Ludovic Apvrille authored 1 year ago
  
  d7b7c98d
- update on build version: build.txt · dd9a8d49
  Ludovic Apvrille authored 1 year ago
  
  dd9a8d49
Jun 08, 2023
- Improvement on AvatarSpec drawing · 796b407a
  Ludovic Apvrille authored 1 year ago
  
  796b407a
- Improvement on drawing Avatar spec: connectors · ae8a9a05
  Ludovic Apvrille authored 1 year ago
  
  ae8a9a05
- Removing syntax model checking from applyMutation · 51ab6037
  Ludovic Apvrille authored 1 year ago
  
  51ab6037
- Resolving bug on drawing Avatar Spec with timers · 910970fa
  Ludovic Apvrille authored 1 year ago
  
  910970fa
- update on build version: build.txt · 08d62a50
  Ludovic Apvrille authored 1 year ago
  
  08d62a50
Jun 07, 2023
- Merge branch 'auth-check-in-AD' into 'master' · 6bfa80e1
  Ludovic Apvrille authored 1 year ago
  
  Clear authenticity results in AD when pressing "Clear verification results" button See merge request !461
  6bfa80e1
- Update on block identification management · 1473b044
  Ludovic Apvrille authored 1 year ago
  
  1473b044
- clear authenticity results in AD when pressing "Clear verification results" buttom · 413dd15e
  jerray authored 1 year ago
  
  413dd15e
- update on build version: build.txt · e078b432
  Ludovic Apvrille authored 1 year ago
  
  e078b432
Jun 06, 2023
- Merge branch 'auth-check-in-AD' into 'master' · 113534b9
  Ludovic Apvrille authored 1 year ago
  
  Check Authenticity in AD + other updates See merge request !460
  113534b9
- Update on AIAmulet: adding diagram content · cb042e42
  Ludovic Apvrille authored 1 year ago
  
  cb042e42
- Adding suport for AIAmulet. Drawing still fails when father/child blocks ... or mutations? · 7266966a
  Ludovic Apvrille authored 1 year ago
  
  7266966a
- Merge branch 'master' into 'auth-check-in-AD' · ba279f33
  Jawher Jerray authored 1 year ago
  
  # Conflicts: # src/main/java/avatartranslator/AvatarAttributeState.java
  ba279f33
- update drawAuth functions + format code · 1c0ea804
  jerray authored 1 year ago
  
  1c0ea804
- Update on JFrameAI for separating graphical from non graphical aspects. Still to be done for AMULET · e81a805b
  Ludovic Apvrille authored 1 year ago
  
  e81a805b
- update on build version: build.txt · 58ff2a36
  Ludovic Apvrille authored 1 year ago
  
  58ff2a36