aboutsummaryrefslogtreecommitdiff
path: root/src/kompsos-collector.ads
AgeCommit message (Collapse)Author
5 daysMinor tidyup and some more commentsJedidiah Barber
6 daysUnrolled linked lists for StateJedidiah Barber
7 daysStates are now custom linked listsJedidiah Barber
8 daysRefactor of evaluation using custom bookkeeping datatype instead of MapsJedidiah Barber
10 daysCached results now freed after being used by all possible branchesJedidiah Barber
12 daysCounter for next available Variable now held by each Goal instead of being ↵Jedidiah Barber
global
12 daysRemoved free logic Variable tracking in States, removed Fresh_Node and ↵Jedidiah Barber
Static_Node from Goal graphs
13 daysRecurse fixed, caching functions consolidatedJedidiah Barber
2025-12-19Worlds separated into Goals that run on a State, improvement to unification ↵Jedidiah Barber
efficiency
2025-12-18Reduced number of reallocations for conjunct operationsJedidiah Barber
2025-12-16Can now output the basic structural DAG of a World in DOT formatJedidiah Barber
2025-12-14Core rewritten with memoisation, but somehow Zebra example is buggedJedidiah Barber
generated by cgit (git 2.30.0) at 2026-01-29 08:50:42 +0000