Graph

less more | at revision 60: (0) +60 +100 tip

Start working on L2
Wed, 13 Apr 2016 17:38:57 +0000, by Steve Losh
Add the program runner
Sun, 10 Apr 2016 18:17:03 +0000, by Steve Losh
Add code labels and implement the new program instructions
Sun, 10 Apr 2016 17:43:04 +0000, by Steve Losh
Implement the query code runner
Sun, 10 Apr 2016 16:02:54 +0000, by Steve Losh
Rename the utils files
Sun, 10 Apr 2016 14:41:50 +0000, by Steve Losh
First stab at compiling L1 -- not ready yet
Sun, 10 Apr 2016 14:35:22 +0000, by Steve Losh
Change functor representation
Tue, 05 Apr 2016 15:00:28 +0000, by Steve Losh
Start working on the bytecode generation
Fri, 01 Apr 2016 19:16:23 +0000, by Steve Losh
Deal with the L1 register assignment mess
Fri, 01 Apr 2016 17:24:39 +0000, by Steve Losh
Improve the code dumping function
Thu, 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 resizable
Wed, 30 Mar 2016 00:30:33 +0000, by Steve Losh
Add break to run
Tue, 29 Mar 2016 23:09:51 +0000, by Steve Losh
Poke at GGP a bit
Mon, 28 Mar 2016 20:32:33 +0000, by Steve Losh
Render doc
Mon, 28 Mar 2016 17:52:48 +0000, by Steve Losh
WHAT HATH GOD WROUGHT
Mon, 28 Mar 2016 00:43:24 +0000, by Steve Losh
Fiddle with and document the unification instructions a bit
Sun, 27 Mar 2016 22:30:52 +0000, by Steve Losh
Add a function for extracting things from the heap
Sun, 27 Mar 2016 22:25:43 +0000, by Steve Losh
Rewrite registers to be addresses, not cells
Sun, 27 Mar 2016 18:32:37 +0000, by Steve Losh
Blur the lambdas, and fix the instruction argument order
Sat, 26 Mar 2016 22:53:28 +0000, by Steve Losh
More work on L0, a bit of cleanup
Sat, 26 Mar 2016 20:40:23 +0000, by Steve Losh
Clean up topological-sort
Sat, 26 Mar 2016 19:30:09 +0000, by Steve Losh
Fix up docstring
Sat, 26 Mar 2016 19:21:05 +0000, by Steve Losh
Fix the topological sorting
Sat, 26 Mar 2016 19:19:07 +0000, by Steve Losh
Add a few comments and a pair of utility functions for the WAM heap
Sat, 26 Mar 2016 12:21:56 +0000, by Steve Losh
Fix flet/labels indentation before I lose my mind
Sat, 26 Mar 2016 12:02:43 +0000, by Steve Losh
Split the WAM into component files
Fri, 25 Mar 2016 18:52:21 +0000, by Steve Losh
Clean up and add a few comments, and add a bit more type hinting
Fri, 25 Mar 2016 18:40:46 +0000, by Steve Losh
Store functors so we can print them later
Fri, 25 Mar 2016 18:10:03 +0000, by Steve Losh
Document the heap cell format a bit
Fri, 25 Mar 2016 18:09:23 +0000, by Steve Losh
Move scratch garbage into the scratch file
Fri, 25 Mar 2016 11:53:03 +0000, by Steve Losh
Clean up some of the WAM code/interface
Fri, 25 Mar 2016 11:51:13 +0000, by Steve Losh
Prettify the heap printing a bit
Fri, 25 Mar 2016 11:50:11 +0000, by Steve Losh
Use switch instead of cond, it's cleaner
Fri, 25 Mar 2016 11:49:46 +0000, by Steve Losh
Define some WAM index types
Fri, 25 Mar 2016 11:49:06 +0000, by Steve Losh
Move and clean up the functor wrapper functions
Fri, 25 Mar 2016 11:48:00 +0000, by Steve Losh
Add docstrings
Fri, 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
Grammaaeareraer
Thu, 24 Mar 2016 23:13:47 +0000, by Steve Losh
Remove unused function
Thu, 24 Mar 2016 23:13:11 +0000, by Steve Losh
Oh shit I've got a WAM
Thu, 24 Mar 2016 23:08:43 +0000, by Steve Losh
Implement a rudimentary heap for the WAM, part 0
Thu, 24 Mar 2016 18:51:08 +0000, by Steve Losh
Disable the broken PAIPC for now
Thu, 24 Mar 2016 15:26:03 +0000, by Steve Losh
More grinding through the compiled version
Thu, 24 Mar 2016 15:17:51 +0000, by Steve Losh
Factor out cl-d-api garbage
Wed, 23 Mar 2016 17:43:02 +0000, by Steve Losh
Initial pass at the compiler
Tue, 22 Mar 2016 16:46:29 +0000, by Steve Losh
Add destructive unification
Tue, 22 Mar 2016 14:31:35 +0000, by Steve Losh
Add API documentation building
Fri, 18 Mar 2016 13:50:04 +0000, by Steve Losh
Improve the testing infrastructure, rename find-all
Fri, 18 Mar 2016 12:09:36 +0000, by Steve Losh
Add backtracking and wildcards
Mon, 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 proving
Thu, 10 Mar 2016 18:22:56 +0000, by Steve Losh
Start on the logic database
Thu, 10 Mar 2016 15:14:48 +0000, by Steve Losh
Add variable/binding substitution
Wed, 09 Mar 2016 11:48:07 +0000, by Steve Losh
Add a couple more unification tests
Wed, 09 Mar 2016 11:36:04 +0000, by Steve Losh
Test the occurs check
Wed, 09 Mar 2016 11:33:07 +0000, by Steve Losh
Get some basic unification up and running
Tue, 08 Mar 2016 15:27:47 +0000, by Steve Losh
Set up a clean namespace for the initial PAIP implementation
Tue, 08 Mar 2016 12:31:44 +0000, by Steve Losh
More 99P
Tue, 08 Mar 2016 12:16:50 +0000, by Steve Losh
GA the docs
Mon, 07 Mar 2016 13:39:38 +0000, by Steve Losh

less more | at revision 60: (0) +60 +100 tip