mirror
/
concurrentqueue
mirror of https://github.com/cameron314/concurrentqueue.git
Code Releases Activity
You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
master
1.0.2
v1.0.0-beta
v1.0.1
v1.0.2
v1.0.3
v1.0.4
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'master'
${ noResults }
concurrentqueue/tests/CDSChecker
History
Cameron 0b410f5edf Fixed CDSChecker tests (only enqueue from one thread; updated memory ordering to match real queue and fix races; removed invalid assertion; updated makefile to run without bound instead of stopping after 4 executions) (issue #184) 5 years ago
..
README.txt Fixed CDSChecker tests (only enqueue from one thread; updated memory ordering to match real queue and fix races; removed invalid assertion; updated makefile to run without bound instead of stopping after 4 executions) (issue #184) 5 years ago
corealgo.h Fixed CDSChecker tests (only enqueue from one thread; updated memory ordering to match real queue and fix races; removed invalid assertion; updated makefile to run without bound instead of stopping after 4 executions) (issue #184) 5 years ago
enqueue_dequeue_many.cpp Fixed CDSChecker tests (only enqueue from one thread; updated memory ordering to match real queue and fix races; removed invalid assertion; updated makefile to run without bound instead of stopping after 4 executions) (issue #184) 5 years ago
enqueue_dequeue_one.cpp Initial commit 10 years ago
makefile Fixed CDSChecker tests (only enqueue from one thread; updated memory ordering to match real queue and fix races; removed invalid assertion; updated makefile to run without bound instead of stopping after 4 executions) (issue #184) 5 years ago

README.txt
Unescape Escape

This file contains invisible Unicode characters!

This file contains invisible Unicode characters that may be processed differently from what appears below. If your use case is intentional and legitimate, you can safely ignore this warning. Use the Escape button to reveal hidden characters.

These tests require CDSChecker to be checked out into a subdirectory
named 'model-checker'.

CDSChecker can be obtained from: git://demsky.eecs.uci.edu/model-checker.git
The version last used for testing was: da671f78d0aa057272bb82f580b36a188b6331bd