Commits · 1060fdb24dc9ed3380b7108825859e7d848e47cf · mbe-tools / TTool

May 30, 2024
- Adding rotating icon for proverif verification · 4a7475c6
  Ludovic Apvrille authored 9 months ago
  
  4a7475c6
May 21, 2024
- Centering stat frame · f7cba1a8
  Ludovic Apvrille authored 10 months ago
  
  f7cba1a8
Mar 15, 2024
- Update on AI model · 5f032a35
  Ludovic Apvrille authored 1 year ago and Alan Birchler De Allende committed 1 year ago
  
  5f032a35
Feb 29, 2024
- Update on AI model · 33a1ce60
  Ludovic Apvrille authored 1 year ago
  
  33a1ce60
Nov 15, 2023

JNA: Update to 5.13.0 for ARM compatibility · e8ff2b12

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.

e8ff2b12

Nov 14, 2023
- Revert "Merge branch 'jna_update' into 'master'" · 42fa75a6
  Ludovic Apvrille authored 1 year ago
  
  This reverts merge request !471
  42fa75a6
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

Sep 28, 2023
- Improving design with AI · 82605a4e
  Ludovic Apvrille authored 1 year ago
  
  82605a4e
Sep 21, 2023
- Resolving a few bugs on TTool ai · 777f2955
  Ludovic Apvrille authored 1 year ago
  
  777f2955
Aug 02, 2023
- Adding new ai blocks identification · 459a5169
  Ludovic Apvrille authored 1 year ago
  
  459a5169
Jul 07, 2023
- Resolving bug on main diagram in reset proverif backtracing · cab9e55b
  Ludovic Apvrille authored 1 year ago
  
  cab9e55b
Jun 20, 2023
- reintroduce Ludovic's small modifying... · 1fc37774
  Sophie Coudert authored 1 year ago
  
  1fc37774
- inhibiting parser output messages on stderr and stdout · c3039054
  Sophie Coudert authored 1 year ago
  
  c3039054
- Adding onglet JFrameAI · 336ae598
  Ludovic Apvrille authored 1 year ago
  
  336ae598
- issue: #385 , correctif OK · dc001326
  Sophie Coudert authored 1 year ago
  
  dc001326
- issue: #385 , correctif 1 · 7187ad59
  Sophie Coudert authored 1 year ago
  
  7187ad59
Jun 19, 2023
- Reverting to previous avatarmodelchecker · 54cd4f05
  Ludovic Apvrille authored 1 year ago
  
  54cd4f05
Jun 05, 2023
- Update on ai from cli and dedicated window · 63d32cf5
  Ludovic Apvrille authored 1 year ago
  
  63d32cf5
Jun 02, 2023
- Rmprovements on JFrameAI · e9eca1a0
  Ludovic Apvrille authored 1 year ago
  
  e9eca1a0
- IBS Comments reviewed and code style enhanced · 4ed1467a
  Sophie Coudert authored 1 year ago
  
  4ed1467a
Jun 01, 2023
- review most of IBS javadoc comments. remains TO DO: IBSStdLexer, IBSStdParser, package-info · 4891da60
  Sophie Coudert authored 1 year ago
  
  4891da60
May 30, 2023
- complete and update some IBS javadoc comments · 88a11bad
  Sophie Coudert authored 1 year ago
  
  88a11bad
- IBS wrapper classes added for AVATAR and ClosedFormula instantiations · 7f2e7bb3
  Sophie Coudert authored 1 year ago
  
  7f2e7bb3
May 26, 2023
- work in progress · 5a015d97
  Sophie Coudert authored 1 year ago
  
  5a015d97
May 25, 2023
- renaming some classes · c5f47967
  Sophie Coudert authored 1 year ago
  
  c5f47967
- some little simplifying · aafdc95b
  Sophie Coudert authored 1 year ago
  
  aafdc95b
- some tests added for IBSStdExpressionClass · dd962e28
  Sophie Coudert authored 1 year ago
  
  dd962e28
May 24, 2023
- mini typos · b93b46f4
  Sophie Coudert authored 1 year ago
  
  b93b46f4
- IBSStdExpressionClass enriched and javadoc-documented. not tested · fded5611
  Sophie Coudert authored 1 year ago
  
  fded5611
May 23, 2023
- sauvegarde · 7bad78be
  Sophie Coudert authored 1 year ago
  
  7bad78be
May 22, 2023
- save · 59248354
  Sophie Coudert authored 1 year ago
  
  59248354
- enriched IBS Expression Class · 17f69266
  Sophie Coudert authored 1 year ago
  
  17f69266
May 15, 2023
- Adding multichat AI · 64c46967
  Ludovic Apvrille authored 1 year ago
  
  64c46967
May 12, 2023
- Adding support for requirements from chatGPT answer · af98c128
  Ludovic Apvrille authored 1 year ago
  
  af98c128
May 03, 2023
- Adding history in chat · dc85b1f3
  Ludovic Apvrille authored 1 year ago
  
  dc85b1f3
Apr 13, 2023
- small typo · e025d9f2
  Sophie Coudert authored 1 year ago
  
  e025d9f2
- save... · ab6393fc
  Sophie Coudert authored 1 year ago
  
  ab6393fc
- little simplifying in IBSStdExpressionClass · 8b8aa7fc
  Sophie Coudert authored 1 year ago
  
  8b8aa7fc
- constant propagation in IBSOptParser · c7e10904
  Sophie Coudert authored 1 year ago
  
  c7e10904
Apr 12, 2023
- enhancement constant_propagation in progress (new parser IBSOptParser) · 179e431d
  Sophie Coudert authored 1 year ago
  
  179e431d