]>
Repositorios git - scryer-prolog.git/log
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
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