Commits · c7903eca98bb876ea62b90785366ee39c19e21c7 · mbe-tools / TTool

Nov 15, 2023
- Adding new features and patching JURASSIC AMULET compiler · c7903eca
  Bastien Sultan authored 1 year ago
  
  c7903eca
- Merge branch 'master' of https://gitlab.telecom-paris.fr/mbe-tools/TTool into JURASSIC · 24b48064
  Bastien Sultan authored 1 year ago
  
  24b48064
- Patching JURASSIC compiler, adding new features and adding a new command for... · 6e54350f
  Bastien Sultan authored 1 year ago
  
  Patching JURASSIC compiler, adding new features and adding a new command for performing a batch of mutations
  6e54350f
- 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
- Merge branch 'master' of https://gitlab.telecom-paris.fr/mbe-tools/TTool into JURASSIC · a8ce8f7d
  Bastien Sultan authored 1 year ago
  
  a8ce8f7d
- update on build version: build.txt · 3364e292
  Ludovic Apvrille authored 1 year ago
  
  3364e292
Nov 13, 2023
- Merge branch 'master' of https://gitlab.telecom-paris.fr/mbe-tools/TTool into JURASSIC · e65df4b9
  Bastien Sultan authored 1 year ago
  
  e65df4b9
- Adding new features to JURASSIC compiler · 5040cbcb
  Bastien Sultan authored 1 year ago
  
  5040cbcb
- 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
- Merge branch 'master' of https://gitlab.telecom-paris.fr/mbe-tools/TTool into JURASSIC · be6a9e1e
  Bastien Sultan authored 1 year ago
  
  be6a9e1e
- Adding some new features to JURASSIC AMULET compiler · dbbca8e8
  Bastien Sultan authored 1 year ago
  
  dbbca8e8
- update on build version: build.txt · c8798044
  Ludovic Apvrille authored 1 year ago
  
  c8798044
Nov 09, 2023
- Merge branch 'master' of https://gitlab.telecom-paris.fr/mbe-tools/TTool into JURASSIC · 48f831e1
  Bastien Sultan authored 1 year ago
  
  48f831e1
- Patching some bugs on JURASSIC compiler · b2cfcfec
  Bastien Sultan authored 1 year ago
  
  b2cfcfec
- 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
- Merge branch 'master' of https://gitlab.telecom-paris.fr/mbe-tools/TTool into JURASSIC · c4dc224b
  Bastien Sultan authored 1 year ago
  
  c4dc224b
- Adding new commands to JURASSIC compiler · ef0d2b68
  Bastien Sultan authored 1 year ago
  
  ef0d2b68
- 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