]>
Repositorios git - scryer-prolog.git/log
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
Mark Thom [Thu, 23 Mar 2017 22:55:43 +0000 (16:55 -0600)]
optimizations up to section 5.8
Mark Thom [Thu, 23 Mar 2017 07:06:06 +0000 (01:06 -0600)]
optimizations up to section 5.7.
Mark Thom [Thu, 23 Mar 2017 04:30:45 +0000 (22:30 -0600)]
optimizations
Mark Thom [Sat, 11 Mar 2017 06:51:37 +0000 (23:51 -0700)]
fix README
Mark Thom [Sat, 11 Mar 2017 06:50:26 +0000 (23:50 -0700)]
transition to prolog
Mark Thom [Sun, 5 Mar 2017 17:04:45 +0000 (10:04 -0700)]
fix README
Mark Thom [Sun, 5 Mar 2017 02:52:54 +0000 (19:52 -0700)]
fix to README
Mark Thom [Sun, 5 Mar 2017 02:28:59 +0000 (19:28 -0700)]
fix to README
Mark Thom [Sun, 5 Mar 2017 02:22:43 +0000 (19:22 -0700)]
transition to l3
Mark Thom [Tue, 28 Feb 2017 20:33:28 +0000 (13:33 -0700)]
minor tweak
Mark Thom [Tue, 28 Feb 2017 20:28:06 +0000 (13:28 -0700)]
minor tweaks.
Mark Thom [Mon, 27 Feb 2017 19:36:52 +0000 (12:36 -0700)]
remove todo
Mark Thom [Mon, 27 Feb 2017 04:44:46 +0000 (21:44 -0700)]
codegen tweak.
Mark Thom [Sun, 26 Feb 2017 03:53:33 +0000 (20:53 -0700)]
bug fixes, tests
Mark Thom [Sat, 25 Feb 2017 21:29:11 +0000 (14:29 -0700)]
codegen bug fix.
Mark Thom [Sat, 25 Feb 2017 20:52:58 +0000 (13:52 -0700)]
bug fix
Mark Thom [Sat, 25 Feb 2017 19:30:27 +0000 (12:30 -0700)]
typo fix
Mark Thom [Sat, 25 Feb 2017 01:53:30 +0000 (18:53 -0700)]
new readme examples
Mark Thom [Sat, 25 Feb 2017 01:05:17 +0000 (18:05 -0700)]
cosmetic changes
Mark Thom [Sat, 25 Feb 2017 00:54:33 +0000 (17:54 -0700)]
fix codegen bug (marking terms in rules too eagerly)
Mark Thom [Fri, 24 Feb 2017 23:16:14 +0000 (16:16 -0700)]
add heapview, move registers to HeapCellRef
Mark Thom [Wed, 22 Feb 2017 23:04:24 +0000 (16:04 -0700)]
removed unnecessary lookup function
Mark Thom [Wed, 22 Feb 2017 22:53:12 +0000 (15:53 -0700)]
arity bug fix
Mark Thom [Tue, 21 Feb 2017 07:31:04 +0000 (00:31 -0700)]
transition to l2
Mark Thom [Fri, 3 Feb 2017 07:49:16 +0000 (00:49 -0700)]
add dumb comments
Mark Thom [Thu, 2 Feb 2017 23:09:18 +0000 (16:09 -0700)]
slight polishing up, bug fixes
Mark Thom [Thu, 2 Feb 2017 22:53:06 +0000 (15:53 -0700)]
bug fixes
Mark Thom [Sun, 29 Jan 2017 22:03:16 +0000 (15:03 -0700)]
use CompiledFact in machine.rs
Mark Thom [Sat, 28 Jan 2017 06:26:25 +0000 (23:26 -0700)]
codegen bug fix.
Mark Thom [Sat, 28 Jan 2017 05:06:19 +0000 (22:06 -0700)]
transition to l1
Mark Thom [Sat, 28 Jan 2017 04:54:53 +0000 (21:54 -0700)]
fix unification bugs.
projects / scryer-prolog.git / log