Mark Thom
|
a56e82f94d
|
use CompiledFact in machine.rs
|
2017-01-29 15:03:16 -07:00 |
|
Mark Thom
|
33ab3ac153
|
codegen bug fix.
|
2017-01-27 23:26:25 -07:00 |
|
Mark Thom
|
081db5a38c
|
transition to l1
|
2017-01-27 22:06:19 -07:00 |
|
Mark Thom
|
0c6926b3cb
|
fix unification bugs.
|
2017-01-27 21:54:53 -07:00 |
|
Mark Thom
|
e7af3dc57a
|
remove unnecessary Sized trait on CompilationTarget
|
2017-01-22 11:26:23 -07:00 |
|
Mark Thom
|
ed2343be9f
|
streamline code generation with iterators and traits
|
2017-01-22 11:24:29 -07:00 |
|
Mark Thom
|
9be3445517
|
cosmetic changes.
|
2016-12-26 14:09:24 -07:00 |
|
Mark Thom
|
92ab8406ef
|
remove unnecessary lifetime.
|
2016-12-18 15:19:30 -07:00 |
|
Mark Thom
|
2874c172ba
|
use references when executing instructions, not moves.
|
2016-12-01 17:33:02 -07:00 |
|
Mark Thom
|
d46197f1fd
|
fixes to binding.
|
2016-10-30 21:49:27 -06:00 |
|
Mark Thom
|
1272d97311
|
remove Term impl
|
2016-10-30 20:32:13 -06:00 |
|
Mark Thom
|
509b7838c7
|
codegen fix
|
2016-10-30 00:19:25 -06:00 |
|
Mark Thom
|
63075c9739
|
codegen fixes
|
2016-10-29 13:18:12 -06:00 |
|
Mark Thom
|
8d1441e20f
|
Initial commit.
|
2016-10-28 19:53:08 -06:00 |
|