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