Compare commits

base: habedi-work:e63a47f7bd39aca72ee035079b2a18dd930191b4

Branches Tags

habedi-work:master

..

compare: habedi-work:5b206bfc23158dab4233035b1340d425451410dc

Branches Tags

habedi-work:master

2 Commits

e63a47f7bd ... 5b206bfc23

Author	SHA1	Message	Date
Hassan Abedi	5b206bfc23	Add filter push-down and SQL aggregation/GROUP BY	2026-04-13 13:54:40 +02:00
Hassan Abedi	177cee7044	Add Skolem chase and semi-naive evaluation support	2026-04-13 13:54:36 +02:00

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show Stats Expand all files Collapse all files

Diff Content Not Available