Changes from all commits

Commits

Show all changes

11 commits

Select commit Hold shift + click to select a range

ef5f7bc

Copy overhauled descriptions of witness-element keys from the upcomin…

mdangl Dec 8, 2020

2323492

Copy overhauled descriptions of concurrency-witness-element keys from…

mdangl Dec 8, 2020

58161d7

__VERIFIER_error -> reach_error in specification example in the key d…

mdangl Dec 9, 2020

799ef27

Clarify default values

mdangl Dec 9, 2020

a930bb7

Clarify that the key can only be used for loops that have a loop head…

mdangl Dec 9, 2020

c4cb109

Fix and improve wording for allowed values for assumptions and invari…

mdangl Dec 9, 2020

bffa7dd

Switch back descriptions that had accidently been switched

mdangl Dec 9, 2020

16e9013

Remove trailing whitespace

mdangl Dec 21, 2020

52cd6dd

Specify how the initial function of the thread is specified and how a…

mdangl Dec 21, 2020

4216af3

Fix restriction to partitioning (i.e., non-restricting) assumptions i…

mdangl Dec 22, 2020

90a5553

Assumptions are allowed in correctness witnesses, under certain (stat…

mdangl Dec 22, 2020

File filter

Filter by extension

Filter by extension

.md  (1) All 1 file type selected

---

Viewed files

Jump to

Jump to file

Failed to load files. Retry

Loading