]>
Repositorios git - scryer-prolog.git/log
Mark Thom [Sat, 10 Mar 2018 22:26:35 +0000 (15:26 -0700)]
add atom predicate.
Mark Thom [Sat, 10 Mar 2018 02:27:22 +0000 (19:27 -0700)]
add is_list
Mark Thom [Sat, 10 Mar 2018 02:13:06 +0000 (19:13 -0700)]
remove b0 slot from AND stack frames.
Mark Thom [Fri, 9 Mar 2018 05:54:36 +0000 (22:54 -0700)]
further debray fix.
Mark Thom [Fri, 9 Mar 2018 04:15:18 +0000 (21:15 -0700)]
reformat io.rs
Mark Thom [Thu, 8 Mar 2018 19:51:06 +0000 (12:51 -0700)]
further allocation fixes.
Mark Thom [Thu, 8 Mar 2018 19:38:38 +0000 (12:38 -0700)]
further allocation fixes.
Mark Thom [Thu, 8 Mar 2018 07:29:56 +0000 (00:29 -0700)]
add queues, fix debray allocator bug.
Mark Thom [Thu, 8 Mar 2018 00:25:33 +0000 (17:25 -0700)]
fix README
Mark Thom [Thu, 8 Mar 2018 00:19:28 +0000 (17:19 -0700)]
add error messages on failed batch entry
Mark Thom [Tue, 6 Mar 2018 04:18:55 +0000 (21:18 -0700)]
cleanup README
Mark Thom [Tue, 6 Mar 2018 04:13:07 +0000 (21:13 -0700)]
add qualified imports
Mark Thom [Mon, 5 Mar 2018 04:38:55 +0000 (21:38 -0700)]
fix README
Mark Thom [Mon, 5 Mar 2018 04:37:29 +0000 (21:37 -0700)]
correct module bugs
Mark Thom [Mon, 5 Mar 2018 04:35:30 +0000 (21:35 -0700)]
correct module bugs
Mark Thom [Sun, 4 Mar 2018 05:31:10 +0000 (22:31 -0700)]
remove module decls from toplevel when they are redeclared.
Mark Thom [Sat, 3 Mar 2018 23:48:00 +0000 (16:48 -0700)]
update README with build instructions
Mark Thom [Sat, 3 Mar 2018 05:31:34 +0000 (22:31 -0700)]
simplify heap_iter.rs
Mark Thom [Sat, 3 Mar 2018 05:28:12 +0000 (22:28 -0700)]
add provisional module support.
Mark Thom [Wed, 28 Feb 2018 00:21:43 +0000 (17:21 -0700)]
add ; key.
Mark Thom [Tue, 27 Feb 2018 02:28:19 +0000 (19:28 -0700)]
.
Mark Thom [Tue, 27 Feb 2018 00:12:06 +0000 (17:12 -0700)]
clean up compile_seq.
Mark Thom [Mon, 26 Feb 2018 06:43:37 +0000 (23:43 -0700)]
fix exception handling when thrown by throw_exception, and within setup_call_cleanup and call_with_inference_limit.
Mark Thom [Mon, 26 Feb 2018 05:38:28 +0000 (22:38 -0700)]
add fixes, further test cases.
Mark Thom [Sun, 25 Feb 2018 19:48:54 +0000 (12:48 -0700)]
updated blurbs
Mark Thom [Sun, 25 Feb 2018 19:13:07 +0000 (12:13 -0700)]
major refactor.
Mark Thom [Sat, 24 Feb 2018 16:41:25 +0000 (09:41 -0700)]
switch internal counts to use BigUint.
Mark Thom [Fri, 23 Feb 2018 23:43:12 +0000 (16:43 -0700)]
add more tests.
Mark Thom [Fri, 23 Feb 2018 07:16:40 +0000 (00:16 -0700)]
fix bugs in call_with_inference_limit
Mark Thom [Fri, 23 Feb 2018 01:33:00 +0000 (18:33 -0700)]
add more tests
Mark Thom [Fri, 23 Feb 2018 00:00:03 +0000 (17:00 -0700)]
add more tests
Mark Thom [Thu, 22 Feb 2018 06:21:18 +0000 (23:21 -0700)]
add compare predicate.
Mark Thom [Thu, 22 Feb 2018 02:46:15 +0000 (19:46 -0700)]
fix bugs in call_with_inference_limit
Mark Thom [Tue, 20 Feb 2018 05:34:56 +0000 (22:34 -0700)]
add call_with_inference_limit
Mark Thom [Sat, 17 Feb 2018 05:34:27 +0000 (22:34 -0700)]
set compound to succeed on non-empty lists.
Mark Thom [Sat, 17 Feb 2018 05:18:17 +0000 (22:18 -0700)]
fix compile_seq, variable printing on standalone inlines.
Mark Thom [Fri, 16 Feb 2018 23:21:37 +0000 (16:21 -0700)]
clear unintended whitespace
Mark Thom [Fri, 16 Feb 2018 01:31:03 +0000 (18:31 -0700)]
add structural equality and inequality predicates.
Mark Thom [Thu, 15 Feb 2018 06:21:56 +0000 (23:21 -0700)]
add (\=)/2.
Mark Thom [Wed, 14 Feb 2018 06:53:16 +0000 (23:53 -0700)]
add term comparison operators.
Mark Thom [Wed, 14 Feb 2018 06:52:52 +0000 (23:52 -0700)]
add term comparison operators.
Mark Thom [Wed, 14 Feb 2018 06:34:44 +0000 (23:34 -0700)]
add term comparison operators.
Mark Thom [Tue, 13 Feb 2018 01:30:44 +0000 (18:30 -0700)]
move several builtins to control.
Mark Thom [Sun, 11 Feb 2018 22:21:30 +0000 (15:21 -0700)]
fix allocator bug.
Mark Thom [Sun, 11 Feb 2018 19:03:13 +0000 (12:03 -0700)]
correct allocation bugs.
Mark Thom [Sun, 11 Feb 2018 06:34:30 +0000 (23:34 -0700)]
add eq, neq predicates.
Mark Thom [Fri, 9 Feb 2018 23:31:56 +0000 (16:31 -0700)]
correct acyclic iteration.
Mark Thom [Fri, 9 Feb 2018 07:09:34 +0000 (00:09 -0700)]
fix crashes caused by inlined optimization.
Mark Thom [Fri, 9 Feb 2018 06:51:05 +0000 (23:51 -0700)]
add ground/1.
Mark Thom [Fri, 9 Feb 2018 01:29:45 +0000 (18:29 -0700)]
minor cleanup.
Mark Thom [Thu, 8 Feb 2018 04:46:40 +0000 (21:46 -0700)]
finalize transition to CutPolicy trait object.
Mark Thom [Wed, 7 Feb 2018 06:41:31 +0000 (23:41 -0700)]
defer cut actions to cut policy trait objects.
Mark Thom [Tue, 6 Feb 2018 05:33:25 +0000 (22:33 -0700)]
fix bug in `is/2` code generation.
Mark Thom [Tue, 6 Feb 2018 03:10:41 +0000 (20:10 -0700)]
add more type predicates.
Mark Thom [Mon, 5 Feb 2018 05:28:41 +0000 (22:28 -0700)]
cosmetic touchups;
Mark Thom [Sun, 4 Feb 2018 01:39:55 +0000 (18:39 -0700)]
parse negation properly.
Mark Thom [Sun, 4 Feb 2018 01:27:12 +0000 (18:27 -0700)]
parse negation.
Mark Thom [Sat, 3 Feb 2018 19:24:43 +0000 (12:24 -0700)]
fix arg_ bug.
Mark Thom [Sat, 3 Feb 2018 00:10:57 +0000 (17:10 -0700)]
reverse builtin instructions
Mark Thom [Fri, 2 Feb 2018 06:39:03 +0000 (23:39 -0700)]
fix setup_call_cleanup bug
Mark Thom [Fri, 2 Feb 2018 06:03:57 +0000 (23:03 -0700)]
add support for setup_call_cleanup
Mark Thom [Thu, 1 Feb 2018 02:49:48 +0000 (19:49 -0700)]
clean up codegen.rs
Mark Thom [Tue, 30 Jan 2018 08:00:46 +0000 (01:00 -0700)]
add library routines for lists.
Mark Thom [Tue, 30 Jan 2018 07:59:42 +0000 (00:59 -0700)]
add batch processing.
Mark Thom [Tue, 30 Jan 2018 05:07:56 +0000 (22:07 -0700)]
prepare for batch processing
Mark Thom [Tue, 30 Jan 2018 05:04:51 +0000 (22:04 -0700)]
prepare for batch processing.
Mark Thom [Mon, 29 Jan 2018 23:17:12 +0000 (16:17 -0700)]
prepare for batch processing.
Mark Thom [Mon, 29 Jan 2018 23:08:24 +0000 (16:08 -0700)]
prepare for batch processing
Mark Thom [Mon, 29 Jan 2018 07:26:33 +0000 (00:26 -0700)]
prepare for batch processing.
Mark Thom [Mon, 29 Jan 2018 06:25:39 +0000 (23:25 -0700)]
prepare for batch processing.
Mark Thom [Mon, 29 Jan 2018 00:37:00 +0000 (17:37 -0700)]
add item to README
Mark Thom [Sun, 28 Jan 2018 01:28:20 +0000 (18:28 -0700)]
fix bug in printer over lists.
Mark Thom [Sat, 27 Jan 2018 22:54:05 +0000 (15:54 -0700)]
tighten =.. code
Mark Thom [Sat, 27 Jan 2018 22:37:59 +0000 (15:37 -0700)]
add length, =.., more tests of builtins.
Mark Thom [Sat, 27 Jan 2018 08:27:17 +0000 (01:27 -0700)]
correct marker bug, edit README.
Mark Thom [Sat, 27 Jan 2018 07:23:32 +0000 (00:23 -0700)]
disjunctions do operate correctly (so far), write more tests.
Mark Thom [Sat, 27 Jan 2018 07:14:10 +0000 (00:14 -0700)]
cleanup notes and sloppy formatting.
Mark Thom [Sat, 27 Jan 2018 06:26:19 +0000 (23:26 -0700)]
write tests to detect disjunction bugs
Mark Thom [Fri, 26 Jan 2018 05:25:00 +0000 (22:25 -0700)]
add more tests for builtins.
Mark Thom [Fri, 26 Jan 2018 04:01:23 +0000 (21:01 -0700)]
add tests for builtins
Mark Thom [Thu, 25 Jan 2018 16:10:30 +0000 (09:10 -0700)]
remove indirection in jmp instructions
Mark Thom [Thu, 25 Jan 2018 05:30:20 +0000 (22:30 -0700)]
add tests for conditionals
Mark Thom [Wed, 24 Jan 2018 04:01:53 +0000 (21:01 -0700)]
inline and expand conditionals whenever possible
Mark Thom [Sat, 20 Jan 2018 22:08:55 +0000 (15:08 -0700)]
update tests to properly reflect answer order.
Mark Thom [Sat, 20 Jan 2018 06:22:54 +0000 (23:22 -0700)]
update README
Mark Thom [Sat, 20 Jan 2018 04:01:01 +0000 (21:01 -0700)]
add tests for callable is, comparisons.
Mark Thom [Sat, 20 Jan 2018 02:39:46 +0000 (19:39 -0700)]
add call support for numeric comparisons.
Mark Thom [Fri, 19 Jan 2018 07:08:55 +0000 (00:08 -0700)]
add callable `is/2`
Mark Thom [Fri, 19 Jan 2018 02:54:15 +0000 (19:54 -0700)]
clean up arithmetic.rs
Mark Thom [Thu, 18 Jan 2018 06:19:49 +0000 (23:19 -0700)]
move instruction increment
Mark Thom [Thu, 18 Jan 2018 05:43:46 +0000 (22:43 -0700)]
abstract out iterator for arithmetic terms.
Mark Thom [Thu, 18 Jan 2018 04:39:59 +0000 (21:39 -0700)]
change arithmetic evaluation iterator to new target type
Mark Thom [Wed, 17 Jan 2018 06:26:59 +0000 (23:26 -0700)]
add an atom table.
Mark Thom [Wed, 17 Jan 2018 02:53:49 +0000 (19:53 -0700)]
expand remaining tests.
Mark Thom [Tue, 16 Jan 2018 16:41:45 +0000 (09:41 -0700)]
add tests on lists
Mark Thom [Tue, 16 Jan 2018 16:12:25 +0000 (09:12 -0700)]
add cut tests
Mark Thom [Tue, 16 Jan 2018 06:42:09 +0000 (23:42 -0700)]
start adding output checks to test
Mark Thom [Tue, 16 Jan 2018 03:28:25 +0000 (20:28 -0700)]
correct formatting on heap_print
Mark Thom [Tue, 16 Jan 2018 03:18:08 +0000 (20:18 -0700)]
abstract Outputter of heap_print
Mark Thom [Mon, 15 Jan 2018 16:20:11 +0000 (09:20 -0700)]
remove preliminary file
projects / scryer-prolog.git / log