ScorexFoundation / sigmastate-interpreter / 4516

Builds Branch Commit Type Ran Committer Via Coverage
4516 i609-formal-verification add comment on why sigma in deps (instead of sigmastate); push greenhat travis-ci pending completion   set done
4515 i609-formal-verification make verified-contracts and sigma-dsl-compile-macros depend on root sigma(otherwise they require unpublished "sigmastate"); Pull #617 web-flow travis-ci pending completion   set done
4514 i609-formal-verification make verified-contracts and sigma-dsl-compile-macros depend on root sigma(otherwise they require unpublished "sigmastate"); push greenhat travis-ci pending completion   set done
4512 i609-formal-verification remove sigma-dsl-compile-macros from aggregateCompile (build failed under scala 2.11); push greenhat travis-ci pending completion   set done
4513 i609-formal-verification remove sigma-dsl-compile-macros from aggregateCompile (build failed under scala 2.11); Pull #617 web-flow travis-ci pending completion   set done
4509 i609-formal-verification rename contractVerification to verified-contracts; disabled doc compilation for verified-contracts; Pull #617 web-flow travis-ci pending completion   set done
4508 i609-formal-verification rename contractVerification to verified-contracts; disabled doc compilation for verified-contracts; push greenhat travis-ci pending completion   set done
4507 i609-formal-verification add publishing of contractVerification to travis snapshot stage; Pull #617 web-flow travis-ci pending completion   set done
4506 i609-formal-verification add publishing of contractVerification to travis snapshot stage; push greenhat travis-ci pending completion   set done
4505 i609-formal-verification add seller contract tests/runs for scalaFunc and ErgoTree; Pull #617 web-flow travis-ci pending completion   set done
4504 i609-formal-verification add seller contract tests/runs for scalaFunc and ErgoTree; push greenhat travis-ci pending completion   set done
4503 i609-formal-verification add seller contract ErgoTree run for seller can claim after deadline; Pull #617 web-flow travis-ci pending completion   set done
4502 i609-formal-verification add seller contract ErgoTree run for seller can claim after deadline; push greenhat travis-ci pending completion   set done
4501 i609-formal-verification add ergo tree compilation test for seller's contract; Pull #617 web-flow travis-ci pending completion   set done
4500 i609-formal-verification add ergo tree compilation test for seller's contract; push greenhat travis-ci pending completion   set done