4 Commits

Author	SHA1	Message	Date
Jonathan Leitschuh	b3ee1bd313	Refactor Preconditions and add Tests	2022-03-21 11:20:05 -04:00
yo-h	e194411cfa	Java: fix javac errors in test code	2021-02-09 09:16:57 -05:00
Anders Schack-Mulligen	b1e364b56a	Java: Support precondition calls as guards.	2019-04-02 10:58:46 +02:00
Pavel Avgustinov	846c9d5860	Migrate Java code to separate QL repo.	2018-08-30 10:48:05 +01:00