Programming Languages Research Group: Git - cdsspec-compiler.git/shortlog

projects / cdsspec-compiler.git / shortlog

2013-04-04	Brian Norris	common: improve redirect_output() error handling	commit \| commitdiff \| tree \| snapshot
2013-04-04	Brian Norris	common: make model_print() use OS file descriptor,...	commit \| commitdiff \| tree \| snapshot
2013-04-04	Brian Norris	action: include reads-from-promise in HASH calculations	commit \| commitdiff \| tree \| snapshot
2013-04-04	Brian Norris	test: insanesync: pointer types	commit \| commitdiff \| tree \| snapshot
2013-04-04	Brian Norris	model: note the DPOR addendum	commit \| commitdiff \| tree \| snapshot
2013-04-04	Brian Norris	model: use get_thread() helper	commit \| commitdiff \| tree \| snapshot
2013-04-04	Brian Norris	swapcontext() fix for Mac OSX	commit \| commitdiff \| tree \| snapshot
2013-04-03	Brian Norris	threads: remove wait_list	commit \| commitdiff \| tree \| snapshot
2013-04-03	Brian Norris	model: use get_mutex() and get_thread_operand() helpers	commit \| commitdiff \| tree \| snapshot
2013-04-03	Brian Norris	model: kill lock_waiters_map	commit \| commitdiff \| tree \| snapshot
2013-04-03	Brian Norris	model: merge duplicated code for WAIT and UNLOCK	commit \| commitdiff \| tree \| snapshot
2013-04-03	Brian Norris	test: mutextest: add thread yield point	commit \| commitdiff \| tree \| snapshot
2013-04-03	Brian Norris	model: get_mutex() for locating the lock map	commit \| commitdiff \| tree \| snapshot
2013-04-02	Brian Norris	action: add ModelAction::is_thread_join() helper	commit \| commitdiff \| tree \| snapshot
2013-04-02	Brian Norris	mymemory: fix compiling with !USE_MPROTECT_SNAPSHOT	commit \| commitdiff \| tree \| snapshot
2013-03-28	Brian Norris	nodestack: move "behaviors" increment all into Node...	commit \| commitdiff \| tree \| snapshot
2013-03-28	Brian Norris	nodestack: regroup some code	commit \| commitdiff \| tree \| snapshot
2013-03-27	Brian Norris	threads: move circular wait check into Threads::is_wait...	commit \| commitdiff \| tree \| snapshot
2013-03-22	Brian Demsky	correct comment typo	commit \| commitdiff \| tree \| snapshot
2013-03-22	Brian Demsky	check in insane test case...	commit \| commitdiff \| tree \| snapshot
2013-03-22	Brian Demsky	fix mistake in promises may allow code... need to...	commit \| commitdiff \| tree \| snapshot
2013-03-22	Brian Norris	main: adjust defaults again	commit \| commitdiff \| tree \| snapshot
2013-03-22	Brian Norris	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree \| snapshot
2013-03-22	Brian Norris	main: change default 'future delay' for promise expiration	commit \| commitdiff \| tree \| snapshot
2013-03-22	Brian Norris	model: re-check pending future values whenever a promis...	commit \| commitdiff \| tree \| snapshot
2013-03-21	Brian Norris	model: bugfix - send future values more eagerly	commit \| commitdiff \| tree \| snapshot
2013-03-21	Brian Norris	model: refactor add_future_value, add documentation	commit \| commitdiff \| tree \| snapshot
2013-03-21	Brian Norris	model: add 'const'	commit \| commitdiff \| tree \| snapshot
2013-03-21	Brian Norris	model: rename PendingFutureValue 'act' to 'reader'	commit \| commitdiff \| tree \| snapshot
2013-03-21	Brian Norris	model: rework the resolve-promise interface	commit \| commitdiff \| tree \| snapshot
2013-03-21	Brian Demsky	add test case...	commit \| commitdiff \| tree \| snapshot
2013-03-20	Brian Norris	cyclegraph: propagate RMW atomicity edges down the...	commit \| commitdiff \| tree \| snapshot
2013-03-19	Brian Norris	model: note how we support seq-cst fences	commit \| commitdiff \| tree \| snapshot
2013-03-19	Brian Demsky	add our names	commit \| commitdiff \| tree \| snapshot
2013-03-19	Brian Demsky	add copyright message	commit \| commitdiff \| tree \| snapshot
2013-03-18	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree \| snapshot
2013-03-18	Brian Demsky	update git repository with license... GPL v2	commit \| commitdiff \| tree \| snapshot
2013-03-15	Brian Norris	test: rmwprog: add MODEL_ASSERT	commit \| commitdiff \| tree \| snapshot
2013-03-14	Brian Demsky	fix memory leak	commit \| commitdiff \| tree \| snapshot
2013-03-12	Brian Norris	model: bugfix - missing SC mo_graph edge	commit \| commitdiff \| tree \| snapshot
2013-03-12	Brian Norris	model: refactor r_modification_order 'act != curr'...	commit \| commitdiff \| tree \| snapshot
2013-03-09	Brian Norris	mymemory: enforce that user allocations come from user...	commit \| commitdiff \| tree \| snapshot
2013-03-09	Brian Norris	mymemory, threads: add allocator specifically for Thread	commit \| commitdiff \| tree \| snapshot
2013-03-09	Brian Norris	model: privatize some thread functions	commit \| commitdiff \| tree \| snapshot
2013-03-09	Brian Norris	litmus: wrc: add macro for memory ordering	commit \| commitdiff \| tree \| snapshot
2013-03-09	Brian Norris	litmus: seq-lock: add MODEL_ASSERT() for the important...	commit \| commitdiff \| tree \| snapshot
2013-03-08	Brian Norris	model-assert: include <stdbool.h>	commit \| commitdiff \| tree \| snapshot
2013-03-08	Brian Norris	stl - remove stale <vector> and <list> #include's	commit \| commitdiff \| tree \| snapshot
2013-03-07	Brian Norris	bugfix - add stl-model.h wrappers, to provide more...	commit \| commitdiff \| tree \| snapshot
2013-03-07	Brian Norris	Revert "switch to snapshot/modelalloc versions of stl...	commit \| commitdiff \| tree \| snapshot
2013-03-07	Brian Demsky	switch to snapshot/modelalloc versions of stl classes	commit \| commitdiff \| tree \| snapshot
2013-03-07	Brian Demsky	add new option for uninitialized writes...	commit \| commitdiff \| tree \| snapshot
2013-03-07	Brian Norris	model, nodestack: bugfix - retain UNINIT actions across...	commit \| commitdiff \| tree \| snapshot
2013-03-06	Brian Norris	linuxrwlocksyield: refactor	commit \| commitdiff \| tree \| snapshot
2013-03-06	Brian Demsky	documentation update	commit \| commitdiff \| tree \| snapshot
2013-03-06	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree \| snapshot
2013-03-06	Brian Demsky	add destructor so the spsc-queue will compile on MAC	commit \| commitdiff \| tree \| snapshot
2013-03-06	Brian Norris	Merge remote 'yield' work	commit \| commitdiff \| tree \| snapshot
2013-03-06	Brian Norris	model: don't print 'uninitialized' ModelActions in...	commit \| commitdiff \| tree \| snapshot
2013-03-06	Brian Demsky	add yield support	commit \| commitdiff \| tree \| snapshot
2013-03-06	Brian Norris	impatomic: fences linker error	commit \| commitdiff \| tree \| snapshot
2013-03-05	Brian Norris	Makefile: use $+ variable	commit \| commitdiff \| tree \| snapshot
2013-03-05	Brian Norris	cyclegraph: memory "leak", fixup	commit \| commitdiff \| tree \| snapshot
2013-03-05	Brian Demsky	little optimizations motivated by profiling...	commit \| commitdiff \| tree \| snapshot
2013-03-05	Brian Norris	model: refactor the get_thread() selection	commit \| commitdiff \| tree \| snapshot
2013-03-04	Brian Norris	refactor DBG_ENABLED() vs. verbose	commit \| commitdiff \| tree \| snapshot
2013-03-04	Brian Norris	model: add promise printing to execution summaries	commit \| commitdiff \| tree \| snapshot
2013-03-04	Brian Norris	nodestack: print thread status info in Node::print	commit \| commitdiff \| tree \| snapshot
2013-03-04	Brian Norris	cyclegraph: missing form of checkReachable()	commit \| commitdiff \| tree \| snapshot
2013-03-03	Brian Norris	model: rename check_deadlock() to is_circular_wait()	commit \| commitdiff \| tree \| snapshot
2013-03-03	Brian Norris	model: add improved (?) deadlock detection	commit \| commitdiff \| tree \| snapshot
2013-03-03	Brian Norris	threads: add waiting_on()	commit \| commitdiff \| tree \| snapshot
2013-03-03	Brian Norris	mutex: change 'islocked' to hold Thread pointer	commit \| commitdiff \| tree \| snapshot
2013-03-03	Brian Norris	action: add get_mutex()	commit \| commitdiff \| tree \| snapshot
2013-03-03	Brian Norris	mutex: fix indentation	commit \| commitdiff \| tree \| snapshot
2013-03-03	Brian Norris	action: add get_return_value()	commit \| commitdiff \| tree \| snapshot
2013-03-02	Brian Norris	model: use get_write_value()	commit \| commitdiff \| tree \| snapshot
2013-03-02	Brian Norris	model: bugfix - adding a Promise reader can cause failure	commit \| commitdiff \| tree \| snapshot
2013-03-02	Brian Norris	model: hack dumpGraph() bug by "leaking" promises	commit \| commitdiff \| tree \| snapshot
2013-03-02	Brian Norris	cyclegraph: simplify resolvePromise / mergeNodes	commit \| commitdiff \| tree \| snapshot
2013-03-02	Brian Norris	model: refactor process_read logic	commit \| commitdiff \| tree \| snapshot
2013-03-02	Brian Norris	check_recency: update/add documentation comments	commit \| commitdiff \| tree \| snapshot
2013-03-02	Brian Norris	check_recency: improve templates, use when reading...	commit \| commitdiff \| tree \| snapshot
2013-03-02	Brian Norris	check_recency: refactor some more, + include Promises	commit \| commitdiff \| tree \| snapshot
2013-03-02	Brian Norris	check_recency: return a boolean status	commit \| commitdiff \| tree \| snapshot
2013-03-02	Brian Norris	check_recency: only allow newer stores to "overwrite"	commit \| commitdiff \| tree \| snapshot
2013-03-02	Brian Norris	check_recency: implement loops as function ModelAction...	commit \| commitdiff \| tree \| snapshot
2013-03-02	Brian Norris	nodestack: add support functions for check_recency...	commit \| commitdiff \| tree \| snapshot
2013-03-02	Brian Norris	model: check_recency: convert a few things to ASSERT()	commit \| commitdiff \| tree \| snapshot
2013-03-02	Brian Demsky	comments	commit \| commitdiff \| tree \| snapshot
2013-03-02	Brian Norris	model: check_recency: fix indentation, spelling, comments	commit \| commitdiff \| tree \| snapshot
2013-03-02	Brian Norris	action: bugfix - reads-from value should be VALUE_NONE...	commit \| commitdiff \| tree \| snapshot
2013-03-02	Brian Norris	model: fixes for future value passing	commit \| commitdiff \| tree \| snapshot
2013-03-02	Brian Norris	model: we only resolve one promise at a time	commit \| commitdiff \| tree \| snapshot
2013-03-01	Brian Norris	model: fix ASSERT()	commit \| commitdiff \| tree \| snapshot
2013-03-01	Brian Norris	promise: add 'same_value' helper, force value-checking...	commit \| commitdiff \| tree \| snapshot
2013-03-01	Brian Norris	promise: bugfix - don't check value, check location	commit \| commitdiff \| tree \| snapshot
2013-03-01	Brian Norris	action: add get_write_value()	commit \| commitdiff \| tree \| snapshot
2013-03-01	Brian Norris	action: add ModelAction::get_reads_from_value()	commit \| commitdiff \| tree \| snapshot
2013-03-01	Brian Norris	action, model: add ASSERT(), not NULL checks	commit \| commitdiff \| tree \| snapshot
next

This is the public repository for the CDSSpec specification compiler.

RSS Atom