Graph
-
Optimize circles a bitMon, 11 Jul 2016 19:56:43 +0000, by Steve Losh
-
Type hint the compilerMon, 11 Jul 2016 19:18:35 +0000, by Steve Losh
-
Merge the code I accidentally branched off because I'm an idiotMon, 11 Jul 2016 16:26:05 +0000, by Steve Losh
-
Refactor the main WAM store into a `simple-array`Mon, 11 Jul 2016 16:17:18 +0000, by Steve Losh
-
Refactor the code store to use a simple-arrayMon, 11 Jul 2016 14:15:14 +0000, by Steve Losh
-
Don't ever use thisMon, 11 Jul 2016 13:48:06 +0000, by Steve Losh
-
Turn `instruction-size` into a neat little lookup tableMon, 11 Jul 2016 09:58:20 +0000, by Steve Losh
-
Clean up the GGP a tiny bitMon, 11 Jul 2016 09:55:05 +0000, by Steve Losh
-
Type-hint the WAM `setf` functionsSun, 10 Jul 2016 21:08:12 +0000, by Steve Losh
-
Name the subterm-handling instructions something not completely stupidSun, 10 Jul 2016 14:28:48 +0000, by Steve Losh
-
Excise the stupid fucking `set-*` opcodesSun, 10 Jul 2016 14:21:18 +0000, by Steve Losh
-
Fix constant unificationSat, 09 Jul 2016 21:51:02 +0000, by Steve Losh
-
Pool logic frames to avoid creating so many hash tablesSat, 09 Jul 2016 21:03:01 +0000, by Steve Losh
-
Clean up and fix the anonymous variable handlingFri, 08 Jul 2016 18:14:05 +0000, by Steve Losh
-
Export symbols and add a few sanity checksFri, 08 Jul 2016 17:03:54 +0000, by Steve Losh
-
Normalize facts and queries because people are lazyWed, 06 Jul 2016 20:41:56 +0000, by Steve Losh
-
Clean up the rule UI tooWed, 06 Jul 2016 20:08:27 +0000, by Steve Losh
-
Clean up the UIWed, 06 Jul 2016 18:30:31 +0000, by Steve Losh
-
Add profile.out to .hgignore.Wed, 06 Jul 2016 13:49:47 +0000, by Steve Losh
-
Don't cons lists of numbers, jesus christTue, 05 Jul 2016 23:54:54 +0000, by Steve Losh
-
Use a queues instead of lists for the logic frame pending predicatesTue, 05 Jul 2016 23:37:14 +0000, by Steve Losh
-
Rename "code frame" to "logic frame"Tue, 05 Jul 2016 23:12:50 +0000, by Steve Losh
-
Implement logic frames for assertion/retractionTue, 05 Jul 2016 23:02:33 +0000, by Steve Losh
-
Clean up formattingTue, 05 Jul 2016 16:53:58 +0000, by Steve Losh