19 Commits

Author	SHA1	Message	Date
Patrick Lühne	5512813cba	Clean up tests	2020-04-09 16:07:32 +02:00
Patrick Lühne	c11156b2ce	Test quantified formulas	2020-04-09 16:07:32 +02:00
Patrick Lühne	cc3265fc72	Test negation	2020-04-09 16:07:32 +02:00
Patrick Lühne	121c858bff	Remove unneeded precedence implementation	2020-04-09 16:07:32 +02:00
Patrick Lühne	881419b8ee	Address warnings	2020-04-09 16:07:31 +02:00
Patrick Lühne	dc27ab8aeb	Fix	2020-04-09 16:07:31 +02:00
Patrick Lühne	c8ca7ba337	Remove ChildPosition enum	2020-04-09 16:07:31 +02:00
Patrick Lühne	1968ed83ee	Refactor precedence rules for formulas	2020-04-09 16:07:31 +02:00
Patrick Lühne	d1ab7963b1	Before larger refactoring	2020-04-09 16:07:31 +02:00
Patrick Lühne	1a497254a8	Add unit tests for precedence-0 formulas and lower	2020-04-09 16:07:31 +02:00
Patrick Lühne	d57b3b3b62	Test remaining formula types	2020-04-09 16:07:31 +02:00
Patrick Lühne	57d568916f	Minor formatting	2020-04-09 16:07:31 +02:00
Patrick Lühne	e4fe047aba	Start testing formula formatter	2020-04-09 16:07:31 +02:00
Patrick Lühne	600a6a1b4b	Refactor precedence rules	2020-04-09 16:07:31 +02:00
Patrick Lühne	8bf9d4bd45	Fix implication formatting	2020-04-09 16:07:31 +02:00
Patrick Lühne	f82a20e5f1	Work in progress	2020-04-09 16:07:31 +02:00
Patrick Lühne	5c51018ab1	Add unit test for function declaration formatting	2020-04-09 16:07:30 +02:00
Patrick Lühne	23e1854346	Test term formatting	2020-04-09 16:07:30 +02:00
Patrick Lühne	a3da369346	Split formatting functionality into two files	2020-04-09 16:07:30 +02:00