hg.stevelosh.com > temperance

Commit Log

fewer more | at revision 61: (0) tip
commit description author date
d16b5b360398 Fix up `push-if-new` with setf/places macromancy Steve Losh Thu, 14 Apr 2016 13:32:31 +0000
fdb771cc2b8c Start working on L2 Steve Losh Wed, 13 Apr 2016 17:38:57 +0000
99abd362620a Add the program runner Steve Losh Sun, 10 Apr 2016 18:17:03 +0000
c97b74976098 Add code labels and implement the new program instructions Steve Losh Sun, 10 Apr 2016 17:43:04 +0000
564c709801aa Implement the query code runner Steve Losh Sun, 10 Apr 2016 16:02:54 +0000
e29b793a6e91 Rename the utils files Steve Losh Sun, 10 Apr 2016 14:41:50 +0000
51022d18e98f First stab at compiling L1 -- not ready yet Steve Losh Sun, 10 Apr 2016 14:35:22 +0000
6138ec555cde Change functor representation Steve Losh Tue, 05 Apr 2016 15:00:28 +0000
6dc3f4e03454 Start working on the bytecode generation Steve Losh Fri, 01 Apr 2016 19:16:23 +0000
ea71bdab6baa Deal with the L1 register assignment mess Steve Losh Fri, 01 Apr 2016 17:24:39 +0000
bbbc9030a316 Improve the code dumping function Steve Losh Thu, 31 Mar 2016 22:17:53 +0000
8a18f9b3bb72 Add the code store to the WAM (unused right now) Steve Losh Wed, 30 Mar 2016 13:44:34 +0000
894cac6a43fa Make the WAM heap resizable Steve Losh Wed, 30 Mar 2016 00:30:33 +0000
6b2403fb07d8 Add break to run Steve Losh Tue, 29 Mar 2016 23:09:51 +0000
3ac6e0d897af Poke at GGP a bit Steve Losh Mon, 28 Mar 2016 20:32:33 +0000
dfba7d90a8a5 Render doc Steve Losh Mon, 28 Mar 2016 17:52:48 +0000
0432f016c912 WHAT HATH GOD WROUGHT Steve Losh Mon, 28 Mar 2016 00:43:24 +0000
0b1008a7fe76 Fiddle with and document the unification instructions a bit Steve Losh Sun, 27 Mar 2016 22:30:52 +0000
87afb11b9791 Add a function for extracting things from the heap Steve Losh Sun, 27 Mar 2016 22:25:43 +0000
d80af96eaf15 Rewrite registers to be addresses, not cells Steve Losh Sun, 27 Mar 2016 18:32:37 +0000
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 61: (0) tip