hg.stevelosh.com > temperance

Commit Log

fewer more | at revision 41: (0) tip
commit description author date
e38bc4395d65 Blur the lambdas, and fix the instruction argument order Steve Losh Sat, 26 Mar 2016 22:53:28 +0000
7447809d31ad More work on L0, a bit of cleanup Steve Losh Sat, 26 Mar 2016 20:40:23 +0000
a9bdea1a9564 Clean up topological-sort Steve Losh Sat, 26 Mar 2016 19:30:09 +0000
d4ba6547d8a1 Fix up docstring Steve Losh Sat, 26 Mar 2016 19:21:05 +0000
fcec9e0c9c67 Fix the topological sorting Steve Losh Sat, 26 Mar 2016 19:19:07 +0000
859a6c1314d3 Add a few comments and a pair of utility functions for the WAM heap Steve Losh Sat, 26 Mar 2016 12:21:56 +0000
68ed4af71452 Fix flet/labels indentation before I lose my mind Steve Losh Sat, 26 Mar 2016 12:02:43 +0000
765efa56a965 Split the WAM into component files Steve Losh Fri, 25 Mar 2016 18:52:21 +0000
95d96065aa82 Clean up and add a few comments, and add a bit more type hinting Steve Losh Fri, 25 Mar 2016 18:40:46 +0000
dfbea0e60b46 Store functors so we can print them later Steve Losh Fri, 25 Mar 2016 18:10:03 +0000
48e1170dba5c Document the heap cell format a bit Steve Losh Fri, 25 Mar 2016 18:09:23 +0000
cf844914bdee Move scratch garbage into the scratch file Steve Losh Fri, 25 Mar 2016 11:53:03 +0000
203653ce4866 Clean up some of the WAM code/interface Steve Losh Fri, 25 Mar 2016 11:51:13 +0000
14e794b02423 Prettify the heap printing a bit Steve Losh Fri, 25 Mar 2016 11:50:11 +0000
d2aa6ee9382a Use switch instead of cond, it's cleaner Steve Losh Fri, 25 Mar 2016 11:49:46 +0000
4b07fbd81ee2 Define some WAM index types Steve Losh Fri, 25 Mar 2016 11:49:06 +0000
2579f5d00526 Move and clean up the functor wrapper functions Steve Losh Fri, 25 Mar 2016 11:48:00 +0000
e2bb4ea1bfe7 Add docstrings Steve Losh Fri, 25 Mar 2016 11:47:29 +0000
1ef24327a4cb Add STATUS to .hgignore. Steve Losh Fri, 25 Mar 2016 11:44:54 +0000
49f24c78ecb3 Grammaaeareraer Steve Losh Thu, 24 Mar 2016 23:13:47 +0000
2eac9e1aed6d Remove unused function Steve Losh Thu, 24 Mar 2016 23:13:11 +0000
ab4655b23ced Oh shit I've got a WAM Steve Losh Thu, 24 Mar 2016 23:08:43 +0000
f57121ef4229 Implement a rudimentary heap for the WAM, part 0 Steve Losh Thu, 24 Mar 2016 18:51:08 +0000
06dedca0fd86 Disable the broken PAIPC for now Steve Losh Thu, 24 Mar 2016 15:26:03 +0000
c1535003a7e9 More grinding through the compiled version Steve Losh Thu, 24 Mar 2016 15:17:51 +0000
9d90efbd8787 Factor out cl-d-api garbage Steve Losh Wed, 23 Mar 2016 17:43:02 +0000
3729fdede843 Initial pass at the compiler Steve Losh Tue, 22 Mar 2016 16:46:29 +0000
3a8ee0586fdf Add destructive unification Steve Losh Tue, 22 Mar 2016 14:31:35 +0000
2daf5fb2fe92 Add API documentation building Steve Losh Fri, 18 Mar 2016 13:50:04 +0000
ae2b13a9a629 Improve the testing infrastructure, rename find-all Steve Losh Fri, 18 Mar 2016 12:09:36 +0000
d280326feecc Add backtracking and wildcards Steve Losh Mon, 14 Mar 2016 23:01:26 +0000
5ea3d706d089 Add scratch.lisp to .hgignore. Steve Losh Mon, 14 Mar 2016 22:59:10 +0000
5bb73a585f2c Finish basic proving Steve Losh Thu, 10 Mar 2016 18:22:56 +0000
1340243d4843 Start on the logic database Steve Losh Thu, 10 Mar 2016 15:14:48 +0000
49191daa42d0 Add variable/binding substitution Steve Losh Wed, 09 Mar 2016 11:48:07 +0000
52045b30aab0 Add a couple more unification tests Steve Losh Wed, 09 Mar 2016 11:36:04 +0000
a6a6f6361af3 Test the occurs check Steve Losh Wed, 09 Mar 2016 11:33:07 +0000
d08be7892816 Get some basic unification up and running Steve Losh Tue, 08 Mar 2016 15:27:47 +0000
b22eb7fe2faa Set up a clean namespace for the initial PAIP implementation Steve Losh Tue, 08 Mar 2016 12:31:44 +0000
5e0cca5174a8 More 99P Steve Losh Tue, 08 Mar 2016 12:16:50 +0000
22e5e1250898 GA the docs Steve Losh Mon, 07 Mar 2016 13:39:38 +0000
c60cac27a0a7 Initial commit Steve Losh Sat, 05 Mar 2016 23:58:39 +0000
fewer more | at revision 41: (0) tip