Mark Thom
|
a3fbf1bc73
|
generalize has_null_ball
|
2017-08-14 10:11:17 -06:00 |
|
Mark Thom
|
a06d99a313
|
cleanup code generation, add throw/catch, copy_term, var, atomic, not, false builtins
|
2017-08-13 23:53:01 -06:00 |
|
Mark Thom
|
198eca678c
|
tweak codegen
|
2017-08-05 10:15:40 -06:00 |
|
Mark Thom
|
180fca20f9
|
update README
|
2017-08-03 21:25:50 -06:00 |
|
Mark Thom
|
28018c0d43
|
add tests, remove extraneous instructions.
|
2017-08-03 11:28:15 -06:00 |
|
Mark Thom
|
0050c1d4cb
|
add tests.
|
2017-08-03 11:22:52 -06:00 |
|
Mark Thom
|
83899b7273
|
remove print_code calls
|
2017-08-03 10:56:51 -06:00 |
|
Mark Thom
|
409d79719d
|
fix faulty chunking on call/N.
|
2017-08-03 10:55:43 -06:00 |
|
Mark Thom
|
315c748c31
|
clean up support for recursive calls, add support for (and protection of) built-in predicates.
|
2017-08-02 17:38:12 -06:00 |
|
Mark Thom
|
3aa8780086
|
fix recursive calls to call/N
|
2017-07-28 17:02:08 -06:00 |
|
Mark Thom
|
8a99b6d3bc
|
add support for embedded calls (syntax)
|
2017-06-25 15:39:00 -06:00 |
|
Mark Thom
|
b349ac8bf9
|
add more tests
|
2017-05-29 12:21:05 -06:00 |
|
Mark Thom
|
cf14f736f7
|
update README
|
2017-05-26 12:48:51 -06:00 |
|
Mark Thom
|
ca43a5b8e0
|
update README
|
2017-05-26 12:48:09 -06:00 |
|
Mark Thom
|
4ab0716b86
|
update README
|
2017-05-26 12:46:19 -06:00 |
|
Mark Thom
|
f29bd3dc0b
|
add tests, add to README.
|
2017-05-26 12:27:41 -06:00 |
|
Mark Thom
|
4d6897509d
|
evacuate arguments on overwrite.
|
2017-05-25 16:41:36 -06:00 |
|
Mark Thom
|
cf470e48c2
|
add tests
|
2017-05-25 14:46:48 -06:00 |
|
Mark Thom
|
13c902918b
|
remove diagnostic calls
|
2017-05-24 19:12:39 -06:00 |
|
Mark Thom
|
2f23541ee0
|
support call/N
|
2017-05-24 19:10:31 -06:00 |
|
Mark Thom
|
39f0f2bacb
|
..
|
2017-05-17 16:46:04 -06:00 |
|
Mark Thom
|
0063329e3e
|
correct formatting bugs
|
2017-05-17 16:40:05 -06:00 |
|
Mark Thom
|
5efee09434
|
refine code generation, scale back unsafe variable instructions for conjunctive queries
|
2017-05-17 16:32:46 -06:00 |
|
Mark Thom
|
5fa9881556
|
add (non)-deterministic REPL demarcations
|
2017-05-16 19:35:22 -06:00 |
|
Mark Thom
|
950a6ec57c
|
add unwrap to var lookup in fixtures
|
2017-05-16 15:26:26 -06:00 |
|
Mark Thom
|
9afa37a94b
|
remove dead code
|
2017-05-10 10:47:05 -06:00 |
|
Mark Thom
|
91b9aed33a
|
code cleanup
|
2017-05-10 10:21:02 -06:00 |
|
Mark Thom
|
6fa5bad5bf
|
add top level declarative structure
|
2017-05-09 16:26:17 -06:00 |
|
Mark Thom
|
9c72177b60
|
cleanup of run_query
|
2017-05-08 14:33:27 -06:00 |
|
Mark Thom
|
f155b5b2c2
|
add support for conjunctive queries.
|
2017-05-07 15:26:36 -06:00 |
|
Mark Thom
|
9687878219
|
refine *_void emission"
|
2017-05-01 14:22:32 -06:00 |
|
Mark Thom
|
5d354bbce7
|
fix formatting
|
2017-05-01 11:41:33 -06:00 |
|
Mark Thom
|
1ab2619cce
|
fix void instrs
|
2017-05-01 11:39:56 -06:00 |
|
Mark Thom
|
e68e3cc1ad
|
tweak head check
|
2017-04-30 13:59:11 -06:00 |
|
Mark Thom
|
316e5c5c1a
|
transition to debray allocation
|
2017-04-30 13:53:15 -06:00 |
|
Mark Thom
|
1bdc539c25
|
add fixtures
|
2017-04-29 16:52:08 -06:00 |
|
Mark Thom
|
a6304d3f96
|
prep for debray allocation
|
2017-04-29 16:50:53 -06:00 |
|
Mark Thom
|
2e7aa6423c
|
minor tweaks.
|
2017-04-18 13:57:48 -06:00 |
|
Mark Thom
|
7acee092eb
|
more codegen tweaks.
|
2017-04-16 16:53:25 -06:00 |
|
Mark Thom
|
0ef8dc03ac
|
adjust register allocation around cut
|
2017-04-09 19:46:44 -06:00 |
|
Mark Thom
|
19ee43e186
|
optimized up to chapter 6
|
2017-04-09 19:12:36 -06:00 |
|
Mark Thom
|
d2cf8626a1
|
tidying up
|
2017-04-09 12:23:54 -06:00 |
|
Mark Thom
|
759e1da4c8
|
remove spurious Into instance
|
2017-03-30 00:53:54 -06:00 |
|
Mark Thom
|
79ae4abb81
|
optimized up to section 5.11
|
2017-03-30 00:51:23 -06:00 |
|
Mark Thom
|
02482aec8a
|
slight tweaks.
|
2017-03-25 21:35:31 -06:00 |
|
Mark Thom
|
b7ff27af1b
|
correct register overallocation
|
2017-03-25 12:26:06 -06:00 |
|
Mark Thom
|
a836e14b5f
|
remove print debug
|
2017-03-25 02:00:19 -06:00 |
|
Mark Thom
|
d65970ee57
|
optimized up to section 5.10
|
2017-03-25 01:58:54 -06:00 |
|
Mark Thom
|
24b60eb2c6
|
optimizations up to section 5.8
|
2017-03-23 16:55:43 -06:00 |
|
Mark Thom
|
e1cc5ecfd6
|
optimizations up to section 5.7.
|
2017-03-23 01:06:06 -06:00 |
|