Graph
-
Beef up the PAIP queues a bit and (ab)use them in the compiler2016-07-11, by Steve Losh
-
Simplify and optimize register allocation just a bit2016-07-11, by Steve Losh
-
Make instructions inlineable2016-07-11, by Steve Losh
-
Optimize `find-anonymous-variables`2016-07-11, by Steve Losh
-
Save the god damn frames2016-07-11, by Steve Losh
-
Inline the trail pointer functions2016-07-11, by Steve Losh
-
Optimize circles a bit2016-07-11, by Steve Losh
-
Type hint the compiler2016-07-11, by Steve Losh
-
Merge the code I accidentally branched off because I'm an idiot2016-07-11, by Steve Losh
-
Refactor the main WAM store into a `simple-array`2016-07-11, by Steve Losh
-
Refactor the code store to use a simple-array2016-07-11, by Steve Losh
-
Don't ever use this2016-07-11, by Steve Losh
-
Turn `instruction-size` into a neat little lookup table2016-07-11, by Steve Losh
-
Clean up the GGP a tiny bit2016-07-11, by Steve Losh
-
Type-hint the WAM `setf` functions2016-07-10, by Steve Losh
-
Name the subterm-handling instructions something not completely stupid2016-07-10, by Steve Losh
-
Excise the stupid fucking `set-*` opcodes2016-07-10, by Steve Losh
-
Fix constant unification2016-07-09, by Steve Losh
-
Pool logic frames to avoid creating so many hash tables2016-07-09, by Steve Losh
-
Clean up and fix the anonymous variable handling2016-07-08, by Steve Losh
-
Export symbols and add a few sanity checks2016-07-08, by Steve Losh
-
Normalize facts and queries because people are lazy2016-07-06, by Steve Losh
-
Clean up the rule UI too2016-07-06, by Steve Losh
-
Clean up the UI2016-07-06, by Steve Losh
-
Add profile.out to .hgignore.2016-07-06, by Steve Losh
-
Don't cons lists of numbers, jesus christ2016-07-05, by Steve Losh
-
Use a queues instead of lists for the logic frame pending predicates2016-07-05, by Steve Losh
-
Rename "code frame" to "logic frame"2016-07-05, by Steve Losh
-
Implement logic frames for assertion/retraction2016-07-05, by Steve Losh
-
Clean up formatting2016-07-05, by Steve Losh
-
Add a handy disassembly macro2016-07-05, by Steve Losh
-
Implement anonymous variables and the `*_void` opcodes2016-07-04, by Steve Losh
-
Switch from `:keyword` variables to `?symbol` ones2016-07-03, by Steve Losh
-
Add AIPS Rovers example2016-06-30, by Steve Losh
-
Add Towers of Hanoi GDL example2016-06-30, by Steve Losh
-
Run the tests on CCL too2016-06-30, by Steve Losh
-
Comment the `bind!` thing a bit more2016-06-29, by Steve Losh
-
Implement dynamic calling and fix `bind!`2016-06-29, by Steve Losh
-
Clean up opcode definition2016-06-29, by Steve Losh
-
Fix a pair of really nasty bugs2016-06-10, by Steve Losh
-
Rewrite the compiler2016-06-07, by Steve Losh
-
Fix docstring to be more clear2016-06-05, by Steve Losh
-
Add constant dump info2016-06-05, by Steve Losh
-
Typos2016-06-05, by Steve Losh
-
Implement cut2016-06-05, by Steve Losh
-
Implement Prolog lists2016-06-02, by Steve Losh
-
Update benchmarks a bit2016-06-02, by Steve Losh
-
Try out actual PAIPROLOG2016-05-19, by Steve Losh
-
Begin inlining things2016-05-15, by Steve Losh
-
Add the first optimization pass: constants2016-05-14, by Steve Losh
-
Make the compiler use a circle for the instruction list2016-05-14, by Steve Losh
-
Add a circle data structure2016-05-13, by Steve Losh
-
Split apart compilation into precompile/render phases2016-05-12, by Steve Losh
-
Add constant cells (unused for now)2016-05-10, by Steve Losh
-
Reserve an extra tag bit for the coming optimizations2016-05-10, by Steve Losh
-
Don't put structure cells on the heap2016-05-10, by Steve Losh
-
I can't spell2016-05-10, by Steve Losh
-
Typo2016-05-10, by Steve Losh
-
THE CELLING2016-05-09, by Steve Losh
-
Privilege heap address 0 as a magic unset sentinal value2016-05-09, by Steve Losh
-
Rename `heap-cell` to just `cell`2016-05-09, by Steve Losh
-
THE CONCATENING2016-05-08, by Steve Losh
-
Purge compiled CL code before benchmarking2016-05-02, by Steve Losh
-
THE STRUCTENING2016-05-02, by Steve Losh
-
Add bench-results.txt to .hgignore.2016-05-02, by Steve Losh
-
Add a benchrunner2016-05-02, by Steve Losh
-
Add a similar awful benchmark for the PAIP implementation2016-05-02, by Steve Losh
-
Add a barebones GGP test case so we can start poking at performance2016-04-30, by Steve Losh
-
Fix fresh db macro2016-04-28, by Steve Losh
-
Cleanup2016-04-24, by Steve Losh
-
Add some tests2016-04-24, by Steve Losh
-
Improve the UI a bit2016-04-24, by Steve Losh
-
Add result returning2016-04-22, by Steve Losh
-
Add done-thunk and use it for query interaction2016-04-22, by Steve Losh
-
I give up on remembering the name of this file2016-04-22, by Steve Losh
-
Implement choice points and backtracking2016-04-20, by Steve Losh
-
Stop using the fill pointer for the stack2016-04-20, by Steve Losh
-
Add the TRY* instructions to compilation2016-04-20, by Steve Losh
-
Implement proper result extraction2016-04-19, by Steve Losh
-
Where the hell did this go?2016-04-19, by Steve Losh
-
Put query code into the front of the main CODE store to run2016-04-18, by Steve Losh
-
Refactor the shared variables copypasting2016-04-18, by Steve Losh
-
Update tokenization comment2016-04-18, by Steve Losh
-
Make all the arrows in comments consistent2016-04-18, by Steve Losh
-
Todone2016-04-18, by Steve Losh
-
Typo2016-04-18, by Steve Losh
-
Document the nightmare2016-04-18, by Steve Losh
-
Remove unnecessary stack/structure opcodes2016-04-18, by Steve Losh
-
Make L2 work properly2016-04-17, by Steve Losh
-
Fix the interpreter and add a simple UI2016-04-16, by Steve Losh
-
Rename a few files2016-04-16, by Steve Losh
-
Update the VM instructions to use register designators2016-04-16, by Steve Losh
-
Implement (mostly) register designators2016-04-16, by Steve Losh
-
Add a REAL janky result extractor2016-04-15, by Steve Losh
-
Implement the stack, register designators, and track permanent vars2016-04-15, by Steve Losh
-
Refactor the parsing and register assignment2016-04-14, by Steve Losh
-
"Pre-inline" the structure argument register assignments2016-04-14, by Steve Losh
-
Fix macro quoting2016-04-14, by Steve Losh
-
Fix up `push-if-new` with setf/places macromancy2016-04-14, by Steve Losh
-
Start working on L22016-04-13, by Steve Losh
-
Add the program runner2016-04-10, by Steve Losh
-
Add code labels and implement the new program instructions2016-04-10, by Steve Losh
-
Implement the query code runner2016-04-10, by Steve Losh
-
Rename the utils files2016-04-10, by Steve Losh
-
First stab at compiling L1 -- not ready yet2016-04-10, by Steve Losh
-
Change functor representation2016-04-05, by Steve Losh
-
Start working on the bytecode generation2016-04-01, by Steve Losh
-
Deal with the L1 register assignment mess2016-04-01, by Steve Losh
-
Improve the code dumping function2016-03-31, by Steve Losh
-
Add the code store to the WAM (unused right now)2016-03-30, by Steve Losh
-
Make the WAM heap resizable2016-03-30, by Steve Losh
-
Add break to run2016-03-29, by Steve Losh
-
Poke at GGP a bit2016-03-28, by Steve Losh
-
Render doc2016-03-28, by Steve Losh
-
WHAT HATH GOD WROUGHT2016-03-28, by Steve Losh
-
Fiddle with and document the unification instructions a bit2016-03-27, by Steve Losh
-
Add a function for extracting things from the heap2016-03-27, by Steve Losh
-
Rewrite registers to be addresses, not cells2016-03-27, by Steve Losh
-
Blur the lambdas, and fix the instruction argument order2016-03-26, by Steve Losh
-
More work on L0, a bit of cleanup2016-03-26, by Steve Losh
-
Clean up topological-sort2016-03-26, by Steve Losh
-
Fix up docstring2016-03-26, by Steve Losh
-
Fix the topological sorting2016-03-26, by Steve Losh
-
Add a few comments and a pair of utility functions for the WAM heap2016-03-26, by Steve Losh
-
Fix flet/labels indentation before I lose my mind2016-03-26, by Steve Losh
-
Split the WAM into component files2016-03-25, by Steve Losh
-
Clean up and add a few comments, and add a bit more type hinting2016-03-25, by Steve Losh
-
Store functors so we can print them later2016-03-25, by Steve Losh
-
Document the heap cell format a bit2016-03-25, by Steve Losh
-
Move scratch garbage into the scratch file2016-03-25, by Steve Losh
-
Clean up some of the WAM code/interface2016-03-25, by Steve Losh
-
Prettify the heap printing a bit2016-03-25, by Steve Losh
-
Use switch instead of cond, it's cleaner2016-03-25, by Steve Losh
-
Define some WAM index types2016-03-25, by Steve Losh
-
Move and clean up the functor wrapper functions2016-03-25, by Steve Losh
-
Add docstrings2016-03-25, by Steve Losh
-
Add STATUS to .hgignore.2016-03-25, by Steve Losh
-
Grammaaeareraer2016-03-24, by Steve Losh
-
Remove unused function2016-03-24, by Steve Losh
-
Oh shit I've got a WAM2016-03-24, by Steve Losh
-
Implement a rudimentary heap for the WAM, part 02016-03-24, by Steve Losh
-
Disable the broken PAIPC for now2016-03-24, by Steve Losh
-
More grinding through the compiled version2016-03-24, by Steve Losh
-
Factor out cl-d-api garbage2016-03-23, by Steve Losh
-
Initial pass at the compiler2016-03-22, by Steve Losh
-
Add destructive unification2016-03-22, by Steve Losh
-
Add API documentation building2016-03-18, by Steve Losh
-
Improve the testing infrastructure, rename find-all2016-03-18, by Steve Losh
-
Add backtracking and wildcards2016-03-14, by Steve Losh
-
Add scratch.lisp to .hgignore.2016-03-14, by Steve Losh
-
Finish basic proving2016-03-10, by Steve Losh
-
Start on the logic database2016-03-10, by Steve Losh
-
Add variable/binding substitution2016-03-09, by Steve Losh
-
Add a couple more unification tests2016-03-09, by Steve Losh
-
Test the occurs check2016-03-09, by Steve Losh
-
Get some basic unification up and running2016-03-08, by Steve Losh
-
Set up a clean namespace for the initial PAIP implementation2016-03-08, by Steve Losh
-
More 99P2016-03-08, by Steve Losh
-
GA the docs2016-03-07, by Steve Losh
-
Initial commit2016-03-05, by Steve Losh