]>
Repositorios git - scryer-prolog.git/log
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
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.
Mark Thom [Sun, 22 Jan 2017 18:26:23 +0000 (11:26 -0700)]
remove unnecessary Sized trait on CompilationTarget
Mark Thom [Sun, 22 Jan 2017 18:24:29 +0000 (11:24 -0700)]
streamline code generation with iterators and traits
Mark Thom [Mon, 26 Dec 2016 21:09:24 +0000 (14:09 -0700)]
cosmetic changes.
Mark Thom [Sun, 18 Dec 2016 22:19:30 +0000 (15:19 -0700)]
remove unnecessary lifetime.
Mark Thom [Fri, 2 Dec 2016 00:33:02 +0000 (17:33 -0700)]
use references when executing instructions, not moves.
Mark Thom [Mon, 31 Oct 2016 03:49:27 +0000 (21:49 -0600)]
fixes to binding.
Mark Thom [Mon, 31 Oct 2016 02:32:13 +0000 (20:32 -0600)]
remove Term impl
Mark Thom [Sun, 30 Oct 2016 06:19:25 +0000 (00:19 -0600)]
codegen fix
Mark Thom [Sat, 29 Oct 2016 19:18:12 +0000 (13:18 -0600)]
codegen fixes
Mark Thom [Sat, 29 Oct 2016 05:49:21 +0000 (23:49 -0600)]
update
Mark Thom [Sat, 29 Oct 2016 02:00:44 +0000 (20:00 -0600)]
add linebreaks
Mark Thom [Sat, 29 Oct 2016 02:00:17 +0000 (20:00 -0600)]
add linebreaks
Mark Thom [Sat, 29 Oct 2016 01:58:43 +0000 (19:58 -0600)]
add linebreaks
Mark Thom [Sat, 29 Oct 2016 01:57:43 +0000 (19:57 -0600)]
add linebreaks
Mark Thom [Sat, 29 Oct 2016 01:56:30 +0000 (19:56 -0600)]
add linebreaks
Mark Thom [Sat, 29 Oct 2016 01:54:42 +0000 (19:54 -0600)]
add linebreaks
Mark Thom [Sat, 29 Oct 2016 01:53:08 +0000 (19:53 -0600)]
Initial commit.
Mark Thom [Sat, 29 Oct 2016 01:44:10 +0000 (19:44 -0600)]
Initial commit
projects / scryer-prolog.git / log