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 |
|
Jonathan Leitschuh
|
b3ee1bd313
|
Refactor Preconditions and add Tests
|
2022-03-21 11:20:05 -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 |
|
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 |
|