Skip to content
Permalink
Branch: develop
Commits on Nov 12, 2019
  1. Merge PR #166: Michelson backend work

    cwgoes committed Nov 12, 2019
Commits on Nov 11, 2019
  1. Update Dockerfile

    cwgoes committed Nov 11, 2019
Commits on Nov 10, 2019
  1. Merge PR #165: Fix CircleCI build

    cwgoes committed Nov 10, 2019
  2. Update Dockerfile

    cwgoes committed Nov 10, 2019
  3. Update Dockerfile

    cwgoes committed Nov 10, 2019
  4. Add libsecp256k1 dependency

    cwgoes committed Nov 10, 2019
Commits on Nov 9, 2019
  1. Update README.md

    cwgoes committed Nov 9, 2019
  2. Commit Stack lockfile

    cwgoes committed Nov 9, 2019
  3. Merge PR #164: Port old Michelson optimisation code

    cwgoes committed Nov 9, 2019
  4. Merge PR #162: Add future backends

    cwgoes committed Nov 9, 2019
Commits on Nov 8, 2019
  1. Merge PR #163: Restructure directories / sub-packages for clarity

    cwgoes committed Nov 8, 2019
  2. Merge PR #145: Core pipeline; start erasure work

    cwgoes committed Nov 8, 2019
Commits on Oct 22, 2019
  1. Add parser for built-in functions

    cwgoes committed Oct 22, 2019
  2. Add typechecking, evaluation for built-in functions

    cwgoes committed Oct 22, 2019
Commits on Oct 21, 2019
  1. Move translation functions to Juvix/Core/Translate.hs

    cwgoes committed Oct 21, 2019
  2. 'make format'

    cwgoes committed Oct 21, 2019
  3. Add note on function contract

    cwgoes committed Oct 21, 2019
  4. Add tests for core conversion

    cwgoes committed Oct 21, 2019
  5. Parameterise parser contd.

    cwgoes committed Oct 21, 2019
  6. Start parameterising parser

    cwgoes committed Oct 21, 2019
Commits on Oct 20, 2019
  1. Update test file

    cwgoes committed Oct 20, 2019
  2. Add HR/IR conversion functions

    cwgoes committed Oct 20, 2019
  3. Start conversion functions

    cwgoes committed Oct 20, 2019
  4. Thread through parameterisation

    cwgoes committed Oct 20, 2019
  5. Parameterise Core.IR

    cwgoes committed Oct 20, 2019
Commits on Oct 18, 2019
  1. Skeleton for conversion functions

    cwgoes committed Oct 18, 2019
  2. Fix application parsing (mostly)

    cwgoes committed Oct 18, 2019
Commits on Oct 16, 2019
  1. Merge branch 'develop' into cwgoes/core-tests-erasure-work

    cwgoes committed Oct 16, 2019
  2. Port testcases to new parser (wip)

    cwgoes committed Oct 16, 2019
  3. Add note on file extensions

    cwgoes committed Oct 16, 2019
  4. Update parser for HR terms

    cwgoes committed Oct 16, 2019
  5. Split up types & typechecker; 'make format'

    cwgoes committed Oct 16, 2019
Older
You can’t perform that action at this time.