18 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	e8f1ec68db	Java: Accept guards test results.	2025-09-12 15:41:17 +02:00
Anders Schack-Mulligen	b5c7bc1b33	Java: Accept test output.	2025-09-10 15:42:18 +02:00
Anders Schack-Mulligen	f90b6ab005	Guards: Add support for wrappers that may throw exceptions.	2025-08-07 14:51:48 +02:00
Anders Schack-Mulligen	0c31a80f3c	Guards: Generalise wrapper guards.	2025-08-07 14:51:47 +02:00
Anders Schack-Mulligen	e7a6259bd7	Java: Accept test changes.	2025-07-17 11:21:26 +02:00
Anders Schack-Mulligen	42b1b12aa1	Java: Fix qltests	2025-06-26 07:17:34 +02:00
Anders Schack-Mulligen	5c0dcd980d	Java: Switch to the shared Guards library.	2025-06-26 07:17:34 +02:00
Anders Schack-Mulligen	22d5dc999a	Shared: Bugfix for unique value implication.	2025-06-26 07:17:32 +02:00
Anders Schack-Mulligen	a0c849139c	Java: Add guards-logic qltest with inline expectation.	2025-06-26 07:17:28 +02:00
Jonathan Leitschuh	b3ee1bd313	Refactor Preconditions and add Tests	2022-03-21 11:20:05 -04:00
Jonathan Leitschuh	1d0275344d	[Java]: Add precondition support for testing library asserts	2022-03-18 20:39:24 -04:00
Marcono1234	e0a45507f8	Java: Adjust toString() for statements	2021-06-03 16:27:36 +02:00
Marcono1234	7e778bc008	Java: Override toString() for statements ... Additionally remove redundant QLDoc which is inherited anyways.	2021-06-03 16:27:35 +02:00
yo-h	e194411cfa	Java: fix javac errors in test code	2021-02-09 09:16:57 -05:00
Anders Schack-Mulligen	75c549baa1	Java: Deprecate ParExpr.	2020-01-30 10:52:16 +01:00
Anders Schack-Mulligen	b1e364b56a	Java: Support precondition calls as guards.	2019-04-02 10:58:46 +02:00
Anders Schack-Mulligen	dd5a8f0c14	Java: Autoformat most queries.	2018-10-11 11:31:37 +02:00
Pavel Avgustinov	846c9d5860	Migrate Java code to separate QL repo.	2018-08-30 10:48:05 +01:00