Hassan Abedi
|
d1aed64194
|
Improve the frontend UI (REPL, TUI, and the web UI)
|
2026-04-14 12:53:03 +02:00 |
|
Hassan Abedi
|
d7b2eb4144
|
Add TUI frontend and syntax highlighting (REPL and web UI)
|
2026-04-14 10:16:41 +02:00 |
|
Hassan Abedi
|
c3a1c7d9dd
|
Add negative constraints, stratified negation, and CSV import/export
|
2026-04-14 10:05:24 +02:00 |
|
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 |
|
Hassan Abedi
|
dff8adebfa
|
Decouple executor from Instance via DataSource trait
|
2026-04-10 16:06:57 +02:00 |
|
Hassan Abedi
|
52cb492bce
|
Add oblivious chase, broader SQL operators, LIMIT, and integer literals
|
2026-04-10 15:27:00 +02:00 |
|
Hassan Abedi
|
be8e1388bc
|
Support qualified table names in single-table SQL queries
|
2026-04-10 13:01:56 +02:00 |
|
Hassan Abedi
|
7111a682ff
|
Fix single-table aliases and empty schema tables
|
2026-04-10 12:56:24 +02:00 |
|
Hassan Abedi
|
0a95f53d61
|
Update docs and add runnable SQL example scripts
|
2026-04-10 10:59:22 +02:00 |
|
Hassan Abedi
|
0986e13669
|
Add scaffolding for SQL support
|
2026-04-09 12:38:43 +02:00 |
|
Hassan Abedi
|
0f705a3fbd
|
The base commit
|
2026-04-09 11:37:46 +02:00 |
|