aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
10 daysState now uses a Vector instead of a MapJedidiah Barber
10 daysCached results now freed after being used by all possible branchesJedidiah Barber
11 daysReadme addedJedidiah Barber
12 daysCounter for next available Variable now held by each Goal instead of being ↵Jedidiah Barber
global
12 daysChanged default build switch to release instead of debugJedidiah Barber
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
2026-01-12Removed Nametags and identifier aliasing for VariablesJedidiah Barber
2026-01-08Cleaned up code in Houses exampleJedidiah Barber
2026-01-07Test programs now interleave calculation and text output betterJedidiah Barber
2026-01-06House number example programJedidiah Barber
2026-01-06Slight efficiency improvements to comparison subprogramsJedidiah Barber
2026-01-06Demonstration program for using arbitrary zero and one elements in Math genericJedidiah Barber
2026-01-05Small speed improvement to divisionJedidiah Barber
2026-01-05Logarithms now work for base=3Jedidiah Barber
2026-01-05Very slight improvement to Unify checksJedidiah Barber
2026-01-04Logarithm test program, base=3 not workingJedidiah Barber
2026-01-04Slight refactor of final branch of Logarithm to use GTEJedidiah 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
2026-01-02Fixed minor Math issues that didn't error until instantiationJedidiah Barber
2026-01-01Division, logarithm, exponentiationJedidiah Barber
2025-12-25Repeated multiply version of exponentiationJedidiah Barber
2025-12-25Reorganisation and additional numeric comparison subprogramsJedidiah Barber
2025-12-25Arithmetic -> Math package renameJedidiah Barber
2025-12-25Multiply and arithmetic comparison operatorsJedidiah Barber
2025-12-21Addition and subtraction arithmeticJedidiah Barber
2025-12-19Worlds separated into Goals that run on a State, improvement to unification ↵Jedidiah Barber
efficiency
2025-12-18Slightly more complete Zebra problem descriptionJedidiah Barber
2025-12-18Added missing equality function for TermJedidiah Barber
2025-12-18Reduced number of reallocations for conjunct operationsJedidiah Barber
2025-12-17Fivesix now tests manual recursion using Conjunct as well as the Recurse ↵Jedidiah Barber
subprogram
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
2025-12-10Build switches now incorporate -gnateEJedidiah Barber
2025-11-23Switches out Holders for Controlled component in TermJedidiah Barber
2025-11-21Reordering of declarations to reduce memory usageJedidiah Barber
2025-11-19Zebra problemJedidiah Barber
2025-11-19Added generic to make it easier to abbreviate FreshJedidiah Barber
2025-11-19Reification, including Term flattening and TreeificationJedidiah Barber
2025-11-18Removed Buffer variant GeneratorJedidiah Barber
2025-11-17Lazy Conjunct should properly work for infinite results nowJedidiah Barber
2025-11-17Refactor of Conjunct GeneratorsJedidiah Barber
2025-11-16Improvements to Fresh and TakeJedidiah Barber
2025-11-16Variable counting handled properly on a per-State basisJedidiah Barber
2025-11-16Worlds now use Indefinite_Holders for holding themselvesJedidiah Barber
2025-11-15GNAT bug workaroundJedidiah Barber
2025-11-15Refactor of Terms that causes GNAT to STORAGE_ERRORJedidiah Barber
generated by cgit (git 2.30.0) at 2026-01-29 07:13:50 +0000