Programming Languages Research Group: Git

2012-11-02	Brian Norris	model: totally destroy 'curr' within initialize_curr_action()	commit \| commitdiff \| tree
2012-11-02	Brian Norris	clockvector: remove old include	commit \| commitdiff \| tree
2012-11-01	Brian Norris	clockvector: bugfix - bad clock merge	commit \| commitdiff \| tree
2012-11-01	Brian Norris	nodestack: improve bounds-checking assertion	commit \| commitdiff \| tree
2012-11-01	Brian Norris	common.mk: build with -O3 (except for Mac OSX)	commit \| commitdiff \| tree
2012-11-01	Brian Norris	model: silence "uninitialized" warning	commit \| commitdiff \| tree
2012-11-01	Brian Norris	model: update mo_may_allow restrictions	commit \| commitdiff \| tree
2012-10-29	Brian Norris	tests: add thinair test	commit \| commitdiff \| tree
2012-10-29	Brian Norris	Makefile/malloc: don't warn for self-assign	commit \| commitdiff \| tree
2012-10-29	Brian Norris	Makefile: use -rdyanmic only for linking	commit \| commitdiff \| tree
2012-10-29	Brian Norris	tests: use signed printf format	commit \| commitdiff \| tree
2012-10-19	Brian Norris	model: fix - RMW cannot break release sequences	commit \| commitdiff \| tree
2012-10-12	Brian Norris	Doxygen: document subdirectories	commit \| commitdiff \| tree
2012-10-12	Brian Norris	thread_id_t: add comments	commit \| commitdiff \| tree
2012-10-12	Brian Norris	fixup 'int' vs. 'thread_id_t' usage	commit \| commitdiff \| tree
2012-10-12	Brian Norris	modeltypes: move to include/ dir, for now	commit \| commitdiff \| tree
2012-10-12	Brian Norris	mutex: define empty destructor	commit \| commitdiff \| tree
2012-10-12	Brian Norris	condition_variable: move header	commit \| commitdiff \| tree
2012-10-12	Brian Norris	move other interface headers to include/	commit \| commitdiff \| tree
2012-10-11	Brian Norris	mutex: move mutex.h to standard name/location	commit \| commitdiff \| tree
2012-10-11	Brian Norris	include/: add small header comments	commit \| commitdiff \| tree
2012-10-11	Brian Norris	impatomic: add multiple-inclusion guards	commit \| commitdiff \| tree
2012-10-11	Brian Norris	action: improve printing	commit \| commitdiff \| tree
2012-10-10	Brian Norris	Makefile: add benchmarks to top-level	commit \| commitdiff \| tree
2012-10-10	Brian Norris	segfault file/line breakpoint info	commit \| commitdiff \| tree
2012-10-10	Brian Norris	Merge remote-tracking branch 'origin/master'	commit \| commitdiff \| tree
2012-10-10	Brian Norris	impatomic: add strong/weak compare_exchange	commit \| commitdiff \| tree
2012-10-10	Brian Norris	action: add NULL dereference assertion	commit \| commitdiff \| tree
2012-10-10	Brian Norris	threads: correct 'thrd_yield()'	commit \| commitdiff \| tree
2012-10-10	Brian Norris	Merge remote-tracking branch 'origin/master'	commit \| commitdiff \| tree
2012-10-10	Brian Norris	impatomic: rename all 'swap' to 'exchange'	commit \| commitdiff \| tree
2012-10-10	Brian Norris	include: add multiple-inclusion guards	commit \| commitdiff \| tree
2012-10-09	Brian Norris	.gitignore: ignore 'benchmarks' folder	commit \| commitdiff \| tree
2012-10-09	Brian Norris	tests: use <stdatomic.h>	commit \| commitdiff \| tree
2012-10-09	Brian Norris	move libthreads.h -> include/threads.h	commit \| commitdiff \| tree
2012-10-09	Brian Norris	rename threads.h -> threads-model.h	commit \| commitdiff \| tree
2012-10-09	Brian Norris	include: add <atomic> header	commit \| commitdiff \| tree
2012-10-09	Brian Norris	model: JOIN/LOCK unification	commit \| commitdiff \| tree
2012-10-09	Brian Norris	datarace: reformat datarace printing	commit \| commitdiff \| tree
2012-10-09	Brian Norris	threads: allocate on user's snapshotting heap	commit \| commitdiff \| tree
2012-10-09	Brian Norris	schedule: bugfix - fix typo in wake	commit \| commitdiff \| tree
2012-10-09	Brian Norris	user_main: pass remaining arguments to the user program	commit \| commitdiff \| tree
2012-10-09	Brian Norris	main: rename 'real_main()' to 'model_main()'	commit \| commitdiff \| tree
2012-10-08	Brian Norris	mymemory: re-indent	commit \| commitdiff \| tree
2012-10-08	Brian Norris	model: stack-allocated vector should use ModelAlloc	commit \| commitdiff \| tree
2012-10-08	Brian Norris	utilize SnapshotAlloc STL allocator	commit \| commitdiff \| tree
2012-10-08	Brian Norris	mymemory: add SnapshotAlloc STL allocator	commit \| commitdiff \| tree
2012-10-08	Brian Norris	mymemory: implement snapshot_*() allocations on model...	commit \| commitdiff \| tree
2012-10-08	Brian Norris	mymemory: add basic model_snapshot_space	commit \| commitdiff \| tree
2012-10-08	Brian Norris	rename again (snapshot_space -> user_snapshot_space)	commit \| commitdiff \| tree
2012-10-08	Brian Norris	mymemory: kill system_malloc()	commit \| commitdiff \| tree
2012-10-08	Brian Norris	snapshot: use snapshot_space only in mprotect-based	commit \| commitdiff \| tree
2012-10-08	Brian Norris	snapshot: don't need any snapshotting space for fork...	commit \| commitdiff \| tree
2012-10-08	Brian Norris	rename 'mySpace' to 'snapshot_space'	commit \| commitdiff \| tree
2012-10-08	Brian Norris	mymemory: make DontFree() static	commit \| commitdiff \| tree
2012-10-08	Brian Norris	mymemory: reformat spacing	commit \| commitdiff \| tree
2012-10-08	Brian Norris	mymemory: kill system_free()	commit \| commitdiff \| tree
2012-10-08	Brian Norris	snapshot: remove global 'basemySpace'	commit \| commitdiff \| tree
2012-10-08	Brian Norris	test: linuxrwlocks: fixup spacing	commit \| commitdiff \| tree
2012-10-08	Brian Norris	model: remove todo	commit \| commitdiff \| tree
2012-10-08	Brian Norris	test: add "double release sequence" test	commit \| commitdiff \| tree
2012-10-08	Brian Norris	Merge branch 'norris'	commit \| commitdiff \| tree
2012-10-08	Brian Norris	model: add todo synchronization comment	commit \| commitdiff \| tree
2012-10-08	Brian Norris	model: be sure trace is "final feasible" before continuing...	commit \| commitdiff \| tree
2012-10-08	Brian Norris	tests: add some normal loads/stores to test data races	commit \| commitdiff \| tree
2012-10-08	Brian Norris	model: check data races during release sequence fixup	commit \| commitdiff \| tree
2012-10-08	Brian Norris	model: add release sequence model_thread ASSERT()	commit \| commitdiff \| tree
2012-10-08	Brian Norris	model: launch release sequence fixup actions when necessary	commit \| commitdiff \| tree
2012-10-08	Brian Norris	model: add special model-checker Thread to ModelChecker	commit \| commitdiff \| tree
2012-10-08	Brian Norris	schedule: do not allow model-checker thread to enter...	commit \| commitdiff \| tree
2012-10-08	Brian Norris	threads: add constructor for model-checker thread	commit \| commitdiff \| tree
2012-10-08	Brian Norris	threads: add flag for a special type of "model-checker...	commit \| commitdiff \| tree
2012-10-08	Brian Norris	action: add Thread parameter to constructor	commit \| commitdiff \| tree
2012-10-08	Brian Norris	model: add process_relseq_fixup()	commit \| commitdiff \| tree
2012-10-07	Brian Norris	common: improve backtrace function	commit \| commitdiff \| tree
2012-10-07	Brian Norris	add stacktrace header, under WTFPL	commit \| commitdiff \| tree
2012-10-07	Brian Norris	model: wire up rest of release seq. resolution backtracking	commit \| commitdiff \| tree
2012-10-07	Brian Norris	nodestack: add release sequence breakage backtracking	commit \| commitdiff \| tree
2012-10-07	Brian Norris	action: add MODEL_FIXUP_RELSEQ action_type	commit \| commitdiff \| tree
2012-10-07	Brian Norris	model: disabled threads are "future ordered"	commit \| commitdiff \| tree
2012-10-07	Brian Norris	model: use proper size_t printf format	commit \| commitdiff \| tree
2012-10-07	Brian Norris	schedule: add is_enabled() function	commit \| commitdiff \| tree
2012-10-06	Brian Norris	cyclegraph: fix indentation	commit \| commitdiff \| tree
2012-10-06	Brian Norris	cyclegraph: flag cycles for reflexive edges	commit \| commitdiff \| tree
2012-10-04	Brian Norris	nodestack: destroy Nodes properly in ~NodeStack()	commit \| commitdiff \| tree
2012-10-04	Brian Norris	nodestack: use initializer list	commit \| commitdiff \| tree
2012-10-04	Brian Norris	model: remove unnecessary boolean variable	commit \| commitdiff \| tree
2012-10-04	Brian Norris	model: assign "pending" return values in release_seq_heads()	commit \| commitdiff \| tree
2012-10-04	Brian Norris	model: update pending release sequence list type	commit \| commitdiff \| tree
2012-10-04	Brian Norris	model: add release_seq structure definition	commit \| commitdiff \| tree
2012-10-04	Brian Norris	fixup more id vs. thread_id_t	commit \| commitdiff \| tree
2012-10-04	Brian Norris	action: return synchronization status for ModelAction...	commit \| commitdiff \| tree
2012-10-03	Brian Norris	action: remove clockvector flag from print() method	commit \| commitdiff \| tree
2012-10-03	Brian Norris	model: rename release_seq_head() -> release_seq_heads()	commit \| commitdiff \| tree
2012-10-03	Brian Norris	model: do not assume THREAD_FINISH is always the last...	commit \| commitdiff \| tree
2012-10-03	Brian Norris	fixup usage of int vs. thread_id_t	commit \| commitdiff \| tree
2012-10-03	Brian Norris	model: add const qualifier to get_thread()	commit \| commitdiff \| tree
2012-10-03	Brian Norris	model: rearrange conditionals, fixup take_step()	commit \| commitdiff \| tree
2012-10-03	Brian Norris	Merge remote-tracking branch 'origin/master'	commit \| commitdiff \| tree
2012-10-03	Brian Norris	modeltypes: move small typedefs to own header	commit \| commitdiff \| tree
next

C++11 memory model checker

RSS Atom