Code

Payable Feature#2

Code

Open

john-b-yang wants to merge 12 commits intomasterjhkolb/quartz:masterfrom payablejhkolb/quartz:payableCopy head branch name to clipboard

+245-38

Commits

Commits on Oct 8, 2020

• Basic payable tests

  john-b-yang

  committed
  c6a6a06

  Copy full SHA for c6a6a06

Commits on Oct 9, 2020

• Updated tests

  john-b-yang

  committed
  9efc4c5

  Copy full SHA for 9efc4c5

Commits on Oct 25, 2020

• Fixed point iteration for var fields working

  john-b-yang

  committed
  aaae2ad

  Copy full SHA for aaae2ad

• Fixed point iteration for identity params working

  john-b-yang

  committed
  79a3834

  Copy full SHA for 79a3834

Commits on Oct 26, 2020

• Small fix, ensures identity that is mapping key is not payable

  john-b-yang

  committed
  690b98d

  Copy full SHA for 690b98d

• Accidental push

  john-b-yang

  committed
  d5f077f

  Copy full SHA for d5f077f

Commits on Oct 27, 2020

• Struct basic test + code

  john-b-yang

  committed
  4b6d77e

  Copy full SHA for 4b6d77e

Commits on Oct 29, 2020

• Moved payable extraction to PayableExtractor.scala file

  john-b-yang

  committed
  669c5c0

  Copy full SHA for 669c5c0

• Structs basics moved to extractor

  john-b-yang

  committed
  2231e86

  Copy full SHA for 2231e86

• Struct WIP

  john-b-yang

  committed
  56e199b

  Copy full SHA for 56e199b

Commits on Nov 6, 2020

• Single loop 1st draft

  john-b-yang

  committed
  4efbf89

  Copy full SHA for 4efbf89

• New struct tests

  john-b-yang

  committed
  66c45d6

  Copy full SHA for 66c45d6