Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Michelson backend work #166

Merged
merged 23 commits into from Nov 12, 2019
Merged

Michelson backend work #166

merged 23 commits into from Nov 12, 2019

Conversation

@cwgoes
Copy link
Collaborator

cwgoes commented Nov 9, 2019

Port old Michelson backend code, now using morley.

Follow-up: #168

cwgoes added 17 commits Nov 9, 2019
@cwgoes cwgoes marked this pull request as ready for review Nov 9, 2019
@cwgoes cwgoes requested a review from mariari Nov 9, 2019
@cwgoes

This comment has been minimized.

Copy link
Collaborator Author

cwgoes commented Nov 9, 2019

(it does build, CI is just broken right now)

cwgoes added 4 commits Nov 9, 2019
Copy link
Contributor

mariari left a comment

Overall, good job, seems like it mapped over nicely onto our current version of JUVIX. Seems most of the TODO's are done, however I'm not sure how much is left.

👍

src/Juvix/Backends/Michelson/Compilation/Term.hs Outdated Show resolved Hide resolved
src/Juvix/Backends/Michelson/Compilation/Term.hs Outdated Show resolved Hide resolved
src/Juvix/Backends/Michelson/Compilation/Term.hs Outdated Show resolved Hide resolved
src/Juvix/Backends/Michelson/Compilation/Util.hs Outdated Show resolved Hide resolved
src/Juvix/Backends/Michelson/Compilation/Util.hs Outdated Show resolved Hide resolved
test/Backends/Michelson.hs Outdated Show resolved Hide resolved
test/Backends/Michelson.hs Outdated Show resolved Hide resolved
cwgoes and others added 2 commits Nov 12, 2019
Co-Authored-By: mariari <32526923+mariari@users.noreply.github.com>
@cwgoes cwgoes merged commit 14251f0 into develop Nov 12, 2019
2 checks passed
2 checks passed
ci/circleci: setup_dependencies Your tests passed on CircleCI!
Details
ci/circleci: test_suite Your tests passed on CircleCI!
Details
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
2 participants
You can’t perform that action at this time.