Programming Languages Research Group: Git

2012-12-07	Brian Norris	model: generate UNINIT actions as new atomic operations...	commit \| commitdiff \| tree
2012-12-07	Brian Norris	action: move ModelAction::get_node to action.cc	commit \| commitdiff \| tree
2012-12-07	Brian Norris	model: add helper for allocating new UNINIT actions	commit \| commitdiff \| tree
2012-12-07	Brian Norris	mymemory: add placement new	commit \| commitdiff \| tree
2012-12-07	Brian Norris	model: clear a ModelAction's reads-from properly	commit \| commitdiff \| tree
2012-12-07	Brian Norris	action: add ATOMIC_UNINIT type	commit \| commitdiff \| tree
2012-12-06	Brian Norris	Makefile: build dependencies in .*.o.d files	commit \| commitdiff \| tree
2012-12-06	Brian Norris	Makefile: rename variable to be more clear	commit \| commitdiff \| tree
2012-12-06	Brian Norris	model: refactoring + spacing	commit \| commitdiff \| tree
2012-12-06	Brian Norris	schedule: add is_sleep_set(thread)	commit \| commitdiff \| tree
2012-12-06	Brian Norris	schedule: add const	commit \| commitdiff \| tree
2012-12-06	Brian Norris	threads: add const	commit \| commitdiff \| tree
2012-12-06	Brian Norris	notes: fence: replace variables to match 29.8	commit \| commitdiff \| tree
2012-12-06	Brian Norris	notes: fence: rename variables to match spec better	commit \| commitdiff \| tree
2012-12-06	Brian Norris	notes: fence: add release/acquire fence notes	commit \| commitdiff \| tree
2012-12-05	Brian Norris	notes: fence: more updates	commit \| commitdiff \| tree
2012-12-05	Brian Norris	doc: notes: fence: update fence notes	commit \| commitdiff \| tree
2012-12-05	Brian Norris	model: stop thread-trace search once edge is added	commit \| commitdiff \| tree
2012-12-05	Brian Norris	doc: notes: add fences note	commit \| commitdiff \| tree
2012-12-05	Brian Norris	model: fix bugs in fence-acquire synchronization	commit \| commitdiff \| tree
2012-12-05	Brian Norris	impatomic: move atomic_{thread,signal}_fence() to namespace std	commit \| commitdiff \| tree
2012-12-04	Brian Norris	run.sh: print the command that runs	commit \| commitdiff \| tree
2012-12-04	Brian Norris	model: add process_fence()	commit \| commitdiff \| tree
2012-12-04	Brian Norris	model: distinguish between 'read' and 'acquire' in...	commit \| commitdiff \| tree
2012-12-04	Brian Norris	model: add read-acquire/fence-release support	commit \| commitdiff \| tree
2012-12-04	Brian Norris	action: add is_thread_start()	commit \| commitdiff \| tree
2012-12-04	Brian Norris	model: privatize a few interfaces	commit \| commitdiff \| tree
2012-12-04	Brian Norris	model/action: move complicated read_from logic into...	commit \| commitdiff \| tree
2012-12-04	Brian Norris	model: record last fence-release from each thread	commit \| commitdiff \| tree
2012-12-04	Brian Norris	action: record last fence release from the current...	commit \| commitdiff \| tree
2012-12-04	Brian Norris	model: remove extraneous copy-and-paste	commit \| commitdiff \| tree
2012-12-04	Brian Norris	model: add seq-cst fence rules	commit \| commitdiff \| tree
2012-12-04	Brian Norris	action/model: backtrack for seq-cst and release/acquire...	commit \| commitdiff \| tree
2012-12-03	Brian Norris	action: allow fence ModelActions to have location ...	commit \| commitdiff \| tree
2012-12-03	Brian Norris	model: refactor build_reads_from_past	commit \| commitdiff \| tree
2012-12-03	Brian Norris	model: add get_last_seq_cst_fence	commit \| commitdiff \| tree
2012-12-03	Brian Norris	model: rename last_seq_cst -> last_sc_write	commit \| commitdiff \| tree
2012-12-01	Brian Norris	model: rename get_last_seq_cst -> get_last_seq_cst_write	commit \| commitdiff \| tree
2012-11-30	Brian Norris	impatomic: add atomic_{thread,signal}_fence() definitions	commit \| commitdiff \| tree
2012-11-30	Brian Norris	impatomic: remove fence member functions	commit \| commitdiff \| tree
2012-11-30	Brian Norris	Makefile: fix dependency generation	commit \| commitdiff \| tree
2012-11-20	Brian Norris	model: remove <list> include	commit \| commitdiff \| tree
2012-11-20	Brian Norris	model: add const	commit \| commitdiff \| tree
2012-11-20	Brian Norris	schedule: rename get_enabled() -> get_enabled_array()	commit \| commitdiff \| tree
2012-11-20	Brian Norris	model: rename isfinalfeasible -> is_feasible_prefix_ignore_r...	commit \| commitdiff \| tree
2012-11-20	Brian Norris	model: replace isfinalfeasible() with stronger check	commit \| commitdiff \| tree
2012-11-20	Brian Norris	model: privatize, move isfinalfeasible()	commit \| commitdiff \| tree
2012-11-20	Brian Norris	model: rename some 'isfeasible...' functions to 'is_infeasib...	commit \| commitdiff \| tree
2012-11-20	Brian Norris	model: privatize some functions	commit \| commitdiff \| tree
2012-11-20	Brian Norris	main: remove #include's	commit \| commitdiff \| tree
2012-11-20	Brian Norris	main: remove "pass-by-reference" editing in parse_options()	commit \| commitdiff \| tree
2012-11-20	Brian Norris	threads: remove todo (long overdue)	commit \| commitdiff \| tree
2012-11-20	Brian Norris	main/model: move full user-program execution to ModelChecker...	commit \| commitdiff \| tree
2012-11-20	Brian Norris	model/main: add argc/argv parameter	commit \| commitdiff \| tree
2012-11-20	Brian Norris	model: move flags to private 'model_snapshot_members'	commit \| commitdiff \| tree
2012-11-20	Brian Norris	model: add model_snapshot_members constructor/destructor	commit \| commitdiff \| tree
2012-11-20	Brian Norris	model: privatize set_assert()	commit \| commitdiff \| tree
2012-11-20	Brian Norris	run.sh: rewrite script to handle options more gracefully	commit \| commitdiff \| tree
2012-11-20	Brian Norris	output: don't redirect any output for DEBUG builds	commit \| commitdiff \| tree
2012-11-19	Brian Norris	README: add verbose (-v) argument	commit \| commitdiff \| tree
2012-11-19	Brian Norris	model: optimize get_last_conflict() search	commit \| commitdiff \| tree
2012-11-19	Brian Norris	action: add is_relaxed() function	commit \| commitdiff \| tree
2012-11-17	Brian Norris	common: update comment	commit \| commitdiff \| tree
2012-11-17	Brian Norris	model: add "# redundant" stat	commit \| commitdiff \| tree
2012-11-17	Brian Norris	model: refactor end-of-execution output	commit \| commitdiff \| tree
2012-11-17	Brian Norris	model: print_summary() should be const	commit \| commitdiff \| tree
2012-11-17	Brian Norris	model/main: disable most printing by default, add verbosity	commit \| commitdiff \| tree
2012-11-17	Brian Norris	output redirection	commit \| commitdiff \| tree
2012-11-17	Brian Norris	model: print execution # with trace	commit \| commitdiff \| tree
2012-11-17	Brian Norris	print stats only at end of execution	commit \| commitdiff \| tree
2012-11-16	Brian Norris	printf -> model_print	commit \| commitdiff \| tree
2012-11-16	Brian Norris	model: correct plural ("bug" or "bugs")	commit \| commitdiff \| tree
2012-11-16	Brian Norris	model: rework assert_bug() and assert_user_bug() interfaces	commit \| commitdiff \| tree
2012-11-16	Brian Norris	dataraces: don't print an uninformative "Data race...	commit \| commitdiff \| tree
2012-11-16	Brian Norris	datarace: redirect "Data race @ ..." messages to model...	commit \| commitdiff \| tree
2012-11-16	Brian Norris	datarace: change "Datarace" to "Data race"	commit \| commitdiff \| tree
2012-11-16	Brian Norris	model: restructure statistics records	commit \| commitdiff \| tree
2012-11-16	Brian Norris	model: annotate SNAPSHOT for bug_message	commit \| commitdiff \| tree
2012-11-16	Brian Norris	model: temporary fix for uninitialized loads	commit \| commitdiff \| tree
2012-11-16	Brian Norris	assert bugs through common interface	commit \| commitdiff \| tree
2012-11-16	Brian Norris	model: print bug reports at end of each execution	commit \| commitdiff \| tree
2012-11-16	Brian Norris	model: add bug reporting framework	commit \| commitdiff \| tree
2012-11-16	Brian Norris	model: remove unnecessary DEBUG()	commit \| commitdiff \| tree
2012-11-15	Brian Norris	model: use snapshot_calloc()	commit \| commitdiff \| tree
2012-11-15	Brian Norris	model: add 'const'	commit \| commitdiff \| tree
2012-11-15	Brian Norris	model: routine to check if execution is complete	commit \| commitdiff \| tree
2012-11-15	Brian Norris	model: remove useless special case	commit \| commitdiff \| tree
2012-11-14	Brian Norris	model: don't export Scheduler	commit \| commitdiff \| tree
2012-11-14	Brian Norris	model/promise: use ModelChecker is_enabled() interface	commit \| commitdiff \| tree
2012-11-14	Brian Norris	model: is_deadlocked() (sort of) had a bug	commit \| commitdiff \| tree
2012-11-14	Brian Norris	model: add ModelChecker is_enabled() functions	commit \| commitdiff \| tree
2012-11-14	Brian Norris	schedule: improve is_enabled() routines	commit \| commitdiff \| tree
2012-11-14	Brian Norris	model: fix spacing	commit \| commitdiff \| tree
2012-11-14	Brian Norris	model: move snapshot members out of header	commit \| commitdiff \| tree
2012-11-14	Brian Norris	README	commit \| commitdiff \| tree
2012-11-14	Brian Norris	main: change default future value sloppiness	commit \| commitdiff \| tree
2012-11-14	Brian Norris	nodestack: implement expiration sloppiness parameter	commit \| commitdiff \| tree
2012-11-14	Brian Norris	main/model: add future value expiration sloppiness...	commit \| commitdiff \| tree
2012-11-14	Brian Norris	nodestack: limit the number of future values per read	commit \| commitdiff \| tree
2012-11-14	Brian Norris	main: add maxfuturevalues parameter (-M)	commit \| commitdiff \| tree
next

C++11 memory model checker

RSS Atom