Mark Thom 170a71bd02 offset SwitchOnTerm's Internal indices only if the proper instructions were emitted

2021-02-11 15:38:16 -07:00

..

examples

slight update to the BiMetaTrans README

2020-07-10 15:22:15 -06:00

lib

Merge pull request #813 from triska/rebis-dev

2021-02-09 17:57:08 -07:00

machine

throw exceptions when modules do not contain claimed exports

2021-02-09 12:17:34 -07:00

tests

More improvement on mod from CLP(Z)

2020-08-13 21:36:36 +02:00

allocator.rs

rename prolog_parser_rebis to prolog_parser

2021-02-06 22:13:34 +01:00

arithmetic.rs

rename prolog_parser_rebis to prolog_parser

2021-02-06 22:13:34 +01:00

clause_types.rs

rename prolog_parser_rebis to prolog_parser

2021-02-06 22:13:34 +01:00

codegen.rs

rename prolog_parser_rebis to prolog_parser

2021-02-06 22:13:34 +01:00

debray_allocator.rs

rename prolog_parser_rebis to prolog_parser

2021-02-06 22:13:34 +01:00

fixtures.rs

rename prolog_parser_rebis to prolog_parser

2021-02-06 22:13:34 +01:00

forms.rs

correct faulty removal of clauses in abolish/1

2021-02-08 19:02:26 -07:00

heap_iter.rs

remove use statements from main.rs that temporary replaced extern crate and fixed paths that previously used them

2021-02-06 22:13:04 +01:00

heap_print.rs

rename prolog_parser_rebis to prolog_parser

2021-02-06 22:13:34 +01:00

indexing.rs

offset SwitchOnTerm's Internal indices only if the proper instructions were emitted

2021-02-11 15:38:16 -07:00

instructions.rs

rename prolog_parser_rebis to prolog_parser

2021-02-06 22:13:34 +01:00

iterators.rs

rename prolog_parser_rebis to prolog_parser

2021-02-06 22:13:34 +01:00

loader.pl

roll back extent of heap when loads are complete in loader.pl

2021-02-11 15:37:43 -07:00

macros.rs

move to a predicate-based module system, move to loader.[rs|pl]-based compilation, add support for incremental clause compilation

2021-01-30 21:07:51 -07:00

main.rs

remove use statements from main.rs that temporary replaced extern crate and fixed paths that previously used them

2021-02-06 22:13:04 +01:00

read.rs

rename prolog_parser_rebis to prolog_parser

2021-02-06 22:13:34 +01:00

targets.rs

rename prolog_parser_rebis to prolog_parser

2021-02-06 22:13:34 +01:00

toplevel.pl

set rustyline to check the cursor position (#802), don't add .pl extension to files in loader.pl (#800)

2021-02-06 13:47:26 -07:00

write.rs

throw exceptions when modules do not contain claimed exports

2021-02-09 12:17:34 -07:00