aboutsummaryrefslogtreecommitdiff
path: root/tests.gpr
AgeCommit message (Collapse)Author
12 daysIterative deepening depth first search as a complete (?) search methodJedidiah Barber
2026-02-06Evaluation algorithm changed to inverted interleaved depth first searchJedidiah Barber
2026-01-17Recurse fixed, caching functions consolidatedJedidiah Barber
2026-01-06Demonstration program for using arbitrary zero and one elements in Math genericJedidiah Barber
2026-01-04Logarithm test program, base=3 not workingJedidiah Barber
2026-01-03Exponential/repeated-multiply test programJedidiah Barber
2026-01-02Multiplication test programJedidiah Barber
2026-01-02Addition/subtraction test program, bugfix in AddJedidiah Barber
2026-01-02Division test programJedidiah Barber
2025-11-19Reification, including Term flattening and TreeificationJedidiah Barber
2025-11-17Lazy Conjunct should properly work for infinite results nowJedidiah Barber
2025-11-12Recursive portions of preludeJedidiah Barber
2025-11-10Infinite number of States in a World enabled with lazy evaluationJedidiah Barber
2025-11-09Initial commitJedidiah Barber
generated by cgit (git 2.30.0) at 2026-02-20 17:09:15 +0000