Programming Languages Research Group: Git - c11tester.git/history

2020-09-05	weiyu	Change initialize a bit	blob \| commitdiff \| raw
2020-09-04	weiyu	small changes	blob \| commitdiff \| raw \| diff to current
2020-09-03	weiyu	Find a faster way to get currently executing thread...	blob \| commitdiff \| raw \| diff to current
2020-09-02	weiyu	Small changes; slightly faster than tsan11rec in jsbenc...	blob \| commitdiff \| raw \| diff to current
2020-09-02	weiyu	Small edits	blob \| commitdiff \| raw \| diff to current
2020-08-30	Brian Demsky	Simplify code	blob \| commitdiff \| raw \| diff to current
2020-08-29	Brian Demsky	add support for freeing threads	blob \| commitdiff \| raw \| diff to current
2020-08-29	Brian Demsky	Eliminate system context	blob \| commitdiff \| raw \| diff to current
2020-08-29	weiyu	Rewrite recursion in terms of loops; make it a bit...	blob \| commitdiff \| raw \| diff to current
2020-08-25	weiyu	Merge branch 'master' of /home/git/random-fuzzer into...	blob \| commitdiff \| raw \| diff to current
2020-08-24	weiyu	Remove duplicate functions	blob \| commitdiff \| raw \| diff to current
2020-08-24	weiyu	Bug fix for spsc-queue test	blob \| commitdiff \| raw \| diff to current
2020-08-24	weiyu	Bug fix	blob \| commitdiff \| raw \| diff to current
2020-08-07	Derek Yeh	add consume to run	blob \| commitdiff \| raw \| diff to current
2020-08-02	Derek Yeh	rename params	blob \| commitdiff \| raw \| diff to current
2020-08-02	Derek Yeh	fix sleeping bug	blob \| commitdiff \| raw \| diff to current
2020-07-31	Derek Yeh	fix edge case	blob \| commitdiff \| raw \| diff to current
2020-07-27	Derek Yeh	remove overhead for execution	blob \| commitdiff \| raw \| diff to current
2020-07-24	Derek Yeh	add thread choosing in switch func	blob \| commitdiff \| raw \| diff to current
2020-07-22	Derek Yeh	fix warnings	blob \| commitdiff \| raw \| diff to current
2020-07-17	Derek Yeh	add switch thread function	blob \| commitdiff \| raw \| diff to current
2020-04-08	weiyu	Use simple_action_list for conditionvariable waiters	blob \| commitdiff \| raw \| diff to current
2020-04-07	Brian Demsky	Redesign actionlist and change acquire fence	blob \| commitdiff \| raw \| diff to current
2019-12-20	root	Fix bug Weiyu found	blob \| commitdiff \| raw \| diff to current
2019-12-10	weiyu	Merge branch 'master' into branch-weiyu	blob \| commitdiff \| raw \| diff to current
2019-12-10	Brian Demsky	Merge branch 'branch-weiyu' of ssh://plrg.eecs.uci...	blob \| commitdiff \| raw \| diff to current
2019-12-07	root	Remove snapshot stack	blob \| commitdiff \| raw \| diff to current
2019-12-07	root	Fix bug with code to get rid of main	blob \| commitdiff \| raw \| diff to current
2019-12-06	Brian Demsky	Remove user_main_wrapper	blob \| commitdiff \| raw \| diff to current
2019-12-06	Brian Demsky	More work towards removing main	blob \| commitdiff \| raw \| diff to current
2019-11-27	bdemsky	Switch to environmental variables	blob \| commitdiff \| raw \| diff to current
2019-11-26	bdemsky	assert_bug function fixes	blob \| commitdiff \| raw \| diff to current
2019-11-26	bdemsky	Remove lots of dead code	blob \| commitdiff \| raw \| diff to current
2019-11-21	bdemsky	Merge branch 'master' of ssh://plrg.eecs.uci.edu:/home...	blob \| commitdiff \| raw \| diff to current
2019-08-27	weiyu	some edits to NewFuzzer	blob \| commitdiff \| raw \| diff to current
2019-08-20	weiyu	Merge branch 'master' into branch-weiyu	blob \| commitdiff \| raw \| diff to current
2019-08-01	weiyu	merge	blob \| commitdiff \| raw \| diff to current
2019-08-01	Brian Demsky	Get GDAX working.	blob \| commitdiff \| raw \| diff to current
2019-07-31	weiyu	merge	blob \| commitdiff \| raw \| diff to current
2019-07-29	root	Merge branch 'branch-weiyu' of /home/git/random-fuzzer...	blob \| commitdiff \| raw \| diff to current
2019-07-25	root	Experimental TLS support.	blob \| commitdiff \| raw \| diff to current
2019-07-22	root	remove some datarace code	blob \| commitdiff \| raw \| diff to current
2019-07-22	root	fix conflict	blob \| commitdiff \| raw \| diff to current
2019-07-16	weiyu	allow the fuzzer to continue if only a few data races...	blob \| commitdiff \| raw \| diff to current
2019-07-08	weiyu	merge and resolve conflict	blob \| commitdiff \| raw \| diff to current
2019-07-03	root	get rid of nodestack	blob \| commitdiff \| raw \| diff to current
2019-07-01	weiyu	fix git conflict	blob \| commitdiff \| raw \| diff to current
2019-06-27	bdemsky	revamp scheduler so we can start threads early	blob \| commitdiff \| raw \| diff to current
2019-06-26	Brian Demsky	Get gdax to not crash	blob \| commitdiff \| raw \| diff to current
2019-06-26	bdemsky	Redo params	blob \| commitdiff \| raw \| diff to current
2019-06-26	bdemsky	more bug fixes	blob \| commitdiff \| raw \| diff to current
2019-06-26	root	Merge branch 'new_fuzzer' of /home/git/random-fuzzer...	blob \| commitdiff \| raw \| diff to current
2019-06-26	bdemsky	More changes	blob \| commitdiff \| raw \| diff to current
2019-06-25	weiyu	add a new class 'ModelHistory'	blob \| commitdiff \| raw \| diff to current
2019-06-19	root	merge	blob \| commitdiff \| raw \| diff to current
2019-06-14	weiyu	Merge branch 'new_fuzzer' of /home/git/random-fuzzer...	blob \| commitdiff \| raw \| diff to current
2019-06-12	bdemsky	fix tabbing comment issue	blob \| commitdiff \| raw \| diff to current
2019-06-11	bdemsky	fix tabbing	blob \| commitdiff \| raw \| diff to current
2019-06-05	bdemsky	More fuzzing changes	blob \| commitdiff \| raw \| diff to current
2019-06-04	bdemsky	remove another field	blob \| commitdiff \| raw \| diff to current
2019-06-04	bdemsky	Remove promises	blob \| commitdiff \| raw \| diff to current
2019-06-01	Brian Demsky	partial conversion to fuzzer	blob \| commitdiff \| raw \| diff to current
2019-02-15	weiyu	clean up unnecessary member functions	blob \| commitdiff \| raw \| diff to current
2019-02-15	weiyu	move pthread_map and mutex_map inside of execution.h	blob \| commitdiff \| raw \| diff to current
2019-01-24	weiyu	add support for pthread_mutex	blob \| commitdiff \| raw \| diff to current
2019-01-18	weiyu	add support for pthread_create (in progress)	blob \| commitdiff \| raw \| diff to current
2015-09-02	bdemsky	Add SCFence analysis	blob \| commitdiff \| raw \| diff to current
2013-06-05	Brian Norris	model: remove redundant code (is_enabled)	blob \| commitdiff \| raw \| diff to current
2013-05-06	Brian Demsky	add traceanalysis support	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	model: privatize ModelChecker::get_num_threads()	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	model: remove leftover junk	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	execution: move execution number back to ModelChecker...	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	model: embed the trace_analyses in the class	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	Merge cleanup branch	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	schedule: drop the ModelChecker::check_promises_thread_...	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	model / threads: remove global get_next_id() interface	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	promise: get reference to ModelExecution	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	model: cleanup a few more interfaces	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	model: add get_execution() interface	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	BROKEN: restructure much of ModelChecker as ModelExecut...	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	model: drop public get_current_node() interface	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	model: remove public check_promises() interface	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	model: add synchronize() function	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	Merge cleanup code from Brian N.	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	traceanalysis: rename to remove '_'	blob \| commitdiff \| raw \| diff to current
2013-04-15	Brian Norris	params: move model_params to header file	blob \| commitdiff \| raw \| diff to current
2013-04-15	Brian Norris	model: add too_many_steps()	blob \| commitdiff \| raw \| diff to current
2013-04-13	Brian Demsky	more implementation of scanalysis...	blob \| commitdiff \| raw \| diff to current
2013-04-13	Brian Demsky	towards supporting scanalysis...	blob \| commitdiff \| raw \| diff to current
2013-04-13	Brian Demsky	add some support for traceanalysis plugins	blob \| commitdiff \| raw \| diff to current
2013-04-13	Brian Demsky	add some support for traceanalysis plugins	blob \| commitdiff \| raw \| diff to current
2013-04-05	Brian Norris	model: add variable arguments for bug messages	blob \| commitdiff \| raw \| diff to current
2013-04-05	Brian Norris	model: pull thread control logic out of take_step(...	blob \| commitdiff \| raw \| diff to current
2013-04-04	Brian Norris	swapcontext() fix for Mac OSX	blob \| commitdiff \| raw \| diff to current
2013-04-03	Brian Norris	model: kill lock_waiters_map	blob \| commitdiff \| raw \| diff to current
2013-03-27	Brian Norris	threads: move circular wait check into Threads::is_wait...	blob \| commitdiff \| raw \| diff to current
2013-03-22	Brian Norris	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2013-03-21	Brian Norris	model: bugfix - send future values more eagerly	blob \| commitdiff \| raw \| diff to current
2013-03-21	Brian Norris	model: add 'const'	blob \| commitdiff \| raw \| diff to current
2013-03-21	Brian Norris	model: rename PendingFutureValue 'act' to 'reader'	blob \| commitdiff \| raw \| diff to current
next

C11 Tester Tool Public Repository

RSS Atom