Programming Languages Research Group: Git - model-checker-benchmarks.git/search

2015-12-17	bdemsky	fix compile errors on OS X	commit \| commitdiff \| tree
2014-09-10	bdemsky	make warnings go away	commit \| commitdiff \| tree
2013-05-08	Brian Demsky	bugfix for chase lev	commit \| commitdiff \| tree
2013-03-15	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree
2013-03-15	Brian Demsky	my changes to benchmark shell	commit \| commitdiff \| tree
2013-03-14	Brian Demsky	optimizations to mpmc-queue yield placement	commit \| commitdiff \| tree
2013-03-14	Brian Demsky	Fix all benchmarks to use yield	commit \| commitdiff \| tree
2013-03-08	Brian Demsky	wow... i think this version is correct...	commit \| commitdiff \| tree
2013-03-08	Brian Demsky	my changes	commit \| commitdiff \| tree
2013-03-07	Brian Demsky	do merge...push right code	commit \| commitdiff \| tree
2013-03-07	Brian Demsky	deque: fix bugs in assertion code and move up 3 variables...	commit \| commitdiff \| tree
2013-03-07	Brian Demsky	deque: wrong bug fix before...now the correct one	commit \| commitdiff \| tree
2013-03-07	Brian Demsky	deque: bug fix...method could return empty	commit \| commitdiff \| tree
2013-03-07	Brian Demsky	deque: add test driver, add print messages for now...	commit \| commitdiff \| tree
2013-03-07	Brian Demsky	fix bug	commit \| commitdiff \| tree
2013-03-06	Brian Demsky	add make file, header, and extra code to deque	commit \| commitdiff \| tree

C++11 memory model checker benchmarks