Felix Dilke fdilke
0 Followers · 0 Following
  • Joined on 2025-09-02
Repositories
1
 Projects Packages Public Activity Starred Repositories
fdilke pushed to main at fdilke/pyrites 2026-02-11 18:11:03 +00:00
7364f393bd further delinting
fdilke pushed to main at fdilke/pyrites 2026-02-11 18:02:18 +00:00
d17b33567d delinting
fdilke pushed to main at fdilke/pyrites 2026-02-11 17:46:40 +00:00
6255e7e4f2 more tests for digesting queries
fdilke pushed to main at fdilke/pyrites 2026-02-11 17:11:22 +00:00
42c992428a initial DigestedQuery code with tests
fdilke pushed to main at fdilke/pyrites 2026-02-11 11:02:51 +00:00
a9ff3b4a5f a framework to enable sensible query enfgine tests
fdilke pushed to main at fdilke/pyrites 2026-02-11 10:39:43 +00:00
872a9ee791 now fully computing the herbrand, maybe incorrectly
fdilke pushed to main at fdilke/pyrites 2026-02-10 17:36:44 +00:00
d5beb57492 yet more herbrand code
fdilke pushed to main at fdilke/pyrites 2026-02-10 16:39:13 +00:00
591a24d755 refining the tuple calculations
fdilke pushed to main at fdilke/pyrites 2026-02-10 14:55:50 +00:00
6848663caf added an API to extract the constants
fdilke pushed to main at fdilke/pyrites 2026-02-10 14:50:09 +00:00
dfdb43699e more test cases for allMaps
fdilke pushed to main at fdilke/pyrites 2026-02-10 13:19:04 +00:00
7c984dbb2a added utility class and 'allMaps' function
fdilke pushed to main at fdilke/pyrites 2026-02-10 12:42:03 +00:00
f4cd68a76e rearranging code
fdilke pushed to main at fdilke/pyrites 2026-02-10 12:06:00 +00:00
97c9e2d34b pushed the problem of Herbrand construction down 1 layer
fdilke pushed to main at fdilke/pyrites 2026-02-03 18:32:05 +00:00
ae2f4d7552 now using GHC2024
fdilke pushed to main at fdilke/pyrites 2026-02-03 18:29:41 +00:00
593da2abb5 herbrand 2
fdilke pushed to main at fdilke/pyrites 2026-02-03 18:19:50 +00:00
4a9782c9c1 herbrand continued
fdilke pushed to main at fdilke/pyrites 2026-02-03 16:11:44 +00:00
a70cf1f6bf slowly figuring out how to populate the herbrand
fdilke pushed to main at fdilke/pyrites 2026-02-03 12:54:38 +00:00
ab610a6c78 adjust the DatalogDB API, give access to relation names
fdilke pushed to main at fdilke/pyrites 2026-02-03 11:51:30 +00:00
d51cd11da6 renaming accessors
fdilke pushed to main at fdilke/pyrites 2026-02-03 11:03:50 +00:00
86c9b73ebe initial structure for NaiveQE