Add the ticket lock example
The specification for ticket lock is proven using the atomic specification for the increment operation.
| Name | Stage | Failure | ||
|---|---|---|---|---|
|
failed
|
build-coq.8.6.1 | Build | There has been a timeout failure or the job got stuck. Check your timeout limits or try again | |
|
||||
|
failed
|
build-coq.8.7.1 | Build | There has been a timeout failure or the job got stuck. Check your timeout limits or try again | |
|
||||