6 Commits

Author	SHA1	Message	Date
Amos Bird	d5f606c544	Another fix	2021-04-20 14:15:28 +08:00
Amos Bird	aeff06d67d	Don't relax NOT conditions during partition pruning.	2021-04-19 22:15:53 +08:00
Amos Bird	9961182e86	Fix verbatim partition pruner	2020-11-13 22:05:40 +08:00
Amos Bird	46507c8cff	Better test	2020-11-08 17:11:02 +08:00
Amos Bird	aa436a3cb1	Transform single point	2020-11-06 14:59:55 +08:00
Amos Bird	30bf5e6d26	Prune partition in verbatim way.	2020-11-06 09:56:13 +08:00