Commits · 18bbe6ba6c99ae6444249447e63384bd57dc2aea · mbe-tools / TTool

Jul 03, 2024
- Add timeout for Proverif processes in tests + rename cli PatternHandling class · 18bbe6ba
  jerray authored 8 months ago
  
  18bbe6ba
Jul 01, 2024
- Update TMLattribute spec comparator · 15530ae3
  jerray authored 8 months ago
  
  15530ae3
- Update Diplodocus security tests · a6142bd2
  jerray authored 8 months ago
  
  a6142bd2
- rename equalSpec method + Put TMLComparingMethod funcs static + Move... · 7b1b1000
  jerray authored 8 months ago
  
  rename equalSpec method + Put TMLComparingMethod funcs static + Move compareTMLFiles and compareTMAPFiles to FileUtils and Use process in security tests
  7b1b1000
Jun 28, 2024
- update Spec TMAP comparator + update auto sec tests · 4e15c27b
  jerray authored 8 months ago
  
  4e15c27b
Jun 27, 2024
- test Security generation : Check before if proverif is in PATH · 99437e73
  jerray authored 8 months ago
  
  99437e73
- test Security Generation: Check before if proverif is in PATH · 9e174722
  jerray authored 8 months ago
  
  9e174722
- update test Security Generation · b8843ec5
  jerray authored 8 months ago
  
  b8843ec5
Jun 26, 2024
- Add test for security generation diplodocus · 1d3428a3
  jerray authored 8 months ago
  
  1d3428a3
May 29, 2024
- Enhancing syntax checking with duplicate attribute detection · 8482218d
  Ludovic Apvrille authored 9 months ago
  
  8482218d
Apr 26, 2024
- Checking on method call · 072670fd
  Ludovic Apvrille authored 10 months ago
  
  072670fd
Apr 25, 2024
- Adding test for timer attribute in int expr · e7368edc
  Ludovic Apvrille authored 10 months ago
  
  e7368edc
Apr 05, 2024
- Add security tests for Avatar and Diplodocus · 3c1f7069
  jerray authored 11 months ago
  
  3c1f7069
Apr 02, 2024
- Update on sec test · c62131fe
  Ludovic Apvrille authored 11 months ago
  
  c62131fe
- Fixing pipeline for test · 5cca0bbe
  Ludovic Apvrille authored 11 months ago
  
  5cca0bbe
- update test AvatarSecurityTranslationTests · 3c236aa6
  jerray authored 11 months ago
  
  3c236aa6
- Adding file for security tests in Avatar · c3133e02
  Ludovic Apvrille authored 11 months ago
  
  c3133e02
Mar 29, 2024
- Revert "Merge branch 'avatar_security_tests' into 'master'" · 6c24a1a8
  Ludovic Apvrille authored 11 months ago
  
  This reverts merge request !485
  6c24a1a8
Mar 26, 2024
- Update and fix Diplodocus Security Tests · 4f239396
  jerray authored 11 months ago
  
  4f239396
Mar 15, 2024
- new presentation for SecurityPattern · ed76f2da
  jerray authored 1 year ago and Alan Birchler De Allende committed 1 year ago
  
  ed76f2da
Feb 11, 2024
- remove unused stuff · 6180d66d
  Pierre Dontenville authored 1 year ago
  
  6180d66d
- remove unused stuff · 9f191b6d
  Pierre Dontenville authored 1 year ago
  
  9f191b6d
Feb 10, 2024
- syntaxe adjustement · eb0e9127
  Pierre Dontenville authored 1 year ago
  
  eb0e9127
- Remove unused imports · e50c587e
  Guillaume Blanc authored 1 year ago
  
  e50c587e
- Add output directory creation · b39bc629
  Guillaume Blanc authored 1 year ago
  
  b39bc629
Feb 09, 2024
- Code Lint · 359839e4
  Guillaume Blanc authored 1 year ago
  
  359839e4
- code factorized · f128286a
  Pierre Dontenville authored 1 year ago and Guillaume Blanc committed 1 year ago
  
  f128286a
- new golden after bug fix · b7d37fb3
  Pierre Dontenville authored 1 year ago and Guillaume Blanc committed 1 year ago
  
  b7d37fb3
- new golden, without autoAuthChan · 2fa2b166
  Pierre Dontenville authored 1 year ago and Guillaume Blanc committed 1 year ago
  
  2fa2b166
- new models but still diff from gui, 2 error fixed · 86f1ab18
  Pierre Dontenville authored 1 year ago and Guillaume Blanc committed 1 year ago
  
  86f1ab18
- random id solution in test · ea0cc3b6
  Pierre Dontenville authored 1 year ago and Guillaume Blanc committed 1 year ago
  
  ea0cc3b6
- adapt to run test in intellij · daf89ff0
  Pierre Dontenville authored 1 year ago and Guillaume Blanc committed 1 year ago
  
  daf89ff0
- test build failure fixed · 42f61be2
  Pierre Dontenville authored 1 year ago and Guillaume Blanc committed 1 year ago
  
  42f61be2
- check added for pragmas completeness · d0a0164a
  Pierre Dontenville authored 1 year ago and Guillaume Blanc committed 1 year ago
  
  d0a0164a
- comm id issue in proverif result fixed · f00f7ef0
  Pierre Dontenville authored 1 year ago and Guillaume Blanc committed 1 year ago
  
  f00f7ef0
- SampleAutoSec added · c219958d
  Pierre Dontenville authored 1 year ago and Guillaume Blanc committed 1 year ago
  
  c219958d
- enhance diplodocusSecurityTest to be reused · db5511ff
  Pierre Dontenville authored 1 year ago and Guillaume Blanc committed 1 year ago
  
  db5511ff
- start debugging · 52948ba1
  Pierre Dontenville authored 1 year ago and Guillaume Blanc committed 1 year ago
  
  52948ba1
- test's archi work, but wrong pvspec generate · 8d034e84
  Pierre Dontenville authored 1 year ago and Guillaume Blanc committed 1 year ago
  
  8d034e84
- setUpGolden New way · cb2f6336
  Pierre Dontenville authored 1 year ago and Guillaume Blanc committed 1 year ago
  
  cb2f6336