20 Commits

Author	SHA1	Message	Date
Michael Nebel	77113b2e42	Java: Fix some Ql4Ql violations.	2025-09-01 15:04:08 +02:00
Nicolas Will	976364fcaa	Merge branch 'main' into operation_step_refactor	2025-06-27 12:05:14 +02:00
Kasper Svendsen	da1b99b921	Merge pull request #19779 from github/kaspersv/overlay-java-annotations ... Overlay: Add overlay annotations to Java & shared libraries	2025-06-27 08:26:33 +02:00
REDMOND\brodes	0aee4f76f9	Crypto: Minor change to force CI/CD checks to restart, prior ql check failures do not make sense.	2025-06-26 16:35:01 -04:00
REDMOND\brodes	dc8d22a468	Crypto: Fix JCA to account for new key gen instance API in model.qll.	2025-06-26 15:48:10 -04:00
Nicolas Will	c54e68c855	Merge branch 'main' into pr/19880	2025-06-26 16:47:38 +02:00
Nicolas Will	8e6031df14	Crypto: Fix further acronym casing and remove unused field	2025-06-25 20:25:33 +02:00
Nicolas Will	14472bf744	Crypto: Refactor type name mapping and fix QL-for-QL alerts	2025-06-25 20:08:14 +02:00
REDMOND\brodes	8280cbcaa1	Crypto: Update JCA model to include new model.qll updates.	2025-06-25 13:55:47 -04:00
Nicolas Will	710e08088f	Crypto: Refactor casing and documentation	2025-06-25 15:29:03 +02:00
Kasper Svendsen	c207cfdeb7	Overlay: Add overlay annotations to Java & shared libraries	2025-06-24 10:25:06 +02:00
REDMOND\brodes	2b6a8321fd	Crypto: Update JCA model to account for Model.qll changes.	2025-06-16 12:53:48 -04:00
REDMOND\brodes	f5d24c5a7b	Crypto: Fix UnknownKeyAgreementType to OthernKeyAgreementType for JCA.	2025-06-02 10:11:53 -04:00
REDMOND\brodes	b56472436e	Crypto: Alterations to OpenSSL cipher algorithms to use new fixed keysize predicate.	2025-05-20 10:36:56 -04:00
REDMOND\brodes	e7535b3eff	Crypto: Updating JCA to use new key size predicate returning int for elliptic curve.	2025-05-19 13:09:33 -04:00
REDMOND\brodes	dbd66e64c6	Fixing bug in JCA cipher modeling. intermediate operations should not be key operations.	2025-05-16 11:23:42 -04:00
Nicolas Will	c66ec63333	Fix query compilation errors	2025-05-12 14:48:58 +02:00
Nicolas Will	8f36624171	Add AsymmetricAlgorithmNode, refactor and address feedback	2025-05-12 14:37:44 +02:00
Nicolas Will	cd59ce5b04	Rename shared pack to quantum from experimental	2025-05-09 14:36:12 +02:00
Nicolas Will	7339dd0077	Rename "Quantum" to "quantum" in dir structure	2025-05-08 02:39:40 +02:00