+9 −10

.gitignore

.gitignore

+2 −2

sigma.tex

docs/wpaper/sigma.tex

+1 −2

ErgoBoxCandidate.scala

src/main/scala/org/ergoplatform/ErgoBoxCandidate.scala

+4 −5

ErgoLikeContext.scala

src/main/scala/org/ergoplatform/ErgoLikeContext.scala

+154 −33

ErgoScriptPredef.scala

src/main/scala/org/ergoplatform/ErgoScriptPredef.scala

+132 −0

EmissionRules.scala

...org/ergoplatform/mining/emission/EmissionRules.scala

+25 −0

MonetarySettings.scala

...ala/org/ergoplatform/settings/MonetarySettings.scala

+3 −2

RuntimeCosting.scala

src/main/scala/sigmastate/eval/RuntimeCosting.scala

+4 −8

SigmaBinder.scala

src/main/scala/sigmastate/lang/SigmaBinder.scala

+3 −3

SigmaCompiler.scala

src/main/scala/sigmastate/lang/SigmaCompiler.scala

+59 −0

EmissionSpec.scala

src/test/scala/org/ergoplatform/EmissionSpec.scala

+219 −3

ErgoScriptPredefSpec.scala

...st/scala/org/ergoplatform/ErgoScriptPredefSpec.scala

+0 −10

CostingTest.scala

src/test/scala/sigmastate/eval/CostingTest.scala

+23 −31

CoinEmissionSpecification.scala

...astate/utxo/examples/CoinEmissionSpecification.scala