Graph
-
Improve the code dumping functionThu, 31 Mar 2016 22:17:53 +0000, by Steve Losh
-
Add the code store to the WAM (unused right now)Wed, 30 Mar 2016 13:44:34 +0000, by Steve Losh
-
Make the WAM heap resizableWed, 30 Mar 2016 00:30:33 +0000, by Steve Losh
-
Add break to runTue, 29 Mar 2016 23:09:51 +0000, by Steve Losh
-
Poke at GGP a bitMon, 28 Mar 2016 20:32:33 +0000, by Steve Losh
-
Render docMon, 28 Mar 2016 17:52:48 +0000, by Steve Losh
-
WHAT HATH GOD WROUGHTMon, 28 Mar 2016 00:43:24 +0000, by Steve Losh
-
Fiddle with and document the unification instructions a bitSun, 27 Mar 2016 22:30:52 +0000, by Steve Losh
-
Add a function for extracting things from the heapSun, 27 Mar 2016 22:25:43 +0000, by Steve Losh
-
Rewrite registers to be addresses, not cellsSun, 27 Mar 2016 18:32:37 +0000, by Steve Losh
-
Blur the lambdas, and fix the instruction argument orderSat, 26 Mar 2016 22:53:28 +0000, by Steve Losh
-
More work on L0, a bit of cleanupSat, 26 Mar 2016 20:40:23 +0000, by Steve Losh
-
Clean up topological-sortSat, 26 Mar 2016 19:30:09 +0000, by Steve Losh
-
Fix up docstringSat, 26 Mar 2016 19:21:05 +0000, by Steve Losh
-
Fix the topological sortingSat, 26 Mar 2016 19:19:07 +0000, by Steve Losh
-
Add a few comments and a pair of utility functions for the WAM heapSat, 26 Mar 2016 12:21:56 +0000, by Steve Losh
-
Fix flet/labels indentation before I lose my mindSat, 26 Mar 2016 12:02:43 +0000, by Steve Losh
-
Split the WAM into component filesFri, 25 Mar 2016 18:52:21 +0000, by Steve Losh
-
Clean up and add a few comments, and add a bit more type hintingFri, 25 Mar 2016 18:40:46 +0000, by Steve Losh
-
Store functors so we can print them laterFri, 25 Mar 2016 18:10:03 +0000, by Steve Losh
-
Document the heap cell format a bitFri, 25 Mar 2016 18:09:23 +0000, by Steve Losh
-
Move scratch garbage into the scratch fileFri, 25 Mar 2016 11:53:03 +0000, by Steve Losh
-
Clean up some of the WAM code/interfaceFri, 25 Mar 2016 11:51:13 +0000, by Steve Losh
-
Prettify the heap printing a bitFri, 25 Mar 2016 11:50:11 +0000, by Steve Losh
-
Use switch instead of cond, it's cleanerFri, 25 Mar 2016 11:49:46 +0000, by Steve Losh
-
Define some WAM index typesFri, 25 Mar 2016 11:49:06 +0000, by Steve Losh
-
Move and clean up the functor wrapper functionsFri, 25 Mar 2016 11:48:00 +0000, by Steve Losh
-
Add docstringsFri, 25 Mar 2016 11:47:29 +0000, by Steve Losh
-
Add STATUS to .hgignore.Fri, 25 Mar 2016 11:44:54 +0000, by Steve Losh
-
GrammaaeareraerThu, 24 Mar 2016 23:13:47 +0000, by Steve Losh
-
Remove unused functionThu, 24 Mar 2016 23:13:11 +0000, by Steve Losh
-
Oh shit I've got a WAMThu, 24 Mar 2016 23:08:43 +0000, by Steve Losh
-
Implement a rudimentary heap for the WAM, part 0Thu, 24 Mar 2016 18:51:08 +0000, by Steve Losh
-
Disable the broken PAIPC for nowThu, 24 Mar 2016 15:26:03 +0000, by Steve Losh
-
More grinding through the compiled versionThu, 24 Mar 2016 15:17:51 +0000, by Steve Losh
-
Factor out cl-d-api garbageWed, 23 Mar 2016 17:43:02 +0000, by Steve Losh
-
Initial pass at the compilerTue, 22 Mar 2016 16:46:29 +0000, by Steve Losh
-
Add destructive unificationTue, 22 Mar 2016 14:31:35 +0000, by Steve Losh
-
Add API documentation buildingFri, 18 Mar 2016 13:50:04 +0000, by Steve Losh
-
Improve the testing infrastructure, rename find-allFri, 18 Mar 2016 12:09:36 +0000, by Steve Losh
-
Add backtracking and wildcardsMon, 14 Mar 2016 23:01:26 +0000, by Steve Losh
-
Add scratch.lisp to .hgignore.Mon, 14 Mar 2016 22:59:10 +0000, by Steve Losh
-
Finish basic provingThu, 10 Mar 2016 18:22:56 +0000, by Steve Losh
-
Start on the logic databaseThu, 10 Mar 2016 15:14:48 +0000, by Steve Losh
-
Add variable/binding substitutionWed, 09 Mar 2016 11:48:07 +0000, by Steve Losh
-
Add a couple more unification testsWed, 09 Mar 2016 11:36:04 +0000, by Steve Losh
-
Test the occurs checkWed, 09 Mar 2016 11:33:07 +0000, by Steve Losh
-
Get some basic unification up and runningTue, 08 Mar 2016 15:27:47 +0000, by Steve Losh
-
Set up a clean namespace for the initial PAIP implementationTue, 08 Mar 2016 12:31:44 +0000, by Steve Losh
-
More 99PTue, 08 Mar 2016 12:16:50 +0000, by Steve Losh
-
GA the docsMon, 07 Mar 2016 13:39:38 +0000, by Steve Losh
-
Initial commitSat, 05 Mar 2016 23:58:39 +0000, by Steve Losh