Commit Graph

  • d1aed64194 Improve the frontend UI (REPL, TUI, and the web UI) master Hassan Abedi 2026-04-14 10:26:36 +02:00
  • 5b52a45b81 Add a few example scripts Hassan Abedi 2026-04-14 10:24:37 +02:00
  • d7b2eb4144 Add TUI frontend and syntax highlighting (REPL and web UI) Hassan Abedi 2026-04-14 10:16:41 +02:00
  • c3a1c7d9dd Add negative constraints, stratified negation, and CSV import/export Hassan Abedi 2026-04-14 10:05:24 +02:00
  • 5b206bfc23 Add filter push-down and SQL aggregation/GROUP BY Hassan Abedi 2026-04-13 13:14:01 +02:00
  • 177cee7044 Add Skolem chase and semi-naive evaluation support Hassan Abedi 2026-04-10 16:07:26 +02:00
  • dff8adebfa Decouple executor from Instance via DataSource trait Hassan Abedi 2026-04-10 16:06:57 +02:00
  • 52cb492bce Add oblivious chase, broader SQL operators, LIMIT, and integer literals Hassan Abedi 2026-04-10 15:22:30 +02:00
  • be8e1388bc Support qualified table names in single-table SQL queries Hassan Abedi 2026-04-10 13:01:56 +02:00
  • 7c4cb70047 Reject mixed wildcard SQL projections without panicking Hassan Abedi 2026-04-10 12:59:40 +02:00
  • 7111a682ff Fix single-table aliases and empty schema tables Hassan Abedi 2026-04-10 12:56:24 +02:00
  • 964a0d8308 Fix SQL/frontend naming mismatches and multiline scripts Hassan Abedi 2026-04-10 10:56:44 +02:00
  • 744edb8bde Rename example scripts from .chase to .ech Hassan Abedi 2026-04-10 10:33:59 +02:00
  • 0a95f53d61 Update docs and add runnable SQL example scripts Hassan Abedi 2026-04-10 10:25:45 +02:00
  • eaeb2092d2 Add basic SQL ORDER BY support Hassan Abedi 2026-04-10 10:10:46 +02:00
  • 77ef8c5ae9 Add SQL AND support for conjunctive WHERE filters Hassan Abedi 2026-04-10 10:00:55 +02:00
  • 685804e60f Add SQL table aliases for self-joins Hassan Abedi 2026-04-10 09:56:18 +02:00
  • 4535d4a918 Add basic multi-table SQL joins with qualified columns Hassan Abedi 2026-04-10 09:51:01 +02:00
  • 23cbc6a4bf Add SQL projection aliases and literal expressions support Hassan Abedi 2026-04-09 12:50:06 +02:00
  • dd7b16ce93 Fix inconsistencies in the project Hassan Abedi 2026-04-09 12:46:26 +02:00
  • 0986e13669 Add scaffolding for SQL support Hassan Abedi 2026-04-09 12:38:43 +02:00
  • 0f705a3fbd The base commit Hassan Abedi 2026-04-09 10:12:59 +02:00