Commits · 8dbf7cf05c464dd668a65b0877233d1a7891b985 · mbe-tools / TTool

Nov 15, 2023
- update on build version: build.txt · 8dbf7cf0
  Ludovic Apvrille authored 1 year ago
  
  8dbf7cf0
Nov 14, 2023
- Merge branch 'revert-5d8a25f9 ' into 'master' · 9ad33b96
  Ludovic Apvrille authored 1 year ago
  
  Revert "Merge branch 'jna_update' into 'master'" See merge request !473
  9ad33b96
- Revert "Merge branch 'jna_update' into 'master'" · 42fa75a6
  Ludovic Apvrille authored 1 year ago
  
  This reverts merge request !471
  42fa75a6
- Merge branch 'jna_update' into 'master' · 5d8a25f9
  Ludovic Apvrille authored 1 year ago
  
  JNA: Update to 5.13.0 for ARM compatibility See merge request !471
  5d8a25f9
- update on build version: build.txt · e22f0ae3
  Ludovic Apvrille authored 1 year ago
  
  e22f0ae3
- Adding help on security pragma · a5b8e24f
  Ludovic Apvrille authored 1 year ago
  
  a5b8e24f
- Adding help on security pragma · 08019020
  Ludovic Apvrille authored 1 year ago
  
  08019020
- update on build version: build.txt · 3364e292
  Ludovic Apvrille authored 1 year ago
  
  3364e292
Nov 13, 2023
- update on build version: build.txt · c47b830c
  Ludovic Apvrille authored 1 year ago
  
  c47b830c
Nov 12, 2023

JNA: Update to 5.13.0 for ARM compatibility · 60e1b5fe

Marvin Häuser authored 1 year ago and

Marvin Häuser committed 1 year ago

Currently, terminal support is broken on macOS and Linux on AARCH64,
because JNA 3.3.0 does not support this architecture. Update the library
to the latest version, which supports AARCH64 and enables terminal
support.

60e1b5fe

update on build version: build.txt · 8e125aa9
Ludovic Apvrille authored 1 year ago

8e125aa9

Nov 11, 2023
- update on build version: build.txt · 92264deb
  Ludovic Apvrille authored 1 year ago
  
  92264deb
Nov 10, 2023
- update on build version: build.txt · c8798044
  Ludovic Apvrille authored 1 year ago
  
  c8798044
Nov 09, 2023
- Update on ProVerif prover wrong detection · dd88d053
  Ludovic Apvrille authored 1 year ago
  
  dd88d053
- Adding check for ProVerif · ce8bdf8b
  Ludovic Apvrille authored 1 year ago
  
  ce8bdf8b
- update on build version: build.txt · 7537d2e1
  Ludovic Apvrille authored 1 year ago
  
  7537d2e1
Nov 08, 2023
- Update on variable management in Avatar · b203efbb
  Ludovic Apvrille authored 1 year ago
  
  b203efbb
- update on build version: build.txt · 00a715b1
  Ludovic Apvrille authored 1 year ago
  
  00a715b1
Nov 07, 2023
- update on build version: build.txt · 4ddcd629
  Ludovic Apvrille authored 1 year ago
  
  4ddcd629
- Solving bug on Avatar simulation · cec1cbdf
  Ludovic Apvrille authored 1 year ago
  
  cec1cbdf
- update on build version: build.txt · 5ef075eb
  Ludovic Apvrille authored 1 year ago
  
  5ef075eb
Nov 06, 2023
- update on build version: build.txt · 4773db59
  Ludovic Apvrille authored 1 year ago
  
  4773db59
Nov 05, 2023
- update on build version: build.txt · 65e5989e
  Ludovic Apvrille authored 1 year ago
  
  65e5989e
Nov 04, 2023
- update on build version: build.txt · 499d7175
  Ludovic Apvrille authored 1 year ago
  
  499d7175
Nov 03, 2023
- update on build version: build.txt · 395290ad
  Ludovic Apvrille authored 1 year ago
  
  395290ad
Nov 02, 2023
- update on build version: build.txt · e4b2a172
  Ludovic Apvrille authored 1 year ago
  
  e4b2a172
Nov 01, 2023
- update on build version: build.txt · 86637f96
  Ludovic Apvrille authored 1 year ago
  
  86637f96
Oct 31, 2023
- update on build version: build.txt · df726ab7
  Ludovic Apvrille authored 1 year ago
  
  df726ab7
Oct 30, 2023
- update on build version: build.txt · abdd0016
  Ludovic Apvrille authored 1 year ago
  
  abdd0016
Oct 29, 2023
- update on build version: build.txt · a5b57a1a
  Ludovic Apvrille authored 1 year ago
  
  a5b57a1a
Oct 28, 2023
- update on build version: build.txt · a570b427
  Ludovic Apvrille authored 1 year ago
  
  a570b427
Oct 27, 2023
- update on build version: build.txt · 2013a69e
  Ludovic Apvrille authored 1 year ago
  
  2013a69e
Oct 26, 2023
- Adding getkey and host function in toproverif translation · a0f41c81
  Ludovic Apvrille authored 1 year ago
  
  a0f41c81
- update on build version: build.txt · e17741f4
  Ludovic Apvrille authored 1 year ago
  
  e17741f4
Oct 25, 2023
- update on build version: build.txt · d05f3381
  Ludovic Apvrille authored 1 year ago
  
  d05f3381
Oct 24, 2023
- update on build version: build.txt · fc68ae43
  Ludovic Apvrille authored 1 year ago
  
  fc68ae43
Oct 23, 2023
- update on build version: build.txt · e87b213a
  Ludovic Apvrille authored 1 year ago
  
  e87b213a
Oct 22, 2023
- update on build version: build.txt · 0519ab42
  Ludovic Apvrille authored 1 year ago
  
  0519ab42
Oct 21, 2023
- update on build version: build.txt · a3f790b3
  Ludovic Apvrille authored 1 year ago
  
  a3f790b3
Oct 20, 2023
- update on build version: build.txt · b0af1e9a
  Ludovic Apvrille authored 1 year ago
  
  b0af1e9a