Issues

• DEX (partial matching) verification

  ergoplatform/ergo-contracts#16 · Filter by author greenhat opened on Apr 19, 2020

• Setup release publishing

  ergoplatform/ergo-contracts#8 · Filter by author greenhat opened on Feb 24, 2020

• Don't leak "verified" types in AssetAtomicExchangeCompilation.*Instance parameters

  ergoplatform/ergo-contracts#7 · Filter by author greenhat opened on Feb 12, 2020

• Update Stainless to 0.7.0

  ergoplatform/ergo-contracts#4 · Filter by author greenhat opened on Feb 10, 2020

• "disable" proving the contract itself(precond) in Stainless

  ergoplatform/ergo-contracts#3 · Filter by author greenhat opened on Feb 10, 2020

• Publish verified Sigma API and pull it with Stainless stainlessExtraDeps option

  ergoplatform/ergo-contracts#2 · Filter by author greenhat opened on Feb 10, 2020