Commits · 65b1e6a12341cf56c8612cda5bd73f71ce3e4e3f · mbe-tools / TTool

Mar 14, 2024
- Minor update in handling confidentiality in AD · 65b1e6a1
  jerray authored 1 year ago
  
  65b1e6a1
Jun 06, 2023
- update drawAuth functions + format code · 1c0ea804
  jerray authored 1 year ago
  
  1c0ea804
Jun 05, 2023
- fix a bug in the diplay of auth and conf locks when zooming · 7c1e4218
  jerray authored 1 year ago
  
  7c1e4218
Mar 24, 2023
- Adding checking of names for TMLComponentDiagrams · 26a451c0
  Ludovic Apvrille authored 2 years ago
  
  26a451c0
Feb 23, 2023
- Resolving various bugs on TML to proverfi · 55375524
  Ludovic Apvrille authored 2 years ago
  
  55375524
Feb 22, 2023
- Adding draw avatar model from proverif window · 4ba9d501
  Ludovic Apvrille authored 2 years ago
  
  4ba9d501
Jul 27, 2022
- Removing bug on proverif proof · 82b355f0
  Ludovic Apvrille authored 2 years ago
  
  82b355f0
Mar 15, 2022
- Handling of loading TML comms · 4996f311
  Ludovic Apvrille authored 3 years ago
  
  4996f311
Mar 14, 2022
- Handling of events channels · c1fc53a2
  Ludovic Apvrille authored 3 years ago
  
  c1fc53a2
- Handling adding connectors · e9612efd
  Ludovic Apvrille authored 3 years ago
  
  e9612efd
Mar 01, 2022
- Adding ability to remove verification results with a new icon · 6f888f28
  Ludovic Apvrille authored 3 years ago
  
  6f888f28
Feb 12, 2021
- Adding interface to remove link between tmltranslator and ui · db2675cd
  Ludovic Apvrille authored 4 years ago
  
  db2675cd
Jan 05, 2021
- Refactoring editOnDoubleClick · a1997f20
  Ludovic Apvrille authored 4 years ago
  
  a1997f20
Oct 09, 2019
- [ZOOM] Issue #31 : Fixed TML task component text disappearance · be312a61
  Moemoea Fierin authored 5 years ago
  
  be312a61
Oct 01, 2019
- [ZOOM] Issue #31 : fixed CommName resizing in TMLCPrimitivePort · 2663add4
  Moemoea Fierin authored 5 years ago
  2663add4
Sep 24, 2019
- Resolving ticket 221 · 439e98c7
  apvrille authored 5 years ago
  
  439e98c7
May 27, 2019
- Update on network management · 7a512229
  apvrille authored 5 years ago
  
  7a512229
Apr 09, 2019
- Issue #31 : Use graphics's font size instead of font size variable · ea18af4e
  Dominique Blouin authored 6 years ago
  
  ea18af4e
Mar 13, 2019
- Update on VC management · 16791206
  Ludovic Apvrille authored 6 years ago
  
  16791206
- Adding NoC · 14dd1056
  apvrille authored 6 years ago
  
  14dd1056
Feb 13, 2019
- update checking port name · 9a627d47
  Minh Hiep Pham authored 6 years ago
  
  9a627d47
Feb 08, 2019
- create isAValidPortName method · c8637c6b
  Minh Hiep Pham authored 6 years ago
  
  c8637c6b
Feb 07, 2019
- change error mess · 6b0ef753
  Minh Hiep Pham authored 6 years ago
  
  6b0ef753
- Update methods for checking valid port names 2 · 96cdc6dc
  Minh Hiep Pham authored 6 years ago
  
  96cdc6dc
Feb 06, 2019
- Update for checking the valid port name 1 · f7984fc4
  Minh Hiep Pham authored 6 years ago
  
  f7984fc4
Feb 04, 2019
- Update TMLCPrimitivePort constructor · ca244f55
  Minh Hiep Pham authored 6 years ago
  ca244f55
Jan 31, 2019
- cloning composite components + changing their port names 1 · d807548b
  Minh Hiep Pham authored 6 years ago
  
  d807548b
Nov 15, 2018
- Removing warning on unused return value · 27e7ff89
  apvrille authored 6 years ago
  
  27e7ff89
Sep 26, 2018
- Fixed proverif result trace display · 1da84b5c
  Letitia Li authored 6 years ago
  
  1da84b5c
- Adding traces to debug showproveriftrace issue · a0ed6973
  Ludovic Apvrille authored 6 years ago
  
  a0ed6973
Aug 17, 2018
- Security generation fixes for fork/join channels · eb21d7c1
  Letitia Li authored 6 years ago
  
  eb21d7c1
Jul 12, 2018
- Show proverif result trace in primitive ports and latency panel scrollbars added · 2ed1bd41
  Letitia Li authored 6 years ago
  
  2ed1bd41
Jun 21, 2018
- Removing useless system.out.println · 7eb4648f
  apvrille authored 6 years ago
  
  7eb4648f
Jun 19, 2018
- Better syntax checking on port interconnection · 3e83a81c
  apvrille authored 6 years ago
  
  3e83a81c
May 15, 2018
- Switching to old src files before the merge with LIP6 · ad6b2dbd
  Ludovic Apvrille authored 6 years ago
  
  ad6b2dbd
- Rebasing before SystemCAMS · bbbb2549
  Ludovic Apvrille authored 6 years ago
  
  bbbb2549
May 09, 2018
- sources par irina · 65dc38d8
  Daniela GENIUS authored 6 years ago
  
  65dc38d8
Mar 14, 2018
- Resolving pb on port renaming · 59992c3d
  Ludovic Apvrille authored 7 years ago
  
  59992c3d
Mar 12, 2018
- Channels/events/requests are now updated in AD when their name is updated · 40671a7b
  apvrille authored 7 years ago
  
  40671a7b
Feb 14, 2018
- Updated backtracing issue · 28b616e1
  Letitia Li authored 7 years ago
  
  28b616e1