OSDN Git Service

joypy/Thun.git
2020-01-28 Simon FormanTHread through a context to track registers.
2020-01-28 Simon FormanSort of compile '+'.
2020-01-28 Simon FormanMove immediate to register for int literal.
2020-01-28 Simon Formanblep.
2020-01-28 Simon FormanA start on machine code generation.
2020-01-27 Simon FormanFix a bug in step.
2020-01-27 Simon Formandocs, formatter
2020-01-27 Simon FormanFix a bug in rest.
2020-01-27 Simon FormanMinor cleanup.
2020-01-26 Simon FormanExperiments with partial reduction are very promising.
2020-01-26 Simon FormanPartial reduction of thun/3 in the thun/4 relation.
2020-01-26 Simon FormanMap combinator works with types.
2020-01-26 Simon FormanRemove '==' from definitions. (Bools)
2020-01-26 Simon FormanDefinition for 'not' in terms of 'branch'.
2020-01-26 Simon FormanProper types, checking, inference.
2020-01-26 Simon FormanDon't assert defs twice.
2020-01-25 Simon FormanChange back to CLP(FD) semantics.
2020-01-25 Simon FormanDocs and minor cleanup to the grammar.
2019-12-03 Simon FormanMinor cleanup.
2019-12-02 Simon FormanMake parser REs into module-level "constants".
2019-12-02 Simon FormanSome helper scripts for windows.
2019-12-02 Simon FormanMinor docs update.
2019-11-28 Simon FormanDebugging this sucks.
2019-11-14 Simon FormanEmit a sort of symbol table.
2019-11-13 Simon Forman4 is already an offset
2019-11-13 Simon FormanDefinitions.
2019-11-13 Simon Forman"swap" word.
2019-11-12 Simon Forman"new" word.
2019-11-12 Simon FormanRefactor sub_base_merge_and_store.
2019-11-12 Simon Formandup cons i
2019-11-12 Simon FormanForgot to "return" from i combinator.
2019-11-12 Simon FormanEven "nicer".
2019-11-12 Simon FormanCharming.
2019-11-12 Simon Formandexpr//1
2019-11-12 Simon FormanThe i combinator.
2019-11-11 Simon Formanhead_addr
2019-11-11 Simon FormanSimple push of empty list.
2019-11-10 Simon FormanDup.
2019-11-10 Simon Formanhalt.
2019-11-10 Simon Formanword works with negative numbers now.
2019-11-10 Simon Formanmerge_and_store, chain_link
2019-11-10 Simon FormanMinor refactor.
2019-11-10 Simon FormanPass through label.
2019-11-10 Simon Formanif_literal and lookup
2019-11-10 Simon Formanincr stack
2019-11-10 Simon FormanRefactoring and cleanup.
2019-11-10 Simon Formanload
2019-11-09 Simon FormanBleah.
2019-11-09 Simon FormanBase address in unpack_pair.
2019-11-09 Simon Formanunpack_pair
2019-11-09 Simon FormanMinor refactor.
2019-11-09 Simon FormanRefactoring, with oddball quoting "symbols".
2019-11-09 Simon FormanThat works nicely, again.
2019-11-09 Simon FormanConvert to ? DCG and it's macro-time!
2019-11-09 Simon FormanI think that does it for cons.
2019-11-09 Simon FormanThat's the mainloop converted to permit negative offsets.
2019-11-09 Simon FormanMinor cleanup, bug fixes.
2019-11-08 Simon FormanMinor bugfix.
2019-11-08 Simon FormanCons
2019-11-08 Simon FormanJust do it in asm.
2019-11-08 Simon Formanhmm...
2019-11-08 Simon FormanWIth push2 finished that's the mainloop converted.
2019-11-08 Simon Formanlookup
2019-11-08 Simon Formanif_literal
2019-11-07 Simon FormanA start on converting the mainloop.
2019-11-07 Simon FormanTake two on the compiler.
2019-11-07 Simon FormanMinor cleanup.
2019-11-07 Simon FormanModify error reporting a lil; words word.
2019-11-07 Simon FormanDefinition of ii combinator.
2019-11-07 Simon FormanCall for_serial/2
2019-08-22 Simon FormanUsing partial deduction to inline literals, functions...
2019-08-21 Simon Formanminor cleanup
2019-08-20 Simon Formansmall func recognizes [] and [X].
2019-08-18 Simon FormanRename bar to korf and some docs.
2019-08-18 Simon Formanminor cleanup
2019-08-18 Simon Formanreintroduce definition of fork; it doesn't shadow func...
2019-08-18 Simon Formanread child output after local thun/3
2019-08-18 Simon Formantruly fork, sort of
2019-08-13 Simon Formanminor cleanup
2019-08-13 Simon FormanMinor cleanup.
2019-08-13 Simon FormanMove DCG stuff to own file.
2019-08-13 Simon FormanParse ints; move line/{1,2} to main.pl.
2019-08-13 Simon FormanParse floating point numbers.
2019-08-13 Simon Formanminor cleanup
2019-08-13 Simon Formanminor cleanup
2019-08-13 Simon FormanNumbers can be followed by space or [.
2019-08-13 Simon FormanParse negative numbers.
2019-08-13 Simon Formanswapd function
2019-08-13 Simon Formanassert_defs/1 got upset about not finding combo/5
2019-08-13 Simon FormanMinor cleanup of the parser.
2019-08-13 Simon Formanrework parser DCGs
2019-08-13 Simon FormanOops! Regression.
2019-08-13 Simon Formanminor cleanup
2019-08-13 Simon Formanswoncat and fiddling with parser.
2019-08-12 Simon FormanExperiment with putting logic vars on the stack.
2019-08-12 Simon FormanRemove a cut that sucked.
2019-08-12 Simon Formanunstack, least_fraction
2019-08-12 Simon FormanCopyright notices.
2019-08-12 Simon FormanThe sqrt/1 predicate wasn't working.
2019-08-12 Simon FormanMultifile func/3.
next