source/docs/state_machines/src · verus · Tangled

forked from verus-lang/verus

verus source docs state_machines src

2 folders · 35 files

Martin Mirchev · Check doc crosslinks in CI and fix broken links (#3141) · 3w ago

Rename examples directory (rename source/rust_verify/example to examples)

work on Rc tutorial

VerusSync guide: add more strategy reference pages

fix state machine example (#1358)

high-level-idea.md

add an intro to the sm guide

Add Travis's thesis and Vest to the documentation.

clean up sm invariant documentation

macro-generated-reference.md

add an intro to the sm guide

macro-high-level-reference.md

add an intro to the sm guide

monoid-formalism.md

move state machine docs into the docs/ directory

VerusSync guide: add more strategy reference pages

VerusSync doc edits (#1698)

refinements-reference.md

add an intro to the sm guide

state-machine-reference.md

add an intro to the sm guide

strategy-bool.md

VerusSync guide: add more strategy reference pages

strategy-constant.md

VerusSync guide: add more strategy pages

strategy-count.md

VerusSync guide: add more strategy reference pages

strategy-map.md

fix html errors in mdbook docs

strategy-multiset.md

fix html errors in mdbook docs

strategy-not-tokenized.md

VerusSync guide: add more strategy reference pages

strategy-option.md

Rename examples directory (rename source/rust_verify/example to examples)

strategy-persistent-bool.md

VerusSync docs: add persistent_bool reference

strategy-persistent-map.md

fix html errors in mdbook docs

strategy-persistent-option.md

VerusSync doc edits (#1698)

strategy-reference.md

strategy-set.md

fix html errors in mdbook docs

strategy-storage-map.md

Check doc crosslinks in CI and fix broken links (#3141)

strategy-storage-option.md

Check doc crosslinks in CI and fix broken links (#3141)

strategy-variable.md

VerusSync guide: add more strategy reference pages

guide: move to mdbook 0.5 (#2103)

token-exchanges-as-transitions.md

move state machine docs into the docs/ directory

tokenization-reference.md

add an intro to the sm guide

tokenized-overview.md

move state machine docs into the docs/ directory

move state machine docs into the docs/ directory

transition-language.md

add arrow syntax functions to additional Result, Option spec fns, fix examples and tests (#1731)

tutorial-again.md

guide: move to mdbook 0.5 (#2103)

tutorial-by-example.md

move state machine docs into the docs/ directory