|
96258fb7be70
|
Type hint the compiler
|
Steve Losh |
Mon, 11 Jul 2016 19:18:35 +0000 |
|
abffacd7848a
|
Merge the code I accidentally branched off because I'm an idiot
|
Steve Losh |
Mon, 11 Jul 2016 16:26:05 +0000 |
|
3b0161d2100d
|
Refactor the main WAM store into a `simple-array`
|
Steve Losh |
Mon, 11 Jul 2016 16:17:18 +0000 |
|
23d4dc2900a1
|
Refactor the code store to use a simple-array
|
Steve Losh |
Mon, 11 Jul 2016 14:15:14 +0000 |
|
7bd5fdb2151d
|
Don't ever use this
|
Steve Losh |
Mon, 11 Jul 2016 13:48:06 +0000 |
|
d6b6684d6b7b
|
Turn `instruction-size` into a neat little lookup table
|
Steve Losh |
Mon, 11 Jul 2016 09:58:20 +0000 |
|
2a7cb53fb03f
|
Clean up the GGP a tiny bit
|
Steve Losh |
Mon, 11 Jul 2016 09:55:05 +0000 |
|
4d17e3cb6fa2
|
Type-hint the WAM `setf` functions
|
Steve Losh |
Sun, 10 Jul 2016 21:08:12 +0000 |
|
8cd3257c58e3
|
Name the subterm-handling instructions something not completely stupid
|
Steve Losh |
Sun, 10 Jul 2016 14:28:48 +0000 |
|
ba205f6b2875
|
Excise the stupid fucking `set-*` opcodes
|
Steve Losh |
Sun, 10 Jul 2016 14:21:18 +0000 |
|
07e1d5f315f5
|
Fix constant unification
|
Steve Losh |
Sat, 09 Jul 2016 21:51:02 +0000 |
|
92c590f78133
|
Pool logic frames to avoid creating so many hash tables
|
Steve Losh |
Sat, 09 Jul 2016 21:03:01 +0000 |
|
8c853f632f8c
|
Clean up and fix the anonymous variable handling
|
Steve Losh |
Fri, 08 Jul 2016 18:14:05 +0000 |
|
2415dbe555d2
|
Export symbols and add a few sanity checks
|
Steve Losh |
Fri, 08 Jul 2016 17:03:54 +0000 |
|
55019395ba93
|
Normalize facts and queries because people are lazy
|
Steve Losh |
Wed, 06 Jul 2016 20:41:56 +0000 |