Skip to content
Permalink
Browse files

Merge PR #166: Michelson backend work

  • Loading branch information
cwgoes committed Nov 12, 2019
1 parent 94110c6 commit 14251f0b83abe364a10224df0d645c4e7f4b2e64
Showing with 637 additions and 2,729 deletions.
  1. +1 −1 .circleci/config.yml
  2. +2 −2 Makefile
  3. +0 −78 archived/CodeGen.hs
  4. +0 −90 archived/Dynamical.hs
  5. +0 −46 archived/Michelson/Compilation.hs
  6. +0 −211 archived/Michelson/Compilation/Expr.hs
  7. +0 −63 archived/Michelson/Compilation/Type.hs
  8. +0 −54 archived/Michelson/Compilation/Types.hs
  9. +0 −127 archived/Michelson/Compilation/Util.hs
  10. +0 −141 archived/Michelson/Emit.hs
  11. +0 −113 archived/Michelson/Interpreter.hs
  12. +0 −249 archived/Michelson/Lift.hs
  13. +0 −392 archived/Michelson/Typed.hs
  14. +0 −186 archived/Michelson/Untyped.hs
  15. +0 −1 archived/inet/.gitignore
  16. +0 −6 archived/inet/Cargo.lock
  17. +0 −7 archived/inet/Cargo.toml
  18. +0 −15 archived/inet/Makefile
  19. +0 −31 archived/inet/src/main.rs
  20. +0 −487 archived/inet/src/net.rs
  21. +0 −1 archived/lopt/.gitignore
  22. +0 −28 archived/lopt/LICENSE
  23. +0 −15 archived/lopt/Makefile
  24. +0 −6 archived/lopt/README.md
  25. +0 −2 archived/lopt/Setup.hs
  26. +0 −22 archived/lopt/app/Main.hs
  27. +0 −59 archived/lopt/package.yaml
  28. +0 −178 archived/lopt/src/InteractionNet.hs
  29. +0 −4 archived/lopt/stack.yaml
  30. +0 −13 archived/tezos_compile.sh
  31. +0 −27 archived/tezos_run.sh
  32. +0 −34 archived/tezos_test.sh
  33. +7 −0 package.yaml
  34. +46 −0 src/Juvix/Backends/Michelson/Compilation.hs
  35. +183 −0 src/Juvix/Backends/Michelson/Compilation/Term.hs
  36. +22 −0 src/Juvix/Backends/Michelson/Compilation/Type.hs
  37. +54 −0 src/Juvix/Backends/Michelson/Compilation/Types.hs
  38. +138 −0 src/Juvix/Backends/Michelson/Compilation/Util.hs
  39. +38 −26 src/Juvix/Backends/Michelson/Optimisation.hs
  40. +65 −0 src/Juvix/Backends/Michelson/Parameterisation.hs
  41. +1 −3 src/Juvix/Core/IR/Typechecker.hs
  42. +6 −6 src/Juvix/Core/Parameterisations/Naturals.hs
  43. +2 −2 src/Juvix/Core/Parameterisations/Unit.hs
  44. +3 −2 src/Juvix/Core/Types.hs
  45. +6 −1 src/Juvix/Library.hs
  46. +63 −0 test/Backends/Michelson.hs
@@ -36,7 +36,7 @@ jobs:
at: /root
- run:
name: Run tests
command: stack test
command: stack test --fast --ghc-options "-DOPTIMISE"
no_output_timeout: 1200

workflows:
@@ -22,7 +22,7 @@ build-watch:
stack build --copy-bins --fast --file-watch

build-opt: clean
stack build --copy-bins --ghc-options "-O3 -fllvm -DOPTIMIZE"
stack build --copy-bins --ghc-options "-O3 -fllvm -DOPTIMISE"

lint:
stack exec -- hlint app src test
@@ -31,7 +31,7 @@ format:
find . -path ./.stack-work -prune -o -path ./archived -prune -o -type f -name "*.hs" -exec ormolu --mode inplace {} \;

test:
stack test --fast
stack test --fast --ghc-options "-DOPTIMISE"

repl-lib:
stack ghci juvix:lib

This file was deleted.

This file was deleted.

This file was deleted.

0 comments on commit 14251f0

Please sign in to comment.
You can’t perform that action at this time.