Mark Thom fcb468b844 fix lexer bugs.

2018-04-14 11:59:57 -06:00

..

lib

remove flatten

2018-03-26 19:05:23 -06:00

machine

throw exception when predicate not found

2018-04-09 21:27:50 -06:00

parser @ 914f216add

fix lexer bugs.

2018-04-14 11:59:57 -06:00

allocator.rs

incomplete cut corrections.

2018-04-07 00:15:34 -06:00

and_stack.rs

remove b0 slot from AND stack frames.

2018-03-09 19:13:06 -07:00

arithmetic.rs

add provisional module support.

2018-03-02 22:28:12 -07:00

ast.rs

fix lexer bugs.

2018-04-14 11:59:57 -06:00

builtins.rs

correct mishandled blocking of cuts

2018-04-08 11:29:30 -06:00

codegen.rs

fix cut expansions.

2018-04-07 16:44:51 -06:00

copier.rs

throw exception when predicate not found

2018-04-09 21:27:50 -06:00

debray_allocator.rs

incomplete cut corrections.

2018-04-07 00:15:34 -06:00

fixtures.rs

fix cut expansions.

2018-04-07 16:44:51 -06:00

heap_iter.rs

add acyclic term

2018-03-28 21:17:46 -06:00

heap_print.rs

minor tweak to printer code

2018-03-16 16:23:27 -06:00

indexing.rs

major refactor.

2018-02-25 12:13:07 -07:00

io.rs

update/extension to lexer, bug fixes to module importing

2018-04-13 18:44:23 -06:00

iterators.rs

fix cut expansions.

2018-04-07 16:44:51 -06:00

macros.rs

throw exceptions when calling non-existent predicates. broken.

2018-04-08 15:17:58 -06:00

mod.rs

update/extension to lexer, bug fixes to module importing

2018-04-13 18:44:23 -06:00

or_stack.rs

bug fixes on LCO, backtracking.

2017-12-10 01:24:23 -07:00

tabled_rc.rs

add provisional module support.

2018-03-02 22:28:12 -07:00

targets.rs

major refactor.

2018-02-25 12:13:07 -07:00

toplevel.rs

update/extension to lexer, bug fixes to module importing

2018-04-13 18:44:23 -06:00