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

description	C++11 memory model checker benchmarks
owner	Brian Demsky
last change	Thu, 17 Dec 2015 09:17:51 +0000 (01:17 -0800)
URL	git://plrg.ics.uci.edu/model-checker-benchmarks.git
	ssh://plrg.ics.uci.edu/home/git/model-checker-benchmarks.git

2015-12-17	bdemsky	fix commit that mistakenly happened master	commit \| commitdiff \| tree \| snapshot
2015-12-17	bdemsky	fix compile errors on OS X	commit \| commitdiff \| tree \| snapshot
2015-06-30	Patrick Lam	raw elimination-backoff code from paper	commit \| commitdiff \| tree \| snapshot
2015-03-21	Peizhao Ou	changes	commit \| commitdiff \| tree \| snapshot
2015-03-21	Peizhao Ou	add concurrent hashmap	commit \| commitdiff \| tree \| snapshot
2014-10-31	Patrick Lam	Description of benchmarks	commit \| commitdiff \| tree \| snapshot
2014-09-10	bdemsky	make warnings go away	commit \| commitdiff \| tree \| snapshot
2014-09-10	Peizhao Ou	clean up	commit \| commitdiff \| tree \| snapshot
2014-09-03	Peizhao Ou	add treiber stack	commit \| commitdiff \| tree \| snapshot
2014-09-03	Peizhao Ou	save fixed ms-queue	commit \| commitdiff \| tree \| snapshot
2014-08-08	Peizhao Ou	add cliff click hashtable	commit \| commitdiff \| tree \| snapshot
2014-08-07	Peizhao Ou	add result file	commit \| commitdiff \| tree \| snapshot
2014-08-07	Peizhao Ou	add seqlock	commit \| commitdiff \| tree \| snapshot
2013-09-04	Brian Norris	run.sh: sync up with model-checker improvements	commit \| commitdiff \| tree \| snapshot
2013-08-14	Brian Norris	remove unused benchmarks	commit \| commitdiff \| tree \| snapshot
2013-08-13	Brian Norris	run.sh: set Mac OSX DYLD_LIBRARY_PATH	commit \| commitdiff \| tree \| snapshot
...

11 years ago	oopsla2013	Release point for OOPSLA 2013 Artif...	tag	\| commit \| shortlog \| log
11 years ago	oopsla2013-final			\| commit \| shortlog \| log
11 years ago	pldi2013			\| commit \| shortlog \| log

C++11 memory model checker benchmarks