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 |
|
Mark Thom
|
9362aa6af3
|
optimizations
|
2017-03-22 22:30:45 -06:00 |
|
Mark Thom
|
540a5b805f
|
fix README
|
2017-03-10 23:51:37 -07:00 |
|
Mark Thom
|
fcb3cc1287
|
transition to prolog
|
2017-03-10 23:50:26 -07:00 |
|
Mark Thom
|
743602778f
|
fix README
|
2017-03-05 10:04:45 -07:00 |
|
Mark Thom
|
bad608a202
|
fix to README
|
2017-03-04 19:52:54 -07:00 |
|
Mark Thom
|
02827bc0e2
|
fix to README
|
2017-03-04 19:28:59 -07:00 |
|
Mark Thom
|
42ce902b3c
|
transition to l3
|
2017-03-04 19:22:43 -07:00 |
|
Mark Thom
|
97f6bee8c3
|
minor tweak
|
2017-02-28 13:33:28 -07:00 |
|
Mark Thom
|
6822be4bc9
|
minor tweaks.
|
2017-02-28 13:28:06 -07:00 |
|
Mark Thom
|
00ad58e741
|
remove todo
|
2017-02-27 12:36:52 -07:00 |
|
Mark Thom
|
42374f49dc
|
codegen tweak.
|
2017-02-26 21:44:46 -07:00 |
|
Mark Thom
|
e3e3f346e5
|
bug fixes, tests
|
2017-02-25 20:53:33 -07:00 |
|
Mark Thom
|
59eb04866a
|
codegen bug fix.
|
2017-02-25 14:29:11 -07:00 |
|
Mark Thom
|
d55224626f
|
bug fix
|
2017-02-25 13:52:58 -07:00 |
|
Mark Thom
|
6346612caa
|
typo fix
|
2017-02-25 12:30:27 -07:00 |
|
Mark Thom
|
80adc23984
|
new readme examples
|
2017-02-24 18:53:30 -07:00 |
|
Mark Thom
|
25eb8911f0
|
cosmetic changes
|
2017-02-24 18:05:17 -07:00 |
|
Mark Thom
|
f47a161376
|
fix codegen bug (marking terms in rules too eagerly)
|
2017-02-24 17:54:33 -07:00 |
|
Mark Thom
|
2fccbb09c6
|
add heapview, move registers to HeapCellRef
|
2017-02-24 16:16:14 -07:00 |
|
Mark Thom
|
cde396650c
|
removed unnecessary lookup function
|
2017-02-22 16:04:24 -07:00 |
|
Mark Thom
|
4cdfc211e2
|
arity bug fix
|
2017-02-22 15:53:12 -07:00 |
|
Mark Thom
|
1b5f8a1db2
|
transition to l2
|
2017-02-21 00:31:04 -07:00 |
|
Mark Thom
|
0c17344afe
|
add dumb comments
|
2017-02-03 00:49:16 -07:00 |
|
Mark Thom
|
648b7d09fe
|
slight polishing up, bug fixes
|
2017-02-02 16:09:18 -07:00 |
|