Hassan Abedi
|
d1aed64194
|
Improve the frontend UI (REPL, TUI, and the web UI)
|
2026-04-14 12:53:03 +02:00 |
|
Hassan Abedi
|
5b52a45b81
|
Add a few example scripts
|
2026-04-14 10:24:37 +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
|
7c4cb70047
|
Reject mixed wildcard SQL projections without panicking
|
2026-04-10 12:59:40 +02:00 |
|
Hassan Abedi
|
7111a682ff
|
Fix single-table aliases and empty schema tables
|
2026-04-10 12:56:24 +02:00 |
|
Hassan Abedi
|
964a0d8308
|
Fix SQL/frontend naming mismatches and multiline scripts
|
2026-04-10 10:59:22 +02:00 |
|
Hassan Abedi
|
744edb8bde
|
Rename example scripts from .chase to .ech
|
2026-04-10 10:59:22 +02:00 |
|
Hassan Abedi
|
0a95f53d61
|
Update docs and add runnable SQL example scripts
|
2026-04-10 10:59:22 +02:00 |
|
Hassan Abedi
|
eaeb2092d2
|
Add basic SQL ORDER BY support
|
2026-04-10 10:10:46 +02:00 |
|
Hassan Abedi
|
77ef8c5ae9
|
Add SQL AND support for conjunctive WHERE filters
|
2026-04-10 10:00:55 +02:00 |
|
Hassan Abedi
|
685804e60f
|
Add SQL table aliases for self-joins
|
2026-04-10 09:56:18 +02:00 |
|
Hassan Abedi
|
4535d4a918
|
Add basic multi-table SQL joins with qualified columns
|
2026-04-10 09:51:01 +02:00 |
|
Hassan Abedi
|
23cbc6a4bf
|
Add SQL projection aliases and literal expressions support
|
2026-04-09 14:03:26 +02:00 |
|
Hassan Abedi
|
dd7b16ce93
|
Fix inconsistencies in the project
|
2026-04-09 12:46:26 +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 |
|