Mark Thom
|
23afcdd6d4
|
remove extraneous comments.
|
2018-03-17 15:46:12 -06:00 |
|
Mark Thom
|
a66049a321
|
refactor BuiltInInstruction
|
2018-03-17 15:45:17 -06:00 |
|
Mark Thom
|
64ab9a0337
|
remove DynamicIs
|
2018-03-17 15:01:31 -06:00 |
|
Mark Thom
|
d8bcf47462
|
refactor ControlInstruction
|
2018-03-17 01:26:50 -06:00 |
|
Mark Thom
|
faabe85e75
|
minor tweak to printer code
|
2018-03-16 16:23:27 -06:00 |
|
Mark Thom
|
ea1414e738
|
correct sort, keysort
|
2018-03-11 19:51:25 -06:00 |
|
Mark Thom
|
acdb3f2c45
|
add sort, keysort.
|
2018-03-11 17:37:29 -06:00 |
|
Mark Thom
|
7500465b38
|
add atom predicate.
|
2018-03-10 15:26:35 -07:00 |
|
Mark Thom
|
2cc5367c52
|
add is_list
|
2018-03-09 19:27:22 -07:00 |
|
Mark Thom
|
b5b44fe5a2
|
remove b0 slot from AND stack frames.
|
2018-03-09 19:13:06 -07:00 |
|
Mark Thom
|
2bdf95e62d
|
further debray fix.
|
2018-03-08 22:54:36 -07:00 |
|
Mark Thom
|
279233f73b
|
reformat io.rs
|
2018-03-08 21:15:18 -07:00 |
|
Mark Thom
|
f8389e889e
|
further allocation fixes.
|
2018-03-08 12:51:06 -07:00 |
|
Mark Thom
|
cb9aafbccf
|
further allocation fixes.
|
2018-03-08 12:38:38 -07:00 |
|
Mark Thom
|
179e425fb6
|
add queues, fix debray allocator bug.
|
2018-03-08 00:29:56 -07:00 |
|
Mark Thom
|
ab182b6e3b
|
add error messages on failed batch entry
|
2018-03-07 17:19:28 -07:00 |
|
Mark Thom
|
b1c41f211b
|
add qualified imports
|
2018-03-05 21:13:07 -07:00 |
|
Mark Thom
|
6d3bde1144
|
correct module bugs
|
2018-03-04 21:37:29 -07:00 |
|
Mark Thom
|
0c66743db5
|
correct module bugs
|
2018-03-04 21:35:30 -07:00 |
|
Mark Thom
|
ba6d753a56
|
remove module decls from toplevel when they are redeclared.
|
2018-03-03 22:31:10 -07:00 |
|
Mark Thom
|
c4a206da02
|
simplify heap_iter.rs
|
2018-03-02 22:31:34 -07:00 |
|
Mark Thom
|
8a63623516
|
add provisional module support.
|
2018-03-02 22:28:12 -07:00 |
|
Mark Thom
|
33834609c3
|
add ; key.
|
2018-02-27 17:21:43 -07:00 |
|
Mark Thom
|
7906982d4d
|
clean up compile_seq.
|
2018-02-26 17:12:06 -07:00 |
|
Mark Thom
|
07675b3675
|
fix exception handling when thrown by throw_exception, and within setup_call_cleanup and call_with_inference_limit.
|
2018-02-25 23:43:37 -07:00 |
|
Mark Thom
|
c133931134
|
add fixes, further test cases.
|
2018-02-25 22:38:28 -07:00 |
|
Mark Thom
|
cf9db43d5b
|
major refactor.
|
2018-02-25 12:13:07 -07:00 |
|
Mark Thom
|
05c1275acf
|
switch internal counts to use BigUint.
|
2018-02-24 09:41:25 -07:00 |
|
Mark Thom
|
ec276a7766
|
add more tests.
|
2018-02-23 16:43:12 -07:00 |
|
Mark Thom
|
8d182b3f02
|
fix bugs in call_with_inference_limit
|
2018-02-23 00:16:40 -07:00 |
|
Mark Thom
|
5c5257bdbd
|
add more tests
|
2018-02-22 18:33:00 -07:00 |
|
Mark Thom
|
bdd4fe6eb3
|
add more tests
|
2018-02-22 17:00:03 -07:00 |
|
Mark Thom
|
9aac3cb086
|
add compare predicate.
|
2018-02-21 23:21:18 -07:00 |
|
Mark Thom
|
5de03444eb
|
fix bugs in call_with_inference_limit
|
2018-02-21 19:46:15 -07:00 |
|
Mark Thom
|
7313472a70
|
add call_with_inference_limit
|
2018-02-19 22:34:56 -07:00 |
|
Mark Thom
|
8b566ab4e5
|
set compound to succeed on non-empty lists.
|
2018-02-16 22:34:27 -07:00 |
|
Mark Thom
|
61bc5a2a29
|
fix compile_seq, variable printing on standalone inlines.
|
2018-02-16 22:18:17 -07:00 |
|
Mark Thom
|
280dbe9539
|
clear unintended whitespace
|
2018-02-16 16:21:37 -07:00 |
|
Mark Thom
|
cf67b938c0
|
add structural equality and inequality predicates.
|
2018-02-15 18:31:03 -07:00 |
|
Mark Thom
|
f1ac75f21d
|
add (\=)/2.
|
2018-02-14 23:21:56 -07:00 |
|
Mark Thom
|
ae323a0cdf
|
add term comparison operators.
|
2018-02-13 23:34:44 -07:00 |
|
Mark Thom
|
a1fb4f529b
|
move several builtins to control.
|
2018-02-12 18:30:44 -07:00 |
|
Mark Thom
|
47055d189d
|
fix allocator bug.
|
2018-02-11 15:21:30 -07:00 |
|
Mark Thom
|
54e36f0d24
|
correct allocation bugs.
|
2018-02-11 12:03:13 -07:00 |
|
Mark Thom
|
e7560150b0
|
add eq, neq predicates.
|
2018-02-10 23:34:30 -07:00 |
|
Mark Thom
|
211bdd3a13
|
correct acyclic iteration.
|
2018-02-09 16:31:56 -07:00 |
|
Mark Thom
|
5b1475435a
|
fix crashes caused by inlined optimization.
|
2018-02-09 00:09:34 -07:00 |
|
Mark Thom
|
9c1b48865b
|
add ground/1.
|
2018-02-08 23:51:05 -07:00 |
|
Mark Thom
|
df3e8b8fce
|
minor cleanup.
|
2018-02-08 18:29:45 -07:00 |
|
Mark Thom
|
1b4d1c04c9
|
finalize transition to CutPolicy trait object.
|
2018-02-07 21:46:40 -07:00 |
|