]>
Repositorios git - scryer-prolog.git/log
Mark Thom [Sun, 10 Dec 2017 08:24:23 +0000 (01:24 -0700)]
bug fixes on LCO, backtracking.
Mark Thom [Sat, 9 Dec 2017 04:38:52 +0000 (21:38 -0700)]
don't truly truncate the heap.
Mark Thom [Sat, 9 Dec 2017 04:38:18 +0000 (21:38 -0700)]
don't truly truncate the heap.
Mark Thom [Tue, 5 Dec 2017 04:01:23 +0000 (21:01 -0700)]
inline comparison instructions.
Mark Thom [Mon, 4 Dec 2017 17:18:29 +0000 (10:18 -0700)]
update README, toplevel parsing for comparison operators.
Mark Thom [Mon, 4 Dec 2017 00:44:51 +0000 (17:44 -0700)]
add support for comparison operators.
Mark Thom [Sun, 3 Dec 2017 22:16:40 +0000 (15:16 -0700)]
coerce rationals to floats before coercing floats to rationals.
Mark Thom [Sun, 3 Dec 2017 21:23:00 +0000 (14:23 -0700)]
tweak README
Mark Thom [Sun, 3 Dec 2017 21:22:26 +0000 (14:22 -0700)]
tweak README
Mark Thom [Sun, 3 Dec 2017 21:15:52 +0000 (14:15 -0700)]
correct README
Mark Thom [Sun, 3 Dec 2017 21:15:01 +0000 (14:15 -0700)]
add bitwise and modular operations.
Mark Thom [Sat, 2 Dec 2017 21:28:27 +0000 (14:28 -0700)]
extend false cases for is
Mark Thom [Sat, 2 Dec 2017 18:10:25 +0000 (11:10 -0700)]
add support for rational numbers, division.
Mark Thom [Thu, 16 Nov 2017 20:44:44 +0000 (13:44 -0700)]
,
Mark Thom [Mon, 13 Nov 2017 20:35:34 +0000 (13:35 -0700)]
remove is from inlined terms.
Mark Thom [Mon, 13 Nov 2017 20:18:05 +0000 (13:18 -0700)]
separate handling of inlined query terms.
Mark Thom [Mon, 13 Nov 2017 06:43:42 +0000 (23:43 -0700)]
add register marking for non-callable/inlined predicates.
Mark Thom [Sun, 12 Nov 2017 08:36:19 +0000 (01:36 -0700)]
simply post order iterators.
Mark Thom [Sun, 12 Nov 2017 01:57:23 +0000 (18:57 -0700)]
eliminate QueryTermRef.
Mark Thom [Sun, 12 Nov 2017 00:32:46 +0000 (17:32 -0700)]
get rid of chunked iterators for facts.
Mark Thom [Sun, 12 Nov 2017 00:00:10 +0000 (17:00 -0700)]
remove QueryTermRef from Allocator
Mark Thom [Sat, 11 Nov 2017 23:01:29 +0000 (16:01 -0700)]
reuse defunct AND stack frames.
Mark Thom [Thu, 9 Nov 2017 05:57:40 +0000 (22:57 -0700)]
remove Div for ast.rs
Mark Thom [Tue, 7 Nov 2017 05:01:54 +0000 (22:01 -0700)]
fix arithmetic bugs.
Mark Thom [Tue, 7 Nov 2017 03:22:15 +0000 (20:22 -0700)]
clean up atomic and var code.
Mark Thom [Mon, 6 Nov 2017 20:35:48 +0000 (13:35 -0700)]
pass binding info to arithmetic evaluator
Mark Thom [Mon, 6 Nov 2017 17:45:27 +0000 (10:45 -0700)]
instantiated vars in arithmetic exprs
Mark Thom [Mon, 6 Nov 2017 00:14:49 +0000 (17:14 -0700)]
correct README
Mark Thom [Mon, 6 Nov 2017 00:12:30 +0000 (17:12 -0700)]
add provisions for arithmetic support.
Mark Thom [Sat, 4 Nov 2017 16:23:58 +0000 (10:23 -0600)]
proceed is a jump instruction
Mark Thom [Sat, 4 Nov 2017 04:23:04 +0000 (22:23 -0600)]
add proceed to close out inlined atomic and var
Mark Thom [Sat, 4 Nov 2017 03:08:10 +0000 (21:08 -0600)]
record places after inline instrs
Mark Thom [Sat, 4 Nov 2017 02:44:35 +0000 (20:44 -0600)]
inline atomic and var
Mark Thom [Sat, 4 Nov 2017 02:41:01 +0000 (20:41 -0600)]
inline atomic and var.
Mark Thom [Thu, 2 Nov 2017 21:29:31 +0000 (15:29 -0600)]
fix incorrect handling of terminal cuts.
Mark Thom [Sat, 16 Sep 2017 21:25:11 +0000 (15:25 -0600)]
fix indexing bug on anonvars.
Mark Thom [Mon, 11 Sep 2017 03:17:56 +0000 (21:17 -0600)]
update parser.
Mark Thom [Thu, 7 Sep 2017 00:12:35 +0000 (18:12 -0600)]
correct README
Mark Thom [Thu, 7 Sep 2017 00:11:43 +0000 (18:11 -0600)]
finalize operator support.
Mark Thom [Wed, 6 Sep 2017 06:36:14 +0000 (00:36 -0600)]
transition to the operator precedence parser.
Mark Thom [Tue, 5 Sep 2017 05:30:07 +0000 (23:30 -0600)]
add control operators.
Mark Thom [Fri, 18 Aug 2017 18:44:04 +0000 (12:44 -0600)]
add exception error prelude.
Mark Thom [Fri, 18 Aug 2017 00:20:58 +0000 (18:20 -0600)]
add top level exception reporting, exceptions for call/N.
Mark Thom [Tue, 15 Aug 2017 20:28:28 +0000 (14:28 -0600)]
tweak README
Mark Thom [Tue, 15 Aug 2017 20:28:00 +0000 (14:28 -0600)]
tweak README
Mark Thom [Tue, 15 Aug 2017 20:15:28 +0000 (14:15 -0600)]
change ; over to SPACE
Mark Thom [Tue, 15 Aug 2017 18:11:58 +0000 (12:11 -0600)]
remove finished TODO
Mark Thom [Tue, 15 Aug 2017 17:07:23 +0000 (11:07 -0600)]
correct throw omission in README
Mark Thom [Tue, 15 Aug 2017 17:06:19 +0000 (11:06 -0600)]
bug fixes.
Mark Thom [Tue, 15 Aug 2017 04:49:41 +0000 (22:49 -0600)]
adjust for nested throws.
Mark Thom [Mon, 14 Aug 2017 19:26:34 +0000 (13:26 -0600)]
remove diagnostic message
Mark Thom [Mon, 14 Aug 2017 19:21:45 +0000 (13:21 -0600)]
add tests, update status.
Mark Thom [Mon, 14 Aug 2017 16:11:17 +0000 (10:11 -0600)]
generalize has_null_ball
Mark Thom [Mon, 14 Aug 2017 05:53:01 +0000 (23:53 -0600)]
cleanup code generation, add throw/catch, copy_term, var, atomic, not, false builtins
Mark Thom [Sat, 5 Aug 2017 16:15:40 +0000 (10:15 -0600)]
tweak codegen
Mark Thom [Fri, 4 Aug 2017 03:25:50 +0000 (21:25 -0600)]
update README
Mark Thom [Thu, 3 Aug 2017 17:28:15 +0000 (11:28 -0600)]
add tests, remove extraneous instructions.
Mark Thom [Thu, 3 Aug 2017 17:22:52 +0000 (11:22 -0600)]
add tests.
Mark Thom [Thu, 3 Aug 2017 16:56:51 +0000 (10:56 -0600)]
remove print_code calls
Mark Thom [Thu, 3 Aug 2017 16:55:43 +0000 (10:55 -0600)]
fix faulty chunking on call/N.
Mark Thom [Wed, 2 Aug 2017 23:38:12 +0000 (17:38 -0600)]
clean up support for recursive calls, add support for (and protection of) built-in predicates.
Mark Thom [Fri, 28 Jul 2017 23:02:08 +0000 (17:02 -0600)]
fix recursive calls to call/N
Mark Thom [Sun, 25 Jun 2017 21:39:00 +0000 (15:39 -0600)]
add support for embedded calls (syntax)
Mark Thom [Mon, 29 May 2017 18:21:05 +0000 (12:21 -0600)]
add more tests
Mark Thom [Fri, 26 May 2017 18:48:51 +0000 (12:48 -0600)]
update README
Mark Thom [Fri, 26 May 2017 18:48:09 +0000 (12:48 -0600)]
update README
Mark Thom [Fri, 26 May 2017 18:46:19 +0000 (12:46 -0600)]
update README
Mark Thom [Fri, 26 May 2017 18:27:41 +0000 (12:27 -0600)]
add tests, add to README.
Mark Thom [Thu, 25 May 2017 22:41:36 +0000 (16:41 -0600)]
evacuate arguments on overwrite.
Mark Thom [Thu, 25 May 2017 20:46:48 +0000 (14:46 -0600)]
add tests
Mark Thom [Thu, 25 May 2017 01:12:39 +0000 (19:12 -0600)]
remove diagnostic calls
Mark Thom [Thu, 25 May 2017 01:10:31 +0000 (19:10 -0600)]
support call/N
Mark Thom [Wed, 17 May 2017 22:46:04 +0000 (16:46 -0600)]
..
Mark Thom [Wed, 17 May 2017 22:40:05 +0000 (16:40 -0600)]
correct formatting bugs
Mark Thom [Wed, 17 May 2017 22:32:46 +0000 (16:32 -0600)]
refine code generation, scale back unsafe variable instructions for conjunctive queries
Mark Thom [Wed, 17 May 2017 01:35:22 +0000 (19:35 -0600)]
add (non)-deterministic REPL demarcations
Mark Thom [Tue, 16 May 2017 21:26:26 +0000 (15:26 -0600)]
add unwrap to var lookup in fixtures
Mark Thom [Wed, 10 May 2017 16:47:05 +0000 (10:47 -0600)]
remove dead code
Mark Thom [Wed, 10 May 2017 16:21:02 +0000 (10:21 -0600)]
code cleanup
Mark Thom [Tue, 9 May 2017 22:26:17 +0000 (16:26 -0600)]
add top level declarative structure
Mark Thom [Mon, 8 May 2017 20:33:27 +0000 (14:33 -0600)]
cleanup of run_query
Mark Thom [Sun, 7 May 2017 21:26:36 +0000 (15:26 -0600)]
add support for conjunctive queries.
Mark Thom [Mon, 1 May 2017 20:22:32 +0000 (14:22 -0600)]
refine *_void emission"
Mark Thom [Mon, 1 May 2017 17:41:33 +0000 (11:41 -0600)]
fix formatting
Mark Thom [Mon, 1 May 2017 17:39:56 +0000 (11:39 -0600)]
fix void instrs
Mark Thom [Sun, 30 Apr 2017 19:59:11 +0000 (13:59 -0600)]
tweak head check
Mark Thom [Sun, 30 Apr 2017 19:53:15 +0000 (13:53 -0600)]
transition to debray allocation
Mark Thom [Sat, 29 Apr 2017 22:52:08 +0000 (16:52 -0600)]
add fixtures
Mark Thom [Sat, 29 Apr 2017 22:50:53 +0000 (16:50 -0600)]
prep for debray allocation
Mark Thom [Tue, 18 Apr 2017 19:57:48 +0000 (13:57 -0600)]
minor tweaks.
Mark Thom [Sun, 16 Apr 2017 22:53:25 +0000 (16:53 -0600)]
more codegen tweaks.
Mark Thom [Mon, 10 Apr 2017 01:46:44 +0000 (19:46 -0600)]
adjust register allocation around cut
Mark Thom [Mon, 10 Apr 2017 01:12:36 +0000 (19:12 -0600)]
optimized up to chapter 6
Mark Thom [Sun, 9 Apr 2017 18:23:54 +0000 (12:23 -0600)]
tidying up
Mark Thom [Thu, 30 Mar 2017 06:53:54 +0000 (00:53 -0600)]
remove spurious Into instance
Mark Thom [Thu, 30 Mar 2017 06:51:23 +0000 (00:51 -0600)]
optimized up to section 5.11
Mark Thom [Sun, 26 Mar 2017 03:35:31 +0000 (21:35 -0600)]
slight tweaks.
Mark Thom [Sat, 25 Mar 2017 18:26:06 +0000 (12:26 -0600)]
correct register overallocation
Mark Thom [Sat, 25 Mar 2017 08:00:19 +0000 (02:00 -0600)]
remove print debug
Mark Thom [Sat, 25 Mar 2017 07:58:54 +0000 (01:58 -0600)]
optimized up to section 5.10
projects / scryer-prolog.git / log