Hi David! This is really awesome! :)
I'm curious: what do the _.n reified logic variables mean in the output? Are these unknown label names, or other identifiers? q: ((addi 29 29 65528) (sw 16 4 (29)) (sw 31 0 (29)) (bne 4 0 _.0) (addi 2 5 1) (j _.1) (bne 5 0 _.2) (addi 4 4 65535) (addi 5 0 1) (jal _.3) (j _.4) (add 16 4 0) (addi 5 5 65535) (jal _.5) (addi 4 16 65535) (add 5 2 0) (jal _.6) (j _.7) (lw 16 4 (29)) (lw 31 0 (29)) (addi 29 29 8) (jr 31)) On Mon, Feb 29, 2016 at 2:01 PM, David Kahn <[email protected]> wrote: > minimips (https://github.com/orchid-hybrid/minimips) the relational MIPS > assembler and disassembler written in miniKanren now works in the browser on > top of veneer! > > Try it here: > http://tca.github.io/veneer/examples/editor.html > > The main change that was needed was delayed goals which I implemented using > a co-routine that walks a structure, pausing any time it hits an un-ground > variable. > https://github.com/tca/veneer/blob/master/mk.js#L148 > > On a side note, with a small tweak it can also do the two watched literal > scheme SAT solvers use for unit propagation. Could this be applied somewhere > in miniKanren? > > -- > You received this message because you are subscribed to the Google Groups > "minikanren" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/minikanren. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "minikanren" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/minikanren. For more options, visit https://groups.google.com/d/optout.
