sforman
/
Thun
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Commit Graph

  • 26c92e9a48 Add assoc to kinda sorta track the values in the registers. Simon Forman 2020-01-28 18:04:51 -0800
  • ca7c23b1ac swap, pop, and + Simon Forman 2020-01-28 17:16:17 -0800
  • bf8cc63c70 dup, add_ref/3. Simon Forman 2020-01-28 12:44:19 -0800
  • 712dd24e88 THread through a context to track registers. Simon Forman 2020-01-28 12:24:04 -0800
  • 768c7f6599 Sort of compile '+'. Simon Forman 2020-01-28 11:01:28 -0800
  • bc7b471daf Move immediate to register for int literal. Simon Forman 2020-01-28 10:46:38 -0800
  • 6888c71b69 blep. Simon Forman 2020-01-28 10:37:13 -0800
  • 5b6bd42ebe A start on machine code generation. Simon Forman 2020-01-28 10:21:37 -0800
  • b323402c9b Fix a bug in step. Simon Forman 2020-01-27 12:56:26 -0800
  • 6e8151a0b2 docs, formatter Simon Forman 2020-01-27 11:54:24 -0800
  • 714aa59c43 Fix a bug in rest. Simon Forman 2020-01-26 17:06:21 -0800
  • ab0a378b56 Minor cleanup. Simon Forman 2020-01-26 16:50:49 -0800
  • 76de590d27 Experiments with partial reduction are very promising. Simon Forman 2020-01-26 13:21:47 -0800
  • ef6d271c85 Partial reduction of thun/3 in the thun/4 relation. Simon Forman 2020-01-26 12:48:38 -0800
  • 0af0fb7e8e Map combinator works with types. Simon Forman 2020-01-26 10:15:32 -0800
  • e0a36eab8b Remove '==' from definitions. (Bools) Simon Forman 2020-01-26 09:48:30 -0800
  • ed41395560 Definition for 'not' in terms of 'branch'. Simon Forman 2020-01-26 08:44:57 -0800
  • 2aa1765b89 Proper types, checking, inference. Simon Forman 2020-01-26 08:43:52 -0800
  • 6e6e52d206 Don't assert defs twice. Simon Forman 2020-01-25 16:13:06 -0800
  • 1ecb5be278 Change back to CLP(FD) semantics. Simon Forman 2020-01-25 15:50:50 -0800
  • 36ec93e46b Docs and minor cleanup to the grammar. Simon Forman 2020-01-25 14:35:44 -0800
  • 0588496ca5 Minor cleanup. Simon Forman 2019-12-03 08:41:42 -0800
  • fdf0339e16 Make parser REs into module-level "constants". Simon Forman 2019-12-02 14:26:07 -0800
  • 39a0e73fac Some helper scripts for windows. Simon Forman 2019-12-02 14:14:38 -0800
  • 57446a1179 Minor docs update. Simon Forman 2019-12-02 14:13:50 -0800
  • eb591d27e0 Debugging this sucks. Simon Forman 2019-11-28 07:58:42 -0800
  • ff69046a4c Emit a sort of symbol table. Simon Forman 2019-11-13 21:15:33 -0800
  • 4a1770b1cc 4 is already an offset Simon Forman 2019-11-13 15:07:27 -0800
  • 93caa2ed66 Definitions. Simon Forman 2019-11-13 11:41:41 -0800
  • 851f212fb2 "swap" word. Simon Forman 2019-11-12 16:09:13 -0800
  • 4faebb4551 "new" word. Simon Forman 2019-11-12 15:47:33 -0800
  • 4cba943355 Refactor sub_base_merge_and_store. Simon Forman 2019-11-12 11:42:24 -0800
  • 89c58d4f5a dup cons i Simon Forman 2019-11-12 09:23:31 -0800
  • e72fa2585f Forgot to "return" from i combinator. Simon Forman 2019-11-12 09:18:58 -0800
  • 9cfb06c736 Even "nicer". Simon Forman 2019-11-12 09:06:22 -0800
  • 54fe7cbab7 Charming. Simon Forman 2019-11-12 09:03:54 -0800
  • f201cd6bb3 dexpr//1 Simon Forman 2019-11-12 09:02:19 -0800
  • afea54bf08 The i combinator. Simon Forman 2019-11-12 08:37:20 -0800
  • 80d127788e head_addr Simon Forman 2019-11-11 07:51:58 -0800
  • c3e44e2bf8 Simple push of empty list. Simon Forman 2019-11-11 07:45:22 -0800
  • 3126dce307 Dup. Simon Forman 2019-11-10 14:35:57 -0800
  • 0b210d7754 halt. Simon Forman 2019-11-10 10:58:47 -0800
  • 2e301fa6c3 word works with negative numbers now. Simon Forman 2019-11-10 10:53:55 -0800
  • 4a39d82c75 merge_and_store, chain_link Simon Forman 2019-11-09 21:55:01 -0800
  • cde066eb86 Minor refactor. Simon Forman 2019-11-09 21:20:31 -0800
  • 2b9034f6d5 Pass through label. Simon Forman 2019-11-09 20:19:15 -0800
  • 8405d3f863 if_literal and lookup Simon Forman 2019-11-09 18:39:39 -0800
  • 7a821a4eaf incr stack Simon Forman 2019-11-09 18:28:01 -0800
  • 67583716f2 Refactoring and cleanup. Simon Forman 2019-11-09 18:15:56 -0800
  • 04b021846a load Simon Forman 2019-11-09 18:02:07 -0800
  • 8ee9a05780 Bleah. Simon Forman 2019-11-09 15:20:06 -0800
  • e4c17f8c24 Base address in unpack_pair. Simon Forman 2019-11-09 15:12:44 -0800
  • bcadc95aa3 unpack_pair Simon Forman 2019-11-09 15:03:17 -0800
  • a1ecea341a Minor refactor. Simon Forman 2019-11-09 14:02:18 -0800
  • c211848d5c Refactoring, with oddball quoting "symbols". Simon Forman 2019-11-09 13:59:06 -0800
  • a38d8153cd That works nicely, again. Simon Forman 2019-11-09 13:42:14 -0800
  • b7659bdeaa Convert to ? DCG and it's macro-time! Simon Forman 2019-11-09 13:34:51 -0800
  • 632161b6d1 I think that does it for cons. Simon Forman 2019-11-09 12:14:51 -0800
  • ab0ff48c54 That's the mainloop converted to permit negative offsets. Simon Forman 2019-11-09 12:03:13 -0800
  • 9ce9d967cf Minor cleanup, bug fixes. Simon Forman 2019-11-09 11:27:29 -0800
  • 3c796310a5 Minor bugfix. Simon Forman 2019-11-08 15:24:09 -0800
  • 4c13868e7c Cons Simon Forman 2019-11-08 14:06:28 -0800
  • d67420ae68 Just do it in asm. Simon Forman 2019-11-08 08:08:53 -0800
  • 5172be7a0a hmm... Simon Forman 2019-11-07 20:21:26 -0800
  • 3f843ed4cc WIth push2 finished that's the mainloop converted. Simon Forman 2019-11-07 17:25:04 -0800
  • 65d55cf7b4 lookup Simon Forman 2019-11-07 16:28:28 -0800
  • 7bab15c64a if_literal Simon Forman 2019-11-07 16:15:41 -0800
  • 0ce64f2ec4 A start on converting the mainloop. Simon Forman 2019-11-07 15:53:07 -0800
  • b924350c6d Take two on the compiler. Simon Forman 2019-11-07 14:57:41 -0800
  • 53ef16bee4 Minor cleanup. Simon Forman 2019-11-07 07:55:01 -0800
  • 3751107a09 Modify error reporting a lil; words word. Simon Forman 2019-11-07 07:54:04 -0800
  • f58f3b9959 Definition of ii combinator. Simon Forman 2019-11-07 07:53:21 -0800
  • 99f9534a10 Call for_serial/2 Simon Forman 2019-11-07 07:43:21 -0800
  • 22b34aba05 Using partial deduction to inline literals, functions, and combinators. Simon Forman 2019-08-22 15:45:24 -0700
  • 558f45bf47 minor cleanup Simon Forman 2019-08-20 22:00:27 -0700
  • 6e646c012f small func recognizes [] and [X]. Simon Forman 2019-08-19 22:02:06 -0700
  • b59e70f96d Rename bar to korf and some docs. Simon Forman 2019-08-18 16:59:31 -0700
  • 26c2730273 minor cleanup Simon Forman 2019-08-18 12:17:37 -0700
  • 7d44742317 reintroduce definition of fork; it doesn't shadow func(fork, ...). Simon Forman 2019-08-18 11:47:48 -0700
  • a5fb17cc48 read child output after local thun/3 Simon Forman 2019-08-18 11:09:36 -0700
  • 2057d9ee74 truly fork, sort of Simon Forman 2019-08-18 10:53:25 -0700
  • 11fdc81409 minor cleanup Simon Forman 2019-08-13 11:58:31 -0700
  • 8116b83086 Minor cleanup. Simon Forman 2019-08-13 11:51:41 -0700
  • bbc0f750bc Move DCG stuff to own file. Simon Forman 2019-08-13 11:48:08 -0700
  • defedcbd12 Parse ints; move line/{1,2} to main.pl. Simon Forman 2019-08-13 11:29:49 -0700
  • 3f19b2b210 Parse floating point numbers. Simon Forman 2019-08-13 11:24:28 -0700
  • 4c78a31bd9 minor cleanup Simon Forman 2019-08-12 22:29:09 -0700
  • d22e6e86dc minor cleanup Simon Forman 2019-08-12 21:59:19 -0700
  • 86bf875841 Numbers can be followed by space or [. Simon Forman 2019-08-12 21:29:26 -0700
  • 8947dff010 Parse negative numbers. Simon Forman 2019-08-12 21:13:11 -0700
  • 143b711028 swapd function Simon Forman 2019-08-12 21:08:35 -0700
  • aae0e91c44 assert_defs/1 got upset about not finding combo/5 Simon Forman 2019-08-12 21:08:17 -0700
  • e67ef3951c Minor cleanup of the parser. Simon Forman 2019-08-12 20:59:02 -0700
  • 120610cd6b rework parser DCGs Simon Forman 2019-08-12 20:12:35 -0700
  • b25ef2d5f7 Oops! Regression. Simon Forman 2019-08-12 19:25:13 -0700
  • dd42c7c0bc minor cleanup Simon Forman 2019-08-12 19:17:15 -0700
  • cae79ded8f swoncat and fiddling with parser. Simon Forman 2019-08-12 19:09:49 -0700
  • 2e1f598aa2 Experiment with putting logic vars on the stack. Simon Forman 2019-08-11 21:30:02 -0700
  • 222c472449 Remove a cut that sucked. Simon Forman 2019-08-11 20:45:49 -0700
  • 40148fced9 unstack, least_fraction Simon Forman 2019-08-11 19:57:28 -0700