sonare 0.12.0-nightly

Runtime environment for formally-verifiable distributed software
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

[files]
# exclude the directory "stl/"
extend-exclude = ["stl/"]

[default.extend-words]
# Don't correct the name "Jon Atack".
Atack = "Atack"

[default]
extend-ignore-re = [
    # Don't correct URIs
    "([a-z]+:)*[$!0-9A-Za-z-]+",
]