a9f61645fb2c2068c24dce976e8bde2a86584d43

Merge pull request #65 from jannotti/avm-7

AVM 7 spec changes

52de8645a367024d391f57f4860183630041014e

Merge pull request #67 from algoidan/stateproofs

Stateproofs

549ca64fe88aa3a7982d862d5a7cea976e653530

untagged-8fd2a15f04c49fb9cb93

Merge pull request #69 from algorandfoundation/fabrice102/re-generate…

b170194d3f308d537581c4471ace458f15d596a0

Merge pull request #35 from tsachiherman/tsachi/partkey

add participation key specifications

3257051ee34212002033badf62834d9449b10aae

untagged-00f7ed189415e2cd1ad1

Merge pull request #56 from tsachiherman/tsachi/expired-participation…

bc36005dbd776e6d1eaf0c560619bb183215645c

Merge pull request #54 from algorandfoundation/rotate-travis-secret

rotate secret following Travis-CI security issue

5a72f5e95ec44371b5958913a2db8737562a0d13

Merge pull request #52 from jannotti/AVM-1.0

Preliminary AVM 1.0 spec updates

47a70e54593e4fbedcb421076008eaf2b7ae5125

Merge pull request #51 from cce/fix-abft-seed-informal-spec

Update informal seed explanation to match formal definition

442503f51fef1391c35be499592444e5e5b119ae

Merge pull request #53 from algorandfoundation/update-release-token

Update release token for GitHub

abc54f79f9ad679d2d22f0fb9909fb005c16f8a1

Merge pull request #50 from algorandskiy/pavel/extra-pages

ExtraProgramPages is used in apps update