├── .github └── workflows │ ├── build.yml │ └── release.yml ├── .gitignore ├── CHANGELOG.md ├── CONTRIBUTING.md ├── LICENSE ├── Makefile ├── README.md ├── assets ├── pandoc │ ├── header-includes.tex │ ├── include-before.tex │ └── pandoc-defaults.yaml └── templates │ └── contract.dhall.tmpl ├── cmd └── themis-contract │ ├── compile.go │ ├── execute.go │ ├── list_signatories.go │ ├── main.go │ ├── new.go │ ├── profile.go │ ├── review.go │ ├── root.go │ ├── sign.go │ ├── signature.go │ ├── update.go │ ├── upstream.go │ └── version.go ├── config ├── Contract.dhall ├── FileRef.dhall ├── Signatory.dhall ├── Template.dhall ├── TemplateFormat.dhall └── package.dhall ├── docs ├── 01-setup.md ├── 02-first-contract.md ├── 03-workflows.md ├── 04-formatting.md ├── cross-references.png ├── enumerated-lists.png └── numbered-sections.png ├── examples └── service-agreement │ ├── contract.dhall │ ├── contract.md │ ├── contract.pdf │ └── params.dhall ├── go.mod ├── go.sum └── pkg └── themis-contract ├── cache.go ├── cache_test.go ├── context.go ├── contract.go ├── diff.go ├── exports_test.go ├── file_ref.go ├── file_ref_test.go ├── git.go ├── git_test.go ├── profile.go ├── signatory.go ├── signature.go ├── static_resources.go ├── statik ├── README.md └── statik.go ├── template.go ├── utils.go ├── utils_test.go └── web.go /.github/workflows/build.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/.github/workflows/build.yml -------------------------------------------------------------------------------- /.github/workflows/release.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/.github/workflows/release.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/.gitignore -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/README.md -------------------------------------------------------------------------------- /assets/pandoc/header-includes.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/assets/pandoc/header-includes.tex -------------------------------------------------------------------------------- /assets/pandoc/include-before.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/assets/pandoc/include-before.tex -------------------------------------------------------------------------------- /assets/pandoc/pandoc-defaults.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/assets/pandoc/pandoc-defaults.yaml -------------------------------------------------------------------------------- /assets/templates/contract.dhall.tmpl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/assets/templates/contract.dhall.tmpl -------------------------------------------------------------------------------- /cmd/themis-contract/compile.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/cmd/themis-contract/compile.go -------------------------------------------------------------------------------- /cmd/themis-contract/execute.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/cmd/themis-contract/execute.go -------------------------------------------------------------------------------- /cmd/themis-contract/list_signatories.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/cmd/themis-contract/list_signatories.go -------------------------------------------------------------------------------- /cmd/themis-contract/main.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/cmd/themis-contract/main.go -------------------------------------------------------------------------------- /cmd/themis-contract/new.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/cmd/themis-contract/new.go -------------------------------------------------------------------------------- /cmd/themis-contract/profile.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/cmd/themis-contract/profile.go -------------------------------------------------------------------------------- /cmd/themis-contract/review.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/cmd/themis-contract/review.go -------------------------------------------------------------------------------- /cmd/themis-contract/root.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/cmd/themis-contract/root.go -------------------------------------------------------------------------------- /cmd/themis-contract/sign.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/cmd/themis-contract/sign.go -------------------------------------------------------------------------------- /cmd/themis-contract/signature.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/cmd/themis-contract/signature.go -------------------------------------------------------------------------------- /cmd/themis-contract/update.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/cmd/themis-contract/update.go -------------------------------------------------------------------------------- /cmd/themis-contract/upstream.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/cmd/themis-contract/upstream.go -------------------------------------------------------------------------------- /cmd/themis-contract/version.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/cmd/themis-contract/version.go -------------------------------------------------------------------------------- /config/Contract.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/config/Contract.dhall -------------------------------------------------------------------------------- /config/FileRef.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/config/FileRef.dhall -------------------------------------------------------------------------------- /config/Signatory.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/config/Signatory.dhall -------------------------------------------------------------------------------- /config/Template.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/config/Template.dhall -------------------------------------------------------------------------------- /config/TemplateFormat.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/config/TemplateFormat.dhall -------------------------------------------------------------------------------- /config/package.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/config/package.dhall -------------------------------------------------------------------------------- /docs/01-setup.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/docs/01-setup.md -------------------------------------------------------------------------------- /docs/02-first-contract.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/docs/02-first-contract.md -------------------------------------------------------------------------------- /docs/03-workflows.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/docs/03-workflows.md -------------------------------------------------------------------------------- /docs/04-formatting.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/docs/04-formatting.md -------------------------------------------------------------------------------- /docs/cross-references.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/docs/cross-references.png -------------------------------------------------------------------------------- /docs/enumerated-lists.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/docs/enumerated-lists.png -------------------------------------------------------------------------------- /docs/numbered-sections.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/docs/numbered-sections.png -------------------------------------------------------------------------------- /examples/service-agreement/contract.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/examples/service-agreement/contract.dhall -------------------------------------------------------------------------------- /examples/service-agreement/contract.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/examples/service-agreement/contract.md -------------------------------------------------------------------------------- /examples/service-agreement/contract.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/examples/service-agreement/contract.pdf -------------------------------------------------------------------------------- /examples/service-agreement/params.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/examples/service-agreement/params.dhall -------------------------------------------------------------------------------- /go.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/go.mod -------------------------------------------------------------------------------- /go.sum: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/go.sum -------------------------------------------------------------------------------- /pkg/themis-contract/cache.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/pkg/themis-contract/cache.go -------------------------------------------------------------------------------- /pkg/themis-contract/cache_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/pkg/themis-contract/cache_test.go -------------------------------------------------------------------------------- /pkg/themis-contract/context.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/pkg/themis-contract/context.go -------------------------------------------------------------------------------- /pkg/themis-contract/contract.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/pkg/themis-contract/contract.go -------------------------------------------------------------------------------- /pkg/themis-contract/diff.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/pkg/themis-contract/diff.go -------------------------------------------------------------------------------- /pkg/themis-contract/exports_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/pkg/themis-contract/exports_test.go -------------------------------------------------------------------------------- /pkg/themis-contract/file_ref.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/pkg/themis-contract/file_ref.go -------------------------------------------------------------------------------- /pkg/themis-contract/file_ref_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/pkg/themis-contract/file_ref_test.go -------------------------------------------------------------------------------- /pkg/themis-contract/git.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/pkg/themis-contract/git.go -------------------------------------------------------------------------------- /pkg/themis-contract/git_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/pkg/themis-contract/git_test.go -------------------------------------------------------------------------------- /pkg/themis-contract/profile.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/pkg/themis-contract/profile.go -------------------------------------------------------------------------------- /pkg/themis-contract/signatory.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/pkg/themis-contract/signatory.go -------------------------------------------------------------------------------- /pkg/themis-contract/signature.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/pkg/themis-contract/signature.go -------------------------------------------------------------------------------- /pkg/themis-contract/static_resources.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/pkg/themis-contract/static_resources.go -------------------------------------------------------------------------------- /pkg/themis-contract/statik/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/pkg/themis-contract/statik/README.md -------------------------------------------------------------------------------- /pkg/themis-contract/statik/statik.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/pkg/themis-contract/statik/statik.go -------------------------------------------------------------------------------- /pkg/themis-contract/template.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/pkg/themis-contract/template.go -------------------------------------------------------------------------------- /pkg/themis-contract/utils.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/pkg/themis-contract/utils.go -------------------------------------------------------------------------------- /pkg/themis-contract/utils_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/pkg/themis-contract/utils_test.go -------------------------------------------------------------------------------- /pkg/themis-contract/web.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/themis-contract/HEAD/pkg/themis-contract/web.go --------------------------------------------------------------------------------