Skip to content

Commit d8405b0

Browse files
github-actions[bot]github-actions[bot]
committed
Update formal specification documentation
- Updated from ouroboros-leios-formal-spec repository - Run ID: 16026795390 - Triggered by: repository_dispatch
1 parent a34d495 commit d8405b0

File tree

9 files changed

+470
-451
lines changed

9 files changed

+470
-451
lines changed

‎site/static/formal-spec/Leios.Abstract.html‎

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

‎site/static/formal-spec/Leios.Config.html‎

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

‎site/static/formal-spec/Leios.Defaults.html‎

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

‎site/static/formal-spec/Leios.Short.Trace.Verifier.Test.md‎

Lines changed: 321 additions & 318 deletions
Large diffs are not rendered by default.

‎site/static/formal-spec/Leios.Short.Trace.Verifier.html‎

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

‎site/static/formal-spec/Leios.Short.html‎

Lines changed: 24 additions & 17 deletions
Large diffs are not rendered by default.

‎site/static/formal-spec/Leios.Short.md‎

Lines changed: 119 additions & 110 deletions
Large diffs are not rendered by default.

‎site/static/formal-spec/Network.Leios.html‎

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

‎site/static/formal-spec/search-index.json‎

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

0 commit comments

Comments
 (0)