]>
Repositorios git - scryer-prolog.git/log
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
Mark Thom [Mon, 15 Jan 2018 06:05:15 +0000 (23:05 -0700)]
fix duplicate_term bug
Mark Thom [Mon, 15 Jan 2018 05:11:02 +0000 (22:11 -0700)]
add display predicate
Mark Thom [Mon, 15 Jan 2018 04:48:10 +0000 (21:48 -0700)]
mark structures with their fixity
Mark Thom [Mon, 15 Jan 2018 03:46:03 +0000 (20:46 -0700)]
print ops properly.
Mark Thom [Sun, 14 Jan 2018 04:53:38 +0000 (21:53 -0700)]
remove commented out print_term
Mark Thom [Sun, 14 Jan 2018 04:53:12 +0000 (21:53 -0700)]
remove commented out print_term
Mark Thom [Sun, 14 Jan 2018 04:50:47 +0000 (21:50 -0700)]
refactor heapview
Mark Thom [Sat, 13 Jan 2018 05:26:57 +0000 (22:26 -0700)]
update token type
Mark Thom [Fri, 12 Jan 2018 05:02:34 +0000 (22:02 -0700)]
move MachineState to a submodule
Mark Thom [Fri, 12 Jan 2018 03:56:04 +0000 (20:56 -0700)]
another big refactor
Mark Thom [Fri, 12 Jan 2018 00:07:29 +0000 (17:07 -0700)]
delete needless use
Mark Thom [Thu, 11 Jan 2018 23:13:13 +0000 (16:13 -0700)]
document arg, functor, conditionals
Mark Thom [Wed, 10 Jan 2018 05:38:17 +0000 (22:38 -0700)]
transition to reference counted constants
Mark Thom [Wed, 10 Jan 2018 00:11:17 +0000 (17:11 -0700)]
claw back version number
Mark Thom [Tue, 9 Jan 2018 04:14:19 +0000 (21:14 -0700)]
add provisional functor and arg support, and give ';' and '->' their true semantics
Mark Thom [Mon, 25 Dec 2017 21:01:36 +0000 (14:01 -0700)]
trim down set_cp
Mark Thom [Mon, 25 Dec 2017 20:36:03 +0000 (13:36 -0700)]
correct ',', backtrack bugs
Mark Thom [Mon, 25 Dec 2017 07:29:42 +0000 (00:29 -0700)]
correction to -> offset
Mark Thom [Mon, 25 Dec 2017 07:10:40 +0000 (00:10 -0700)]
remove print_code diagnostic
Mark Thom [Mon, 25 Dec 2017 07:04:52 +0000 (00:04 -0700)]
remove Terminal, correct , bugs
Mark Thom [Sun, 24 Dec 2017 22:44:40 +0000 (15:44 -0700)]
indexing bug fixes, corrections to ,
Mark Thom [Sun, 24 Dec 2017 06:23:45 +0000 (23:23 -0700)]
Merge branch 'master' of http://github.com/mthom/rusty-wam
Mark Thom [Sun, 24 Dec 2017 06:23:30 +0000 (23:23 -0700)]
add beginning support for ',', ';', '->'
Mark Thom [Fri, 22 Dec 2017 19:52:55 +0000 (12:52 -0700)]
update README
Mark Thom [Fri, 22 Dec 2017 19:43:06 +0000 (12:43 -0700)]
update README
Mark Thom [Fri, 22 Dec 2017 19:39:35 +0000 (12:39 -0700)]
update README
Mark Thom [Mon, 11 Dec 2017 16:53:05 +0000 (09:53 -0700)]
correct with_capacity function in Heap ADT
Mark Thom [Mon, 11 Dec 2017 02:32:52 +0000 (19:32 -0700)]
add to README
Mark Thom [Sun, 10 Dec 2017 20:55:49 +0000 (13:55 -0700)]
update README, heap ADT
projects / scryer-prolog.git / log