37 Commits

Author	SHA1	Message	Date
Patrick Lühne	80980e4e11	Remove redundant indirection	2020-04-10 23:02:14 +02:00
Patrick Lühne	02cf3f552b	Remove redundant indirection	2020-04-10 19:40:39 +02:00
Patrick Lühne	80636b447a	Simplify representation of quantified formulas	2020-04-10 15:18:50 +02:00
Patrick Lühne	600a6a1b4b	Refactor precedence rules	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	caf957deed	Fix implication parser and output	2020-04-09 16:07:30 +02:00
Patrick Lühne	1ece0e89ef	Add note	2020-04-09 16:07:30 +02:00
Patrick Lühne	0fdec430af	Parentheses for stronger checks	2020-04-09 16:07:30 +02:00
Patrick Lühne	5ea0a96ec4	Test disjunction parser	2020-04-09 16:07:30 +02:00
Patrick Lühne	17d8dbd8ba	Test conjunction parser	2020-04-09 16:07:30 +02:00
Patrick Lühne	834e59207f	Add note	2020-04-09 16:07:30 +02:00
Patrick Lühne	257e02f285	Minor refactoring	2020-04-09 16:07:30 +02:00
Patrick Lühne	2e3707e0af	Check that names don’t start with special characters	2020-04-09 16:07:30 +02:00
Patrick Lühne	d0263dd1c4	Add missing word boundary character	2020-04-09 16:07:30 +02:00
Patrick Lühne	a7dd4d2fe9	Disallow reserved keywords as names	2020-04-09 16:07:29 +02:00
Patrick Lühne	cb616eba87	Refactor term parser tests	2020-04-09 16:07:29 +02:00
Patrick Lühne	95677bae34	Fix negation parser	2020-04-09 16:07:29 +02:00
Patrick Lühne	3414e8075c	Address warnings	2020-04-09 16:07:29 +02:00
Patrick Lühne	675063e1b8	Move string parser to separate module	2020-04-09 16:07:29 +02:00
Patrick Lühne	7d78a504b1	Move special integer parser to separate module	2020-04-09 16:07:29 +02:00
Patrick Lühne	6f86cd40d7	Move integer parser to separate module	2020-04-09 16:07:29 +02:00
Patrick Lühne	29ea4578e4	Move boolean parser to separate module	2020-04-09 16:07:29 +02:00
Patrick Lühne	a1bbae9201	Finish implementing formula parsing	2020-04-09 16:07:29 +02:00
Patrick Lühne	1c00e5be16	Continue parsing formulas	2020-04-09 16:07:29 +02:00
Patrick Lühne	1b89d8900e	Start parsing formulas	2020-04-09 16:07:29 +02:00
Patrick Lühne	af1ec8a606	Fix term parsing and finish tests	2020-04-09 16:07:29 +02:00
Patrick Lühne	19e70a90c5	Test associativity of multiplication	2020-04-09 16:07:28 +02:00
Patrick Lühne	385c878597	Add term parsing test	2020-04-09 16:07:28 +02:00
Patrick Lühne	5b98e8a29c	Finish implementing term parsing	2020-04-09 16:07:28 +02:00
Patrick Lühne	3530364ea8	Implement variable parsing	2020-04-09 16:07:28 +02:00
Patrick Lühne	deae102405	Require word boundaries around names	2020-04-09 16:07:28 +02:00
Patrick Lühne	0fc8506164	Implement booleans	2020-04-09 16:07:28 +02:00
Patrick Lühne	e6a5c20d42	Add pipe character to allowed word boundaries	2020-04-09 16:07:28 +02:00
Patrick Lühne	d5cd179a2d	Implement strings	2020-04-09 16:07:28 +02:00
Patrick Lühne	5ec9331b4c	Implement word boundaries	2020-04-09 16:07:28 +02:00
Patrick Lühne	896af02120	Start parsing terms	2020-04-09 16:07:28 +02:00
Patrick Lühne	0c057211ed	Implement name parsing	2020-04-09 16:07:28 +02:00