Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• 66d73fead0 Remove NOTES.md main Hassan Abedi 2026-04-09 12:45:34 +02:00
• 05bd281114 WIP Hassan Abedi 2026-04-08 09:04:29 +02:00
• 5d9b6ceff3 Add a project overview document project Hassan Abedi 2026-04-08 06:55:44 +00:00
• ee21bee039 Add predicate indexing, standard chase variant, and EGD support Hassan Abedi 2026-03-16 14:24:23 +01:00
• 0e2db4e07b WIP Hassan Abedi 2026-03-16 13:11:50 +01:00
• fc66b8e393 WIP Hassan Abedi 2026-03-13 10:20:52 +01:00
• 02e2e45848 Make the implementation more robust Hassan Abedi 2026-03-13 10:07:30 +01:00
• 73394d7e9e Add summary of disscusion about DB baclend Hassan Abedi 2026-03-11 13:08:26 +01:00
• 9946c4206f WIP Hassan Abedi 2026-03-11 10:37:22 +01:00
• e9e0a462ac Add geolog examples to the project Hassan Abedi 2026-03-11 10:24:56 +01:00
• e1562beacb WIP Hassan Abedi 2026-03-10 13:02:19 +01:00
• e24876b8f5 Add example scripts Hassan Abedi 2026-03-10 12:48:25 +01:00
• 8f8e63b2f7 Add a simple REPL and GUI Hassan Abedi 2026-03-10 12:41:33 +01:00
• b2cfe4763e Make property tests deterministic with explicit seeds Hassan Abedi 2026-03-09 17:49:30 +01:00
• a8ac280b02 Add a few property-based tests Hassan Abedi 2026-03-09 17:42:33 +01:00
• dda7bfb9e8 WIP Hassan Abedi 2026-03-09 13:25:25 +01:00
• 7a5d856367 Add base Nix/Flake support Hassan Abedi 2026-03-09 13:20:46 +01:00
• a80e760b71 Clean up the project Hassan Abedi 2026-03-09 11:22:38 +01:00
• 1355e40b50 Make an early working version Hassan Abedi 2026-03-09 09:59:10 +01:00
• 0cf900fdad The base commit Hassan Abedi 2026-03-06 10:52:32 +00:00