Commits · 637def7f543779d6296d4ebbcb81e2bc79b12d0e · mbe-tools / TTool

Browse files

Nov 16, 2023
- update on build version: build.txt · 637def7f
  Ludovic Apvrille authored Nov 16, 2023
  
  637def7f
Nov 15, 2023
- Merge branch 'pattern-generation' into 'master' · c4072540
  Ludovic Apvrille authored Nov 15, 2023
  c4072540
- merge from origin · fc69d4e8
  jerray authored Nov 15, 2023
  
  fc69d4e8
- cli: Execute command line that contains a comment · 09ee7bf3
  jerray authored Nov 15, 2023
  
  09ee7bf3
- Fix typos in the description of some pattern handling commands · efd889ce
  jerray authored Nov 15, 2023
  
  efd889ce
- add comments in script files that test pattern handling · d1ab82e5
  jerray authored Nov 15, 2023
  
  d1ab82e5
- Merge branch 'pattern-generation' into 'master' · 2ff5b19c
  Ludovic Apvrille authored Nov 15, 2023
  2ff5b19c
- merge from origin · 847a04e1
  jerray authored Nov 15, 2023
  
  847a04e1
- add suffix as parameter in draw TML and TMAP methods · ce27e898
  jerray authored Nov 15, 2023
  
  ce27e898
- fix indentation · c8b647c0
  jerray authored Nov 15, 2023
  
  c8b647c0
- Merge branch 'pattern-generation' into 'master' · 097ef106
  Ludovic Apvrille authored Nov 15, 2023
  097ef106
- update on build version: build.txt · 8dbf7cf0
  Ludovic Apvrille authored Nov 15, 2023
  
  8dbf7cf0
- Merge remote-tracking branch 'origin' into pattern-generation · 54308657
  jawher-j authored Nov 15, 2023
  
  54308657
- change patternHandling attributs access to private + add new test for pattern handling with errors · e1677723
  jawher-j authored Nov 15, 2023
  
  e1677723
Nov 14, 2023
- Merge branch 'revert-5d8a25f9 ' into 'master' · 9ad33b96
  Ludovic Apvrille authored Nov 14, 2023
  9ad33b96
- Revert "Merge branch 'jna_update' into 'master'" · 42fa75a6
  Ludovic Apvrille authored Nov 14, 2023
  42fa75a6
- Merge branch 'jna_update' into 'master' · 5d8a25f9
  Ludovic Apvrille authored Nov 14, 2023
  5d8a25f9
- update on build version: build.txt · e22f0ae3
  Ludovic Apvrille authored Nov 14, 2023
  
  e22f0ae3
- Adding help on security pragma · a5b8e24f
  Ludovic Apvrille authored Nov 14, 2023
  
  a5b8e24f
- Adding help on security pragma · 08019020
  Ludovic Apvrille authored Nov 14, 2023
  
  08019020
- add copyright header · 35718b7d
  jerray authored Nov 14, 2023
  
  35718b7d
- update on build version: build.txt · 3364e292
  Ludovic Apvrille authored Nov 14, 2023
  
  3364e292
Nov 13, 2023
- merge with master branch · 44e6638d
  jerray authored Nov 13, 2023
  
  44e6638d
- update pattern handling test · e7f842d3
  jerray authored Nov 13, 2023
  
  e7f842d3
- remove TraceManage for debugging · 7c1be343
  jerray authored Nov 13, 2023
  
  7c1be343
- add TMAP files comparator · 581bd4ea
  jerray authored Nov 13, 2023
  
  581bd4ea
- pattern handling add new test + commands · 9f71fc11
  jerray authored Nov 13, 2023
  
  9f71fc11
- update on build version: build.txt · c47b830c
  Ludovic Apvrille authored Nov 13, 2023
  
  c47b830c
Nov 12, 2023
- JNA: Update to 5.13.0 for ARM compatibility · 60e1b5fe
  Marvin Häuser authored Nov 1, 2023 and Marvin Häuser committed Nov 12, 2023
  60e1b5fe
- update on build version: build.txt · 8e125aa9
  Ludovic Apvrille authored Nov 12, 2023
  
  8e125aa9
Nov 11, 2023
- update on build version: build.txt · 92264deb
  Ludovic Apvrille authored Nov 11, 2023
  
  92264deb
Nov 10, 2023
- update pattern handling with cli + add new commands · 18445262
  jerray authored Nov 10, 2023
  
  18445262
- update on build version: build.txt · c8798044
  Ludovic Apvrille authored Nov 10, 2023
  
  c8798044
Nov 09, 2023
- Update on ProVerif prover wrong detection · dd88d053
  Ludovic Apvrille authored Nov 9, 2023
  
  dd88d053
- Adding check for ProVerif · ce8bdf8b
  Ludovic Apvrille authored Nov 9, 2023
  
  ce8bdf8b
- update on build version: build.txt · 7537d2e1
  Ludovic Apvrille authored Nov 9, 2023
  
  7537d2e1
Nov 08, 2023
- update pattern handling with cli · c0bf1bfd
  jerray authored Nov 8, 2023
  
  c0bf1bfd
- Update on variable management in Avatar · b203efbb
  Ludovic Apvrille authored Nov 8, 2023
  
  b203efbb
- update on build version: build.txt · 00a715b1
  Ludovic Apvrille authored Nov 8, 2023
  
  00a715b1
Nov 07, 2023
- update pattern handling cli · 281cd98f
  jerray authored Nov 7, 2023
  
  281cd98f