Skip to content
Permalink
Branch: develop
Commits on Nov 13, 2019
  1. Merge PR #175: More detailed install instructions (for Ubuntu/Debian …

    thealmarty authored and cwgoes committed Nov 13, 2019
    …users).
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. Merge PR #167: Ran the update of the code formatter

    mariari authored and cwgoes committed Nov 9, 2019
  2. Update README.md

    cwgoes committed Nov 9, 2019
  3. Commit Stack lockfile

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

    cwgoes committed Nov 9, 2019
  5. 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 pull request #129 from cryptiumlabs/mariari/LLVM

    mariari committed Nov 8, 2019
    Mariari/llvm
  3. Merge branch 'develop' into mariari/LLVM

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

    cwgoes committed Nov 8, 2019
  5. Merge PR #156: Add more type checker test cases

    thealmarty authored and cwgoes committed Nov 8, 2019
  6. isBothPrimary logic sketched out with a few TODO's and questions

    mariari committed Nov 8, 2019
Commits on Nov 7, 2019
  1. updated type of findEdge to be proper

    mariari committed Nov 7, 2019
  2. completed findEdge and made helper `protPointsTo'

    mariari committed Nov 7, 2019
  3. spelling and doc update

    mariari committed Nov 7, 2019
  4. abstracted out getPort

    mariari committed Nov 7, 2019
  5. abstracted out the logic of getting int from numPorts to a function,

    mariari committed Nov 7, 2019
    started the same provess for getting ports
Commits on Nov 6, 2019
  1. Merge pull request #151 from cryptiumlabs/thealmarty/add-unitTy

    thealmarty committed Nov 6, 2019
    Thealmarty/add unit ty
  2. Merge pull request #154 from cryptiumlabs/mariari/add-unitTy-parse-fix

    thealmarty committed Nov 6, 2019
    Fixed issue where parese "()" doesn't work
  3. Fixed issue where parese "()" doesn't work

    mariari committed Nov 6, 2019
Commits on Nov 5, 2019
  1. Fix format.

    thealmarty committed Nov 5, 2019
  2. Remove unnecessary pragma. (Verified that make format supersede style…

    thealmarty committed Nov 5, 2019
    …-haskell error)
  3. fixed type signature of link

    mariari committed Nov 5, 2019
  4. finished the link function

    mariari committed Nov 5, 2019
  5. Minor syntax fix.

    thealmarty committed Nov 5, 2019
Commits on Nov 4, 2019
  1. Fix format.

    thealmarty committed Nov 4, 2019
Older
You can’t perform that action at this time.