Hassan Abedi

habedi-work pushed to master at habedi-work/geolog-zeta-fork

2026-03-19 13:27:21 +00:00

966cd3ad1b Improve the naming of note files

habedi-work pushed to master at habedi-work/geolog-zeta-fork

2026-03-19 13:18:09 +00:00

4d1044b0af Adding more notes on the project

habedi-work pushed to master at habedi-work/geolog-zeta-fork

2026-03-17 15:05:13 +00:00

ac2d363737 WIP

habedi-work pushed to master at habedi-work/geolog-zeta-fork

2026-03-17 12:24:26 +00:00

3134ad5e65 Add additonal notes about the project

habedi-work pushed to main at habedi-work/chase-rs

2026-03-16 13:24:43 +00:00

ee21bee039 Add predicate indexing, standard chase variant, and EGD support

0e2db4e07b WIP

Compare 2 commits »

habedi-work pushed to main at habedi-work/chase-rs

2026-03-13 09:21:00 +00:00

fc66b8e393 WIP

habedi-work pushed to main at habedi-work/chase-rs

2026-03-13 09:07:38 +00:00

02e2e45848 Make the implementation more robust

habedi-work pushed to main at habedi-work/chase-rs

2026-03-11 12:08:31 +00:00

73394d7e9e Add summary of disscusion about DB baclend

9946c4206f WIP

Compare 2 commits »

habedi-work pushed to main at habedi-work/chase-rs

2026-03-11 09:25:02 +00:00

e9e0a462ac Add geolog examples to the project

habedi-work pushed to main at habedi-work/chase-rs

2026-03-10 12:02:25 +00:00

e1562beacb WIP

habedi-work pushed to main at habedi-work/chase-rs

2026-03-10 11:48:31 +00:00

e24876b8f5 Add example scripts

habedi-work pushed to main at habedi-work/chase-rs

2026-03-10 11:41:39 +00:00

8f8e63b2f7 Add a simple REPL and GUI

b2cfe4763e Make property tests deterministic with explicit seeds

Compare 2 commits »

habedi-work pushed to main at habedi-work/chase-rs

2026-03-09 16:43:15 +00:00

a8ac280b02 Add a few property-based tests

habedi-work pushed to main at habedi-work/chase-rs

2026-03-09 12:25:29 +00:00

dda7bfb9e8 WIP

7a5d856367 Add base Nix/Flake support

Compare 2 commits »

habedi-work pushed to main at habedi-work/chase-rs

2026-03-09 10:22:56 +00:00

a80e760b71 Clean up the project

habedi-work pushed to main at habedi-work/chase-rs

2026-03-09 10:12:35 +00:00

1355e40b50 Make an early working version

habedi-work pushed to main at habedi-work/chase-rs

2026-03-09 10:11:14 +00:00

585843f635 WIP

habedi-work pushed to main at habedi-work/chase-rs

2026-03-09 10:09:15 +00:00

8f9806c515 WIP

habedi-work pushed to main at habedi-work/chase-rs

2026-03-09 10:05:50 +00:00

06b6f09fc3 WIP

habedi-work pushed to main at habedi-work/useful-notes

2026-03-06 12:25:32 +00:00

5a33e673c9 Update hassan/008-chase-algorithm.md