Skip to content

Commit 37bfc90

Browse files
Reorganize repo folder structure
1 parent 9357167 commit 37bfc90

23 files changed

+52
-29
lines changed

.github/workflows/specification.yml

+27-8
Original file line numberDiff line numberDiff line change
@@ -5,17 +5,19 @@ on:
55
paths:
66
- '.github/workflows/specification.yml'
77
- '.github/apt-texmacs.asc'
8-
- 'polkadot-host-spec/**'
8+
- 'host-spec/**'
9+
- 'runtime-spec/**'
910
pull_request:
1011
paths:
1112
- '.github/workflows/specification.yml'
1213
- '.github/apt-texmacs.asc'
13-
- 'polkadot-host-spec/**'
14+
- 'host-spec/**'
15+
- 'runtime-spec/**'
1416

1517
jobs:
16-
build:
17-
name: Compile specification to PDF
18-
runs-on: ubuntu-latest
18+
build-spec-host:
19+
name: Compile host specification
20+
runs-on: ubuntu-18.04
1921
steps:
2022
- uses: actions/checkout@v2
2123
- name: Install dependencies
@@ -25,10 +27,27 @@ jobs:
2527
sudo apt-get update
2628
sudo apt-get install -y xvfb texmacs
2729
- name: Build host specification
28-
run: xvfb-run texmacs --convert polkadot-host-spec/polkadot_host_spec.tm polkadot_host_spec.pdf --quit
30+
run: make -C host-spec
2931
- name: Upload host specification
3032
uses: actions/upload-artifact@v1
3133
with:
32-
name: polkadot_host_spec.pdf
33-
path: polkadot_host_spec.pdf
34+
name: host-spec.pdf
35+
path: host-spec/host-spec.pdf
36+
37+
build-spec-runtime:
38+
name: Compile runtime specification
39+
runs-on: ubuntu-18.04
40+
steps:
41+
- uses: actions/checkout@v2
42+
- name: Install dependencies
43+
run: |
44+
sudo apt-get update
45+
sudo apt-get install -y texlive-luatex
46+
- name: Build runtime specification
47+
run: make -C runtime-spec
48+
- name: Upload runtime specification
49+
uses: actions/upload-artifact@v1
50+
with:
51+
name: runtime-spec.pdf
52+
path: runtime-spec/runtime-spec.pdf
3453

README.md

+4-4
Original file line numberDiff line numberDiff line change
@@ -5,18 +5,18 @@
55

66
Polkadot is a replicated sharded state machine designed to resolve the scalability and interoperability among blockchains. This repository serves as the point of reference for Polkadot Protocol. In this repo you will find:
77

8-
- The official [Polkadot Host Specification](./polkadot-host-spec/)
8+
- The official [Polkadot Host Specification](./host-spec/)
99
- The official [Polkadot Conformance Testsuite](./test/)
1010
- A florishing [Polkadot Runtime Specification](./runtime-spec/)
1111
- Various other files used by the Polkadot spec team
1212

1313
## Polkadot Host Specification
1414

15-
Here your can find the latest version of the [Polkadot Host Specification](./polkadot-host-spec/polkadot_host_spec.pdf)
15+
Here your can find the latest version of the [Polkadot Host Specification](./host-spec/host-spec.pdf)
1616

17-
Please refer to the [Change Log](./polkadot-host-spec/pdre_change_log.org) and [PDF Diff](./polkadot-host-spec/polkadot_host_spec-diffed-updates.pdf) to review the history of changes to the specification.
17+
Please refer to the [Change Log](./host-spec/CHANGELOG.org) and [PDF Diff](./host-spec/host-spec-diffed-updates.pdf) to review the history of changes to the specification.
1818

19-
For more details please refer [README.md](./polkadot-host-spec/README.md) to the specification.
19+
For more details please refer [README.md](./host-spec/README.md) to the specification.
2020

2121
## Polkadot Protocol Conformance Testsuite
2222

File renamed without changes.

host-spec/Makefile

+2
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
host-spec.pdf: host-spec.tm
2+
xvfb-run texmacs --convert $< $@ --quit

polkadot-host-spec/README.md host-spec/README.md

+3-3
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,10 @@
11
# Polkadot Host Specification
22

3-
Here your can find the latest version of the ![Polkadot Host Specification](./polkadot_host_spec.pdf)
3+
Here your can find the latest version of the ![Polkadot Host Specification](./host-spec.pdf)
44

5-
Please refer to ![Change log](./pdre_change_log.org) to review the history of changes to the spec.
5+
Please refer to ![Change log](./CHANGELOG.org) to review the history of changes to the spec.
66

7-
Due to evolving nature of the protocol, to help the reader with identifying updates since last master released, those changes are marked in "green" (new version) vs "red" (old version) in ![polkadot_host_spec-diffed-updates.pdf](./polkadot_host_spec-diffed-updates.pdf).
7+
Due to evolving nature of the protocol, to help the reader with identifying updates since last master released, those changes are marked in "green" (new version) vs "red" (old version) in ![host-spec-diffed-updates.pdf](./host-spec-diffed-updates.pdf).
88

99
## Editing
1010

polkadot-host-spec/aa-cryptoalgorithms.tm host-spec/aa-cryptoalgorithms.tm

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
<TeXmacs|1.99.12>
22

3-
<project|polkadot_host_spec.tm>
3+
<project|host-spec.tm>
44

55
<style|book>
66

polkadot-host-spec/ab-encodings.tm host-spec/ab-encodings.tm

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
<TeXmacs|1.99.12>
22

3-
<project|polkadot_host_spec.tm>
3+
<project|host-spec.tm>
44

55
<style|book>
66

polkadot-host-spec/ac-genesis.tm host-spec/ac-genesis.tm

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
<TeXmacs|1.99.12>
22

3-
<project|polkadot_host_spec.tm>
3+
<project|host-spec.tm>
44

55
<style|book>
66

polkadot-host-spec/ad-netmessages.tm host-spec/ad-netmessages.tm

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
<TeXmacs|1.99.12>
22

3-
<project|polkadot_host_spec.tm>
3+
<project|host-spec.tm>
44

55
<style|book>
66

polkadot-host-spec/ae-hostapi.tm host-spec/ae-hostapi.tm

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
<TeXmacs|1.99.11>
22

3-
<project|polkadot_host_spec.tm>
3+
<project|host-spec.tm>
44

55
<style|book>
66

polkadot-host-spec/af-legacyhostapi.tm host-spec/af-legacyhostapi.tm

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
<TeXmacs|1.99.12>
22

3-
<project|polkadot_host_spec.tm>
3+
<project|host-spec.tm>
44

55
<style|book>
66

polkadot-host-spec/ag-runtimeentries.tm host-spec/ag-runtimeentries.tm

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
<TeXmacs|1.99.12>
22

3-
<project|polkadot_host_spec.tm>
3+
<project|host-spec.tm>
44

55
<style|<tuple|book|old-dots>>
66

polkadot-host-spec/c01-background.tm host-spec/c01-background.tm

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
<TeXmacs|1.99.12>
22

3-
<project|polkadot_host_spec.tm>
3+
<project|host-spec.tm>
44

55
<style|book>
66

polkadot-host-spec/c02-state.tm host-spec/c02-state.tm

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
<TeXmacs|1.99.12>
22

3-
<project|polkadot_host_spec.tm>
3+
<project|host-spec.tm>
44

55
<style|book>
66

polkadot-host-spec/c03-transition.tm host-spec/c03-transition.tm

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
<TeXmacs|1.99.12>
22

3-
<project|polkadot_host_spec.tm>
3+
<project|host-spec.tm>
44

55
<style|<tuple|book|algorithmacs-style|old-dots>>
66

polkadot-host-spec/c04-networking.tm host-spec/c04-networking.tm

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
<TeXmacs|1.99.12>
22

3-
<project|polkadot_host_spec.tm>
3+
<project|host-spec.tm>
44

55
<style|book>
66

polkadot-host-spec/c05-bootstrapping.tm host-spec/c05-bootstrapping.tm

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
<TeXmacs|1.99.12>
22

3-
<project|polkadot_host_spec.tm>
3+
<project|host-spec.tm>
44

55
<style|book>
66

polkadot-host-spec/c06-consensus.tm host-spec/c06-consensus.tm

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
<TeXmacs|1.99.12>
22

3-
<project|polkadot_host_spec.tm>
3+
<project|host-spec.tm>
44

55
<style|<tuple|book|algorithmacs-style|old-dots>>
66

File renamed without changes.
File renamed without changes.

polkadot-host-spec/polkadot_host_spec.tm host-spec/host-spec.tm

+1-1
Original file line numberDiff line numberDiff line change
@@ -1318,7 +1318,7 @@
13181318
all keys and values stored in the state storage.|<pageref|auto-31>>
13191319
</the-glossary>
13201320

1321-
<\bibliography|bib|tm-alpha|polkadot_host_spec>
1321+
<\bibliography|bib|tm-alpha|host-spec>
13221322
<\bib-list|12>
13231323
<bibitem*|Bur19><label|bib-burdges_schnorr_2019>Jeff Burdges.
13241324
<newblock>Schnorr VRFs and signatures on the Ristretto group.
File renamed without changes.

runtime-spec/Makefile

+2
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
runtime-spec.pdf: runtime-spec.tex
2+
lualatex $<

0 commit comments

Comments
 (0)