Commit Graph

17 Commits

Author SHA1 Message Date
7af51e9e64
Expose symbolic identifier parser 2019-11-06 21:16:04 -06:00
8870cee179
Support right-to-left implications 2019-11-06 19:04:13 -06:00
9076ecd95d
Allow negated quantified expressions without parentheses 2019-11-05 15:53:42 -06:00
acb6c05eec
Allow more variable prefixes 2019-11-05 15:53:32 -06:00
4e3e3689d0
Fix precedence rules for nested subtractions and implications 2019-11-05 13:14:47 -06:00
683236f4a8
Recognize variables better 2019-11-05 12:54:15 -06:00
8a7bd651b2
Support comments 2019-11-05 12:43:03 -06:00
5070965bfe
Make predicate declarations hashable 2019-11-02 04:12:16 +01:00
30ba3e22c1
Fix precedence between predicates and comparisons 2019-11-02 04:06:06 +01:00
de4ab29da5
Implement Display formatter in terms of Debug 2019-11-02 04:05:57 +01:00
a6fe4b9e08
Respect operator precedence when printing 2019-11-01 22:35:51 +01:00
b76287a07b
Restructure crate for a nicer interface 2019-11-01 22:00:17 +01:00
9f32bea10c
Rename project “foliage” 2019-11-01 21:00:00 +01:00
d1d20deadb
Add benchmark 2019-11-01 06:40:55 +01:00
48b18b9354
Add example 2019-11-01 06:20:19 +01:00
dcf12d45eb
Implement formula parsing 2019-11-01 06:20:02 +01:00
1b9654f44f
Implement term parsing 2019-11-01 05:40:48 +01:00