22 Commits

Author	SHA1	Message	Date
Patrick Lühne	7020bc0bf0	Address unused variable	2020-05-19 12:53:37 +02:00
Patrick Lühne	80d39c8c0a	Check that only input/output predicates are used in specification	2020-05-18 02:17:30 +02:00
Patrick Lühne	ce51d14a9e	Minor formatting	2020-05-18 01:29:30 +02:00
Patrick Lühne	c0bfbc923c	Do not add type declarations for built-ins	2020-05-18 01:19:46 +02:00
Patrick Lühne	0cce3bf54d	Rename status message for clarity	2020-05-18 01:19:00 +02:00
Patrick Lühne	82422cc28f	Support hiding auxiliary predicates	2020-05-13 08:02:04 +02:00
Patrick Lühne	d35d0d1d98	Use statement kind over section kind	2020-05-13 03:17:33 +02:00
Patrick Lühne	0dbf30bb1b	Work in progress	2020-05-13 02:24:13 +02:00
Patrick Lühne	07fc6a7f85	Add to-do note	2020-05-13 01:28:25 +02:00
Patrick Lühne	e42fd92d4b	Add parser support for output statements	2020-05-12 05:27:51 +02:00
Patrick Lühne	7d06601c17	Color output	2020-05-12 04:51:51 +02:00
Patrick Lühne	2de8a59b63	New output format	2020-05-11 05:03:59 +02:00
Patrick Lühne	b5d049a82a	Move InputConstantDeclarationDomains to problem module	2020-05-11 03:48:14 +02:00
Patrick Lühne	0d51053b88	Move ProofDirection type to separate module	2020-05-11 03:46:11 +02:00
Patrick Lühne	17d2373e0d	Refactor proof output	2020-05-11 03:11:10 +02:00
Patrick Lühne	e03628ec66	Remove unused code	2020-05-11 02:46:52 +02:00
Patrick Lühne	753cc3e5a8	Improve output	2020-05-07 17:19:42 +02:00
Patrick Lühne	5469f7d7b2	Improve output	2020-05-07 03:02:11 +02:00
Patrick Lühne	b55bc82b1d	Add option for proof direction	2020-05-07 02:53:48 +02:00
Patrick Lühne	70bef152a4	Improve proof output	2020-05-06 21:38:48 +02:00
Patrick Lühne	b14f620235	Implement proof mechanism	2020-05-06 00:13:43 +02:00
Patrick Lühne	e118442e16	Work in progress	2020-05-05 19:40:57 +02:00