Compare commits

...

11 Commits

Author SHA1 Message Date
Douglas Creager
07dbe2d8cf only keep smallest minimizations 2025-10-16 20:37:19 -04:00
Douglas Creager
69d60cb5d8 display by minimizing 2025-10-16 20:37:19 -04:00
Douglas Creager
067fa6e27d fix lifetimes 2025-10-16 20:37:19 -04:00
Douglas Creager
23e39ee7e1 interior node minimizations 2025-10-16 20:37:19 -04:00
Douglas Creager
92c4532cb6 smallest minimizations of terminals 2025-10-16 20:37:19 -04:00
Douglas Creager
d0bd032178 remove more unused node methods 2025-10-16 20:37:19 -04:00
Douglas Creager
60495ba9cf move iff 2025-10-16 20:37:19 -04:00
Douglas Creager
c2fa130157 move and 2025-10-16 20:37:18 -04:00
Douglas Creager
4b1aaaac52 move or 2025-10-16 20:37:18 -04:00
Douglas Creager
c55c400281 move negate 2025-10-16 20:37:18 -04:00
Douglas Creager
8a314f252d underspecified 2025-10-16 20:37:18 -04:00

File diff suppressed because it is too large Load Diff