This repository constains the functional specification of Transaction Executor module, located at: https://github.com/tonlabs/ton-labs-executor
The document is written in Emacs Org-Mode format, that is friendly for both source control and exporting into different backends, such as PDF and HTML.
The latest version of this document is located at: https://unboxedtype.bitbucket.io/execspec
Should you find any inaccurency or errors, please submit an issue or suggest the pull-request, we will be glad to collaborate!