17 Commits

Author	SHA1	Message	Date
Patrick Lühne	fc34aadf90	Show all predicates used in specification by default	2020-05-29 18:41:16 +02:00
Patrick Lühne	739cae1f7c	Rename “assert” statement to “spec”	2020-05-22 18:34:59 +02:00
Patrick Lühne	81ddfd450a	Use custom foliage flavor ... With this patch, properties specific to variable, function, and predicate declarations are directly stored within those objects rather than external maps that need to be queried via traits. This greatly simplifies many parts of the logic. This is made possible by implementing a custom foliage flavor, which makes it possible to swap the built-in declaration types for extended versions of those types that fulfill certain requirements.	2020-05-22 02:25:00 +02:00
Patrick Lühne	9621cb1e0c	Add to-do note	2020-05-12 06:10:52 +02:00
Patrick Lühne	8153352b66	Support comments in specification file	2020-05-12 06:08:50 +02:00
Patrick Lühne	e42fd92d4b	Add parser support for output statements	2020-05-12 05:27:51 +02:00
Patrick Lühne	32b18e2b63	Refactor parsing formulas	2020-05-12 05:20:48 +02:00
Patrick Lühne	2f48e51244	Refactor parsing input statement terminator	2020-05-12 05:09:13 +02:00
Patrick Lühne	0d63a721c7	Refactor parsing input statements	2020-05-12 05:05:49 +02:00
Patrick Lühne	e5d8a8a96b	Refactor parsing domain specifiers	2020-05-12 04:51:52 +02:00
Patrick Lühne	2ed1e6d89d	Rename function	2020-05-11 04:00:06 +02:00
Patrick Lühne	ab7c6d1828	Rename ScopedFormula to OpenFormula	2020-05-11 03:58:30 +02:00
Patrick Lühne	2dff164d90	Add to-do note	2020-05-11 03:54:32 +02:00
Patrick Lühne	0d51053b88	Move ProofDirection type to separate module	2020-05-11 03:46:11 +02:00
Patrick Lühne	37f1b301b5	Remove unused variable reference	2020-05-11 02:45:58 +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