Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Rebase verifies Compilation #6379

Merged
merged 190 commits into from
Aug 6, 2024
Merged
Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
190 commits
Select commit Hold shift + click to select a range
7db7e37
Trace removal re-implemented as a IR rewrite rule (#5907)
Unisay Apr 17, 2024
d32bc7e
CIP-0057 Howto: exporting a Plutus contract blueprint (#5817)
Unisay Apr 18, 2024
3e00141
[Release] 1.26.0.0 (#5914)
ana-pantilie Apr 19, 2024
7707aab
A quick isabelle experiment. (#5913)
ramsay-t Apr 19, 2024
9d0a9cf
PLT-8171: Combine PIR, PLC, and UPLC into a single executable (#5699)
bezirg Apr 21, 2024
83fe75f
chore(deps): bump slackapi/slack-github-action from 1.25.0 to 1.26.0 …
dependabot[bot] Apr 22, 2024
2e2a7fb
Kwxm/plc spec/bitwise conversions (#5911)
Apr 22, 2024
bcce392
Use Int64 in CostModelParams (#5920)
zliu41 Apr 23, 2024
b97e8be
Change CMTooFewParamsError to a warning (#5912)
zliu41 Apr 23, 2024
3944e09
[Costing] Provide support for multiple 'CostModel's (#5851)
effectfully Apr 25, 2024
0567ef7
CaseOfCase kind mismatch error fix (#5923)
Unisay Apr 26, 2024
2748f90
Fix some Notes so they pass the check (#5930)
Apr 29, 2024
4a29380
Restore old cost model param names (#5932)
Apr 29, 2024
d64be66
Tidy up SimpleJSON.hs (#5936)
Apr 30, 2024
6912db2
chore: formatting (#5937)
Unisay Apr 30, 2024
d10d5df
1.27.0.0 (#5938)
zliu41 Apr 30, 2024
d319fe5
Do not build the plutus executable if GHC <9.6 (#5940)
zliu41 Apr 30, 2024
f1eae1c
Update CONTRIBUTING.adoc (#5950)
zliu41 May 3, 2024
619ddbc
Add 'Note [Table of all possible ledger's states w.r.t. cost model pa…
effectfully May 3, 2024
067e74f
Remove annoying error message (#5956)
May 4, 2024
ca60dad
Add plutus-tx-template Release Instructions and GH Workflow (#5952)
zeme-wana May 6, 2024
ef40c38
[StdLib] Strictify 'fix' (#5939)
effectfully May 6, 2024
16be7da
[PIR] Don't generate 'fixBy' if you don't need to (#5954)
effectfully May 6, 2024
34fa7c5
Chore: formatting, imports, pragmas. (#5965)
Unisay May 8, 2024
b6e82b6
CaseOfCase UPLC transformation tests. (#5960)
Unisay May 8, 2024
253004f
Avoid evaluating `nilCase` strictly in `matchList`, and rename the or…
zliu41 May 9, 2024
1df52aa
Improvements to plutus-metatheory site (#5959)
zeme-wana May 11, 2024
774616b
chore(deps): bump nixbuild/nix-quick-install-action from 27 to 28 (#5…
dependabot[bot] May 13, 2024
59d4b04
[Build] Remove the doctests runner of 'prettyprinter-configurable' (#…
effectfully May 14, 2024
6e3da00
Kwxm/mainnet script budgets (#5973)
May 14, 2024
5f207e5
Release 1.28.0.0 (#5975)
Unisay May 15, 2024
92d94ca
[PlutusTx] [Builtins] Split 'FromBuiltin' and 'ToBuiltin' (#5971)
effectfully May 15, 2024
d99ba33
Update README.md (#5997)
May 15, 2024
802cf4f
chore(deps): bump cachix/install-nix-action from 26 to 27 (#5999)
dependabot[bot] May 16, 2024
5ee2936
Script to prepare binary executables for uploading to the github rele…
Unisay May 17, 2024
0d8149c
Kwxm/mainnet script budgets 2 (#6057)
May 20, 2024
1529ef8
Add integerToByteString and byteStringToInteger to PlutusV2 at PV10 (…
zliu41 May 20, 2024
9326493
[Refactoring] Remove 'UnknownBuiltin' and 'UnknownBuiltinType' (#6064)
effectfully May 20, 2024
ef97537
Conditionally add 'triage' label to new issues (#6061)
zeme-wana May 21, 2024
0b670f7
Fix bug in add-triage-label.yml (#6067)
zeme-wana May 21, 2024
5eb57a5
chore(deps): bump benchmark-action/github-action-benchmark (#6058)
dependabot[bot] May 21, 2024
0ce328c
Add integerToByteString and byteStringToInteger to V2.ParamName (#6065)
zliu41 May 21, 2024
acdaeb2
Add PlutusTx Map backed by Data (#5927)
ana-pantilie May 21, 2024
794bf9d
Let nightly.yml accept hedgehog-tests input (#6062)
zeme-wana May 22, 2024
5771700
Remove obsolete defer-plugin-errors flag (#6080)
zeme-wana May 22, 2024
252b634
Add a Plutus Tx test utility package (#6086)
ana-pantilie May 23, 2024
6c6918c
[Errors] polish evaluation errors (#6043)
effectfully May 23, 2024
1afe001
[Test] Add do-notation support for 'TestNested' (#5948)
effectfully May 23, 2024
85cf1ed
Run nightly tests on plutus-benchmark (#6091)
zeme-wana May 24, 2024
d7a5c76
[Exe] Generalize 'withL' to 'withLangGeneral' (#5918)
effectfully May 29, 2024
00beff4
Kwxm/provisional conway cost model (#6087)
May 29, 2024
f63f3ca
Update issue templates (#6037)
zliu41 May 30, 2024
e675e65
Remove reference to benching.csv in plutus-core.cabal (#6149)
May 30, 2024
7b3fd3e
PlutusV3: Datum/Redeemer in ScriptContext, Datum Optional, Unified Sc…
zliu41 May 30, 2024
20e418e
Kwxm/costing/reduce CEK CPU step costs B (#6153)
May 30, 2024
cd20770
[Test] Dump UPLC for 'strictLetRec' (#5963)
effectfully May 30, 2024
7411e14
Use the most recent evaluation context for most of the benchmarks (#6…
May 30, 2024
0d26761
[Builtins] Polish handling of integral types (#6036)
effectfully May 31, 2024
f34e999
Tests for the `preserve-logging` flag. (#6162)
Unisay Jun 3, 2024
d34e4d3
Require PlutusV3 scripts to evaluate to BuiltinUnit (#6159)
zliu41 Jun 3, 2024
50c6cb0
Quadratic costing for integer division functions (#6161)
Jun 3, 2024
bbeb1a4
Fix V2's costModelParamsForTesting (#6166)
zliu41 Jun 3, 2024
c013014
Release 1.29.0.0 (#6170)
Jun 4, 2024
f601fb9
Update update-version.sh to match package names less greedily (#6174)
Jun 5, 2024
a2c6bc0
More error checking (#6179)
Jun 5, 2024
f1f2e9f
Reorganized Plutus user guide on the Docusaurus platform initial depl…
joseph-fajen Jun 5, 2024
88ad493
Initial version of new combined-haddock.yml workflow (#6182)
zeme-wana Jun 6, 2024
a43d8f9
[Builtins] Make 'BuiltinSuccess' the first constructor (#5885)
effectfully Jun 6, 2024
1848101
[PlutusLedgerApi] [Refactoring] Polish imports and exports (#6178)
effectfully Jun 6, 2024
3656505
Adding link to Haddock documentation to index.md (#6187)
joseph-fajen Jun 6, 2024
4d68254
removing outdated and incorrect content from the Plutus platform page…
joseph-fajen Jun 7, 2024
3f2e83b
Add `Data.Value` to `PlutusLedgerAPI` (#6143)
ana-pantilie Jun 7, 2024
c9b77f5
added the term Haddock where the public Plutus code libraries are men…
joseph-fajen Jun 7, 2024
be0aa25
Refactored Serialise/Flat-Via. Fixes #6083 (#6144)
bezirg Jun 8, 2024
37e681c
Add Redeemer to V3 ScriptContext Pretty instance (#6191)
ana-pantilie Jun 8, 2024
f6b9bdc
Logical operations (#5970)
kozross Jun 9, 2024
811f9fc
Combined Haddock Generation (#6146)
zeme-wana Jun 10, 2024
5894525
Run nightly tests on plutus-shared instead of plutus-benchmark (#6195)
zeme-wana Jun 10, 2024
a9a8315
Run combined-haddock.yml workflow on plutus-shared instead of plutus-…
zeme-wana Jun 10, 2024
7b70ab0
Fix combined_haddock.sh script (#6199)
zeme-wana Jun 10, 2024
8a0dacd
[Test] [Builtins] Add golden tests with unlifting errors (#6189)
effectfully Jun 10, 2024
c8450b5
Changed the term "Documentation" to "User guide" in the upper left ar…
joseph-fajen Jun 10, 2024
eed1426
Update Alert Message in longitudinal-benchmark.yml (#6201)
zeme-wana Jun 11, 2024
69eff87
[Test] Add missing bitwise builtins golden files (#6204)
effectfully Jun 11, 2024
6910d70
[Errors] Preserve operational unlifting errors (#6181)
effectfully Jun 12, 2024
56c90bf
Docs raise visibility code libraries (#6203)
joseph-fajen Jun 12, 2024
7d6dbc1
[Test] [Builtin] Polish 'MakeRead' tests (#6202)
effectfully Jun 12, 2024
294eaca
Remove AssocMap comparison instances (#6173)
ana-pantilie Jun 13, 2024
4ea8b3d
Update README.adoc (#6206)
joseph-fajen Jun 13, 2024
3b20c63
Remove PyF as it depends on GHC and causes depenecy conflicts downstr…
Unisay Jun 13, 2024
2ec9bf3
Bitwise operations (#6090)
kozross Jun 13, 2024
62ba600
Reduce coverage limits for signature verification tests (#6209)
Jun 13, 2024
72fa971
moved the Getting Started page to immediately follow the Introduction…
joseph-fajen Jun 14, 2024
9e3147c
Haskell Eq for AssocMap (#6213)
ana-pantilie Jun 14, 2024
5dffbd7
Shorten some filenames in the conformance tests (#6214)
Jun 14, 2024
3a36126
MK-5422 move getting started page fixing link (#6215)
joseph-fajen Jun 14, 2024
cc05625
[Evaluation] Move stuff under `enterComputeCek` (#6156)
effectfully Jun 14, 2024
bc8c3a7
Release 1.30.0.0 (#6216)
Unisay Jun 17, 2024
623c715
plutus-ir: fix redundant imports (#6218)
disassembler Jun 18, 2024
23edce1
Fix incorrect Note reference (#6217)
Jun 18, 2024
cc12361
Add documentation to `Data.Value` (#6220)
ana-pantilie Jun 18, 2024
a94bffd
[Builtins] Replace 'EvaluationResult' with 'BuiltinResult' (#5926)
effectfully Jun 18, 2024
7dbbd7f
New `./scripts/combined-haddock.sh` (#6205)
zeme-wana Jun 19, 2024
8c17ae4
Add workflow for publishing Agda Metatheory site (#6223)
zeme-wana Jun 20, 2024
1091562
Fixes to `metatheory-site.yml` workflow (#6228)
zeme-wana Jun 20, 2024
f9dfec2
Final changes to `metatheory-site.yml` workflow (#6229)
zeme-wana Jun 21, 2024
c33af07
Update RELEASE.adoc with instructions to delete unused branches and t…
zeme-wana Jun 21, 2024
151887d
Complete Migration from RDT to Docusaurus (#6227)
zeme-wana Jun 21, 2024
af578b5
Fix broken links in docusaurus docs (#6232)
zeme-wana Jun 21, 2024
8845e12
Add flake.nix for doc/docusaurus (#6233)
zeme-wana Jun 21, 2024
b9ad1dd
making a spelling correction on the doc/docusaurus README file (#6235)
joseph-fajen Jun 21, 2024
3ab37c5
[Builtins] Remove 'Emitter' and 'MonadEmitter' (#6224)
effectfully Jun 22, 2024
45ab436
Refactor GitHub Workflows (#6124)
zeme-wana Jun 24, 2024
84ad029
Fix & simplify SOP encoding example comment (#6231)
klntsky Jun 24, 2024
8f3c74f
Update github-action-benchmark version (#6238)
zeme-wana Jun 25, 2024
6357d23
Make it build with ghc 9.10 (#6079)
erikd Jun 25, 2024
6900c42
Update version of github-action-benchmark to v1.20.3 (#6240)
zeme-wana Jun 25, 2024
5579d34
Add workflows to check broken links and deploy papers to GH Pages (#6…
zeme-wana Jun 26, 2024
d3a42f2
Publish papers and specs on push to master only (#6246)
zeme-wana Jun 26, 2024
89a8aa1
Cabal project to compile docusaurus examples. (#6239)
Unisay Jun 26, 2024
dcd6f5d
Added cardano-constitution package (#6234)
bezirg Jun 26, 2024
b63c544
[Test] Turn off CSE for problematic tests (#6249)
effectfully Jun 26, 2024
91b4ed6
[Test] Turn off CSE for the 'patternMatching' test (#6251)
effectfully Jun 27, 2024
a156996
[Optimization] Remove case-of-case (#6248)
effectfully Jun 27, 2024
30402a4
Spec that verifies various script sizes (#6247)
Unisay Jun 27, 2024
e8f9389
Add cardano-constitution-tests and slack-message-broker workflows (#6…
zeme-wana Jun 27, 2024
3cdfbca
Updates to slack-message-broker.yml (#6258)
zeme-wana Jun 27, 2024
ed71a3d
Update slackapi/slack-github-action version -> v1.26.0 (#6259)
zeme-wana Jun 27, 2024
3df47ef
Improve messages in slack-message-broker.yml (#6260)
zeme-wana Jun 27, 2024
29eabaf
Fix error message in slack-message-broker.yml (#6261)
zeme-wana Jun 27, 2024
e3c3fd2
Fix another error in slack-message-broker.yml (#6262)
zeme-wana Jun 27, 2024
d0d77dc
Fix "un-rolling" a list type. (#6165)
Unisay Jun 28, 2024
115c3df
constitution: Add executable that creates json envelope (#6267)
bezirg Jun 28, 2024
c74136f
Fix bug in ./script/combined-haddock.sh (#6263)
zeme-wana Jul 1, 2024
b34d6ca
Update baseUrl in docusaurus.config.ts (#6275)
zeme-wana Jul 2, 2024
cabfc01
Improvements to haddock-site.yml (support auto-publish on push to mas…
zeme-wana Jul 2, 2024
cb791cd
Better messages in slack-message-broker.yml (#6280)
zeme-wana Jul 2, 2024
f616b87
Remove --ignore-url's from linkchecker step in combined-haddock.sh (#…
zeme-wana Jul 2, 2024
32a7336
Add cabal update step in combined-haddock.sh (#6283)
zeme-wana Jul 4, 2024
e5c0e76
Fix CsvTable.tsx and LiteralInclde.tsx in docusaurus (#6282)
zeme-wana Jul 4, 2024
7a24d97
Fix haddock documentation for cardano-constitution (#6284)
zeme-wana Jul 5, 2024
3f60557
Stronger docusaurus builds and general QOL improvements (#6287)
zeme-wana Jul 5, 2024
db89d22
Move package-lock.json from top-level to scripts/blueprints (#6289)
zeme-wana Jul 5, 2024
ee7de68
Fix editUrl in docusaurus.config.ts (#6291)
zeme-wana Jul 6, 2024
79fc117
chore(deps): bump JamesIves/github-pages-deploy-action (#6292)
dependabot[bot] Jul 8, 2024
317b63d
Fix typos (#6288)
omahs Jul 8, 2024
92f390c
Detect broken links for haddock,metatheory,docusaurus + local repo fi…
zeme-wana Jul 8, 2024
c1b9208
Fix broken linkchecker workflows (#6295)
zeme-wana Jul 8, 2024
db5cabb
Add .github/linkchecker/action.yml
zeme-wana Jul 9, 2024
55861af
Add support for ghc910 to hydraJobs (#6293)
zeme-wana Jul 9, 2024
ceb91aa
Disable linkchecker on live sites (#6298)
zeme-wana Jul 9, 2024
42d08e0
[Bug] Fix 'isNormalType' and add 'prop_normalizedTypeIsNormal' (#6272)
effectfully Jul 10, 2024
8ec1b64
Analyse script events supports PlutusLedgerLanguage V3 (#6300)
Unisay Jul 11, 2024
51ae3da
fix: parameter 33 should be a Rational (#6302)
RSoulatIOHK Jul 11, 2024
19f192d
Address guardrail script audit comments (#6305)
zliu41 Jul 12, 2024
0c02489
All names are printed with their unique values by default. (#5972)
Unisay Jul 12, 2024
5c06051
fix: types in defaultConstitution (#6307)
RSoulatIOHK Jul 17, 2024
b49bd63
Fix overflow bug in shiftByteString, rotateByteString, add tests to e…
kozross Jul 18, 2024
de7339b
Release 1.31.0.0 (#6312)
Unisay Jul 18, 2024
903e383
Re-export bitwise builtins from PlutusTx.Prelude (#6313)
kozross Jul 18, 2024
d89a339
[Costing] Increase the cost of constructors of '[]' (#6285)
effectfully Jul 18, 2024
0da4c4b
Change writeBits to take changelists as two separate lists (#6317)
kozross Jul 19, 2024
514d521
[Costing] Remove the 'ExMemoryUsage' instance for 'SomeTypeIn' (#6318)
effectfully Jul 19, 2024
db11987
feat: New version of VT-CC-01 (#6320)
RSoulatIOHK Jul 22, 2024
8c7a5f6
[Test] Make tests take reasonable time (#6286)
effectfully Jul 23, 2024
65f6714
fix: haddock error (#6323)
Unisay Jul 23, 2024
3461df2
Reverse hunk test_multiSplitSound (#6324)
bezirg Jul 23, 2024
39ae101
Kwxm/costing/bitwise 4 (#6301)
Jul 24, 2024
7f02fab
8-queens using bitwise primops benchmark (#6311)
kozross Jul 25, 2024
d510d24
[Plinth] [Builtins] Fix 'writeBits' (#6329)
effectfully Jul 25, 2024
bfac69f
[Plinth] Ban using 'toBuiltin' and 'fromBuiltin' (#6342)
effectfully Jul 26, 2024
5571f53
Kwxm/bitwise/enable nqueens benchmark (#6343)
Jul 26, 2024
c7eb24c
[plc] Support for `Natural` numbers in the default universe, backed b…
bezirg Jul 26, 2024
f74023e
nothunks ^>= 0.2 (#6349)
Unisay Jul 27, 2024
613ab5f
Make NumBytesCostedAsNumWords use Integer instead of Int (#6350)
Jul 29, 2024
ffe41b8
[Benchmark] Reduce the number of benchmarks (#6328)
effectfully Jul 30, 2024
ed76af5
[Test] Improve distribution of generated integers (#6315)
effectfully Jul 31, 2024
a4b0f43
[Plinth] [Builtins] Add a general 'mkNil' (#6347)
effectfully Jul 31, 2024
88c7e23
[Refactoring] Use 'KnownBuiltinTypeIn' instead of 'HasConstant' consi…
effectfully Aug 1, 2024
d3cf117
Restore auto generation of compiler option table (#6373)
zliu41 Aug 2, 2024
36311fe
Add the bitwise builtins to the metatheory (#6368)
Aug 5, 2024
5947b18
Restore CI checks for doc site code (#6376)
zliu41 Aug 5, 2024
e90e9f0
andByteString conformance cases (#6356)
kozross Aug 6, 2024
cd73651
Conformance cases for complementByteString (#6359)
kozross Aug 6, 2024
966b420
Conformance for orByteString (#6357)
kozross Aug 6, 2024
922c9c1
Conformance cases for readBit (#6360)
kozross Aug 6, 2024
0b6a695
Conformance for shiftByteString (#6363)
kozross Aug 6, 2024
8dcfa54
Conformance for findFirstSetBit (#6366)
kozross Aug 6, 2024
3d489da
Conformance for xorByteString (#6358)
kozross Aug 6, 2024
51a9f16
Conformance for countSetBits (#6365)
kozross Aug 6, 2024
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Reorganized Plutus user guide on the Docusaurus platform initial depl…
…oyment (#6177)

* Initial Docusaurus Setup

* uploaded docs files and images

* added code files and images

* cleaned up mermaid diagrams for platform page

* committed yarn.lock file

* Add markdown link styling

* Update Plutus styling and add GA plugin

* updating yarn.lock file

* CSV Rendering component

* adding cost model parameters page that imports CSV files

* Fix gradient overflow on tables for dark mode

* changing title to Plutus user guide

* Update favicon and social card assets

* Remove landing page and set /docs to base path

* Update literal include roots

* Rename Haddock workflow and update to include Docusaurus build

* Update docusaurus/README.md

Co-authored-by: olgahryniuk <67585499+olgahryniuk@users.noreply.github.com>

* Update docusaurus/docs/adr/adr-index.md

Co-authored-by: olgahryniuk <67585499+olgahryniuk@users.noreply.github.com>

* Update docusaurus/docs/adr/adr-index.md

Co-authored-by: olgahryniuk <67585499+olgahryniuk@users.noreply.github.com>

* Update docusaurus/docs/adr/adr-index.md

Co-authored-by: olgahryniuk <67585499+olgahryniuk@users.noreply.github.com>

* Update docusaurus/docs/adr/adr1.md

Co-authored-by: olgahryniuk <67585499+olgahryniuk@users.noreply.github.com>

* Update docusaurus/docs/adr/adr2.md

Co-authored-by: olgahryniuk <67585499+olgahryniuk@users.noreply.github.com>

* Update docusaurus/docs/essential-concepts/language-versions.md

Co-authored-by: olgahryniuk <67585499+olgahryniuk@users.noreply.github.com>

* Update docusaurus/docs/essential-concepts/language-versions.md

Co-authored-by: olgahryniuk <67585499+olgahryniuk@users.noreply.github.com>

* Update docusaurus/docs/essential-concepts/language-versions.md

Co-authored-by: olgahryniuk <67585499+olgahryniuk@users.noreply.github.com>

* Update docusaurus/docs/essential-concepts/language-versions.md

Co-authored-by: olgahryniuk <67585499+olgahryniuk@users.noreply.github.com>

* Update docusaurus/docs/adr/adr1.md

Co-authored-by: olgahryniuk <67585499+olgahryniuk@users.noreply.github.com>

* Update docusaurus/docs/adr/adr1.md

Co-authored-by: olgahryniuk <67585499+olgahryniuk@users.noreply.github.com>

* Update docusaurus/docs/adr/adr1.md

Co-authored-by: olgahryniuk <67585499+olgahryniuk@users.noreply.github.com>

* Update docusaurus/docs/adr/adr1.md

Co-authored-by: olgahryniuk <67585499+olgahryniuk@users.noreply.github.com>

* Update docusaurus/docs/adr/adr1.md

Co-authored-by: olgahryniuk <67585499+olgahryniuk@users.noreply.github.com>

* Update docusaurus/docs/adr/adr1.md

Co-authored-by: olgahryniuk <67585499+olgahryniuk@users.noreply.github.com>

* Update docusaurus/docs/adr/adr1.md

Co-authored-by: olgahryniuk <67585499+olgahryniuk@users.noreply.github.com>

* Update docusaurus/docs/adr/adr1.md

Co-authored-by: olgahryniuk <67585499+olgahryniuk@users.noreply.github.com>

* Update docusaurus/docs/adr/adr1.md

Co-authored-by: olgahryniuk <67585499+olgahryniuk@users.noreply.github.com>

* Update docusaurus/docs/adr/adr1.md

Co-authored-by: olgahryniuk <67585499+olgahryniuk@users.noreply.github.com>

* Update docusaurus/docs/adr/adr1.md

Co-authored-by: olgahryniuk <67585499+olgahryniuk@users.noreply.github.com>

* Update docusaurus/docs/adr/adr1.md

Co-authored-by: olgahryniuk <67585499+olgahryniuk@users.noreply.github.com>

* committing after running pre-commit run --all-files command to fix build errors

---------

Co-authored-by: ianhanssoniohk <ian.hansson@iohk.io>
Co-authored-by: olgahryniuk <67585499+olgahryniuk@users.noreply.github.com>
  • Loading branch information
3 people authored Jun 5, 2024
commit f1f2e9fec188b3c22d02ff1d548fc18b432d25d6
Original file line number Diff line number Diff line change
Expand Up @@ -23,10 +23,20 @@ jobs:
nix build .#combined-haddock
mkdir dist
cp -RL ./result/share/doc/* ./dist/
- name: Build Docusaurus Site
working-directory: docusaurus
run: |
yarn
yarn build
- name: Copy Docusaurus Site to Dist
run: |
mkdir dist/docs
cp -RL docusaurus/build/* ./dist/docs/
- uses: JamesIves/github-pages-deploy-action@v4
with:
folder: dist
target-folder: ${{ github.ref_name }}
# We publish our haddock, which is non-trivially big.
# Publish Docusaurus and Haddock static builds to the same branch
# We publish our haddock, which is non-trivially big.
# So keeping the whole history is expensive, and anyway we don't need it.
single-commit: true
20 changes: 20 additions & 0 deletions docusaurus/.gitignore
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
# Dependencies
/node_modules

# Production
/build

# Generated files
.docusaurus
.cache-loader

# Misc
.DS_Store
.env.local
.env.development.local
.env.test.local
.env.production.local

npm-debug.log*
yarn-debug.log*
yarn-error.log*
41 changes: 41 additions & 0 deletions docusaurus/README.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,41 @@
# Website

This website is built using [Docusaurus](https://docusaurus.io/), a modern static website generator.

### Installation

```
$ yarn
```

### Local development

```
$ yarn start
```

This command starts a local development server and opens up a browser window. Most changes are reflected live without having to restart the server.

### Build

```
$ yarn build
```

This command generates static content into the `build` directory and can be served using any static contents hosting service.

### Deployment

Using SSH:

```
$ USE_SSH=true yarn deploy
```

Not using SSH:

```
$ GIT_USER=<Your GitHub username> yarn deploy
```

If you are using GitHub pages for hosting, this command is a convenient way to build the website and push to the `gh-pages` branch.
3 changes: 3 additions & 0 deletions docusaurus/babel.config.js
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
module.exports = {
presets: [require.resolve('@docusaurus/core/lib/babel/preset')],
};
8 changes: 8 additions & 0 deletions docusaurus/docs/adr/_category_.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
{
"label": "Architectural decision records",
"position": 60,
"link": {
"type": "generated-index",
"description": "This section provides documentation of the Plutus team's important architectural decisions made to date along with the context and consequences."
}
}
25 changes: 25 additions & 0 deletions docusaurus/docs/adr/adr-index.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,25 @@
---
sidebar_position: 5
---

# Architectural decision records

We document our architectural and design decisions for all of our components.
To do that, there is a practice called architectural decision records (ADR), that we can integrate into our workflow.
An ADR is a document that captures an important architectural decision made along with its context and consequences.

The goals are:

- Making decisions transparent to internal/external stakeholders and contributors
- Getting feedback on decisions that we're about to make or have made
- Providing external contributors with a framework to propose architectural changes
- Providing a big picture of all major decisions that were made.

The general process for creating an ADR is:

1. Cloning the repository
2. Creating a new file with the format:
`[<ADR_NUMBER\>-<TITLE>.md]` in the directory `[doc/adr]`
3. Adding the ADR in the table of contents tree of the documentation
4. Committing and pushing to the repository.

124 changes: 124 additions & 0 deletions docusaurus/docs/adr/adr1.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,124 @@
---
sidebar_position: 10
---

# ADR 1: Record architectural decisions

Date: 2022-06-08

## Authors

[koslambrou](mailto:konstantinos.lambrou@iohk.io)

## Status

Accepted

## Context

We are in search for a means to document our architectural and design decisions for all of our components.
To do that, there is a practice called architectural decision records (ADR) that we can
integrate into our workflow.

This does not replace actual architecture documentation, but provides people who are contributing with:

- the means to understand architectural and design decisions that were made
- a framework for proposing changes to the current architecture.

For each decision, it is important to consider the following factors:

- what we have decided to do
- why we have made this decision
- what we expect the impact of this decision to be
- what we have learned in the process.

## Decision

- We will use ADRs to document, propose, and discuss any important or significant architectural and design decisions.
- The ADR format will follow the format described in the [Implications](#implications) section.
- We will follow the convention of storing those ADRs as rST or Markdown formatted documents stored under the [docs/adr] directory, as exemplified in Nat Pryce's [adr-tools](https://github.com/npryce/adr-tools).
This does not imply that we will be using [adr-tools] itself, as we might diverge from the proposed structure.
- We will keep rejected ADRs.
- We will strive, if possible, to create an ADR as early as possible in relation to the actual implementation.

## Implications

ADRs should be written using the template described in the [ADR template](#adr-template) which comes from Chapter 6.5.2 (*A Template for Documenting Architectural Decisions*) of *Documenting Software Architectures: Views and Beyond (2nd Edition)*.

However, the mandatory sections are *Title*, *Status*, *Issue/Context*, *Decision*, *Implications/Consequences*. The rest are optional.

Another good reference is the article [Architecture Decision Records](https://cognitect.com/blog/2011/11/15/documenting-architecture-decisions) by Michael Nygard (Nov. 15, 2011).

## ADR template

What follows is the ADR format (adapted from the book).

### Title

These documents have names that are short noun phrases.

For example, 'ADR 1: Deployment on Ruby on Rails 3.0.10' or 'ADR 9: LDAP for Multitenant Integration.'

### Authors

List each author’s name and email.

### Status

State the status of the decision, such as 'draft' if the decision is still being written, as 'proposed' if the project stakeholders haven’t agreed with it yet, or 'accepted' once it is agreed. If a later ADR changes or reverses a decision, it may be marked as 'deprecated' or 'superseded' with a reference to its replacement. (This is not the status of implementing the decision.)

### Issue (or context)

This section describes the architectural design issue being addressed. This description should leave no questions as to why this issue needs to be addressed now. The language in this section is value-neutral. It is simply describing facts.

### Decision

Clearly state the solution chosen. It is the selection of one of the positions that the architect could have taken. It is stated in full sentences, with active voice. 'We will …'

### Tags

Add one or more tags to the decision. Useful for organizing the set of decision.

### Assumptions

Clearly describe the underlying assumptions in the environment in which a decision is being made. These could be cost, schedule, technology, and so on. Note that constraints in the environment (such as a list of accepted technology standards, an enterprise architecture, or commonly employed patterns) may limit the set of alternatives considered.

### Argument

Outline why a position was selected. This is probably as important as the decision itself. The argument for a decision can include items such as implementation cost, total cost of ownership, time to market, and availability of required development resources.

### Alternatives

List alternatives (that is, options or positions) considered.

Explain alternatives with sufficient detail to judge their suitability; refer to external documentation if necessary. Only viable positions should be described here. While you don’t need an exhaustive list, you also don’t want to hear the question 'Did you think about… ?' during a final review, which might lead to a loss of credibility and a questioning of other architectural decisions. Listing alternatives espoused by others also helps them know their opinions were heard. Finally, listing alternatives helps the architect make the right decision, because listing alternatives cannot be done unless those alternatives were given due consideration.

### Implications (or consequences)

Describe the decision’s implications. For example, it may:

* Introduce a need to make other decisions
* Create new requirements
* Modify existing requirements
* Pose additional constraints to the environment
* Require renegotiation of scope
* Require renegotiation of the schedule with the customers
* Require additional training for the staff.

Clearly understanding and stating the implications of the decisions has been a very effective tool in gaining buy-in. All consequences should be listed here, not just the 'positive' ones. A particular decision may have positive, negative, and neutral consequences, but all of them affect the team and project in the future.

### Related decisions

List decisions related to this one. Useful relations among decisions include causality (which decisions caused other ones), structure (showing decisions’ parents or children, corresponding to architecture elements at higher or lower levels), or temporality (which decisions came before or after others).

### Related requirements

Map decisions to objectives or requirements, to show accountability. Each architecture decision is assessed as to its contribution to each major objective. We can then assess how well the objective is met across all decisions, as part of an overall architecture evaluation.

### Affected artifacts

List the architecture elements and/or relations affected by this decision. You might also list the effects on other design or scope decisions, pointing to the documents where those decisions are described. You might also include external artifacts upstream and downstream of the architecture, as well as management artifacts such as budgets and schedules.

### Notes

Capture notes and issues that are discussed during the decision process. They can be links to a external document, a PR, a Github issue, etc.
Loading
Loading