summaryrefslogtreecommitdiffstats
path: root/spec/score/tq/req/enqueue-deadlock.yml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Update company nameSebastian Huber2023-05-191-1/+1
* spec: Specify thread queue deadlock detailsSebastian Huber2021-09-281-1/+1
* spec: Test thread queue API changeSebastian Huber2021-09-241-6/+1
* spec: Improve deadlock specificationSebastian Huber2021-09-241-21/+58
* spec: Improve mutex seize specificationSebastian Huber2021-09-141-0/+7
* spec: Specify some fatal errorsSebastian Huber2021-08-031-1/+1
* validation: Support freestanding test casesSebastian Huber2021-07-301-0/+1
* spec: Add and use software architecture componentsSebastian Huber2021-05-281-1/+3
* spec: Specify semphore obtainSebastian Huber2021-04-191-0/+142