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

Translation from JuvixAsm to C #1619

Merged
merged 16 commits into from Dec 6, 2022
Merged

Translation from JuvixAsm to C #1619

merged 16 commits into from Dec 6, 2022

Conversation

lukaszcz
Copy link
Collaborator

@lukaszcz lukaszcz commented Nov 11, 2022

Description

A translation from JuvixAsm to C, using the Juvix runtime primitives.

Closes #1552
Closes #1587

Checklist:

  • Translation from JuvixReg to C
  • Combine the translations JuvixAsm -> JuvixReg -> C
  • Tests

@lukaszcz lukaszcz self-assigned this Nov 11, 2022
@lukaszcz lukaszcz added this to the 0.3 milestone Nov 11, 2022
@lukaszcz lukaszcz force-pushed the reg-to-c branch 2 times, most recently from e0c1b2d to 1205189 Compare November 15, 2022 15:16
@lukaszcz lukaszcz marked this pull request as ready for review November 15, 2022 15:22
@lukaszcz lukaszcz merged commit f5de5fa into main Dec 6, 2022
@lukaszcz lukaszcz deleted the reg-to-c branch December 6, 2022 10:33
janmasrovira added a commit that referenced this pull request Dec 7, 2022
commit f5de5fa
Author: Łukasz Czajka <62751+lukaszcz@users.noreply.github.com>
Date:   Tue Dec 6 11:33:20 2022 +0100

    Translation from JuvixAsm to C (#1619)

commit fb2723c
Author: Jonathan Cubides <jonathan.cubides@uib.no>
Date:   Mon Dec 5 11:20:00 2022 +0100

    Update Changelog v0.2.7 🎉

commit 6534287
Author: Jonathan Cubides <jonathan.cubides@uib.no>
Date:   Mon Dec 5 10:28:35 2022 +0100

    Ignore binary files from examples

commit 2db738a
Author: janmasrovira <janmasrovira@gmail.com>
Date:   Fri Dec 2 10:04:56 2022 +0100

    Upgrade stack snapshot to use ghc-9.2.5 (#1621)

    * upgrade stack snapshot to use ghc-9.2.5

    * use lts-20.2

    * Update alpine GHC Dockerfile to 9.2.5

    We also build the Juvix runtime before the stack build in the
    linux-static-binary workflow file.

    * Add some documentation on how to build and deploy the alpine GHC image

    * Docker documentation clarification.

    Co-authored-by: Paul Cadman <git@paulcadman.dev>

commit ca41030
Author: janmasrovira <janmasrovira@gmail.com>
Date:   Wed Nov 30 18:38:06 2022 +0100

    Files pure refactor (#1652)

commit 57a6a7e
Author: Łukasz Czajka <62751+lukaszcz@users.noreply.github.com>
Date:   Wed Nov 30 16:26:44 2022 +0100

    Fix 'not a primitive type' error message (#1648)

commit 3fbf9a3
Author: Paul Cadman <git@paulcadman.dev>
Date:   Wed Nov 30 14:58:01 2022 +0000

    Use the same stack version in all CI jobs and remove `stack setup` step (#1651)

    * Remove `stack setup` step as this was only required for macOS

    * Use haskell setup action so same version of stack is used in tests and build
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Translation from JuvixAsm to JuvixReg Translation from JuvixReg to C
2 participants