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

projects / cdsspec-compiler.git / shortlog

2012-09-21	Brian Norris	model: flatten "pending acquire/release sequence" structure	commit \| commitdiff \| tree \| snapshot
2012-09-21	Brian Norris	Merge branch 'norris'	commit \| commitdiff \| tree \| snapshot
2012-09-21	Brian Norris	model: bugfix - infinite loop in resolve_release_sequen...	commit \| commitdiff \| tree \| snapshot
2012-09-21	Brian Demsky	comments	commit \| commitdiff \| tree \| snapshot
2012-09-20	Brian Norris	Merge branch 'norris'	commit \| commitdiff \| tree \| snapshot
2012-09-20	Brian Norris	model: fixup style	commit \| commitdiff \| tree \| snapshot
2012-09-20	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree \| snapshot
2012-09-20	Brian Demsky	more documentation	commit \| commitdiff \| tree \| snapshot
2012-09-20	Brian Norris	model: release_seq_head: improve ordering of tests	commit \| commitdiff \| tree \| snapshot
2012-09-20	Brian Norris	model: release sequences: check last action in each...	commit \| commitdiff \| tree \| snapshot
2012-09-20	Brian Norris	model: pad the digits in exec#.dot filenames	commit \| commitdiff \| tree \| snapshot
2012-09-20	Brian Norris	model: add const qualifiers, fixup comments	commit \| commitdiff \| tree \| snapshot
2012-09-20	Brian Demsky	documentation	commit \| commitdiff \| tree \| snapshot
2012-09-20	Brian Norris	model: get_last_conflict - replace if/else-if block...	commit \| commitdiff \| tree \| snapshot
2012-09-20	Brian Norris	Makefile: move common Mac flags to common.mk	commit \| commitdiff \| tree \| snapshot
2012-09-20	Brian Norris	fix compilation (includes)	commit \| commitdiff \| tree \| snapshot
2012-09-20	Brian Demsky	bug fixes for lock support...think it works now...	commit \| commitdiff \| tree \| snapshot
2012-09-20	Brian Demsky	fix merge	commit \| commitdiff \| tree \| snapshot
2012-09-20	Brian Demsky	changes	commit \| commitdiff \| tree \| snapshot
2012-09-20	Brian Demsky	push changes	commit \| commitdiff \| tree \| snapshot
2012-09-19	Brian Demsky	merge stuff	commit \| commitdiff \| tree \| snapshot
2012-09-19	Brian Demsky	more mutex changes	commit \| commitdiff \| tree \| snapshot
2012-09-19	Brian Demsky	support for locks... untested, but doesn't break quick...	commit \| commitdiff \| tree \| snapshot
2012-09-19	Brian Demsky	more bugs	commit \| commitdiff \| tree \| snapshot
2012-09-19	Brian Demsky	fix merge bug	commit \| commitdiff \| tree \| snapshot
2012-09-19	Brian Demsky	fix	commit \| commitdiff \| tree \| snapshot
2012-09-19	Brian Demsky	my schedule changes	commit \| commitdiff \| tree \| snapshot
2012-09-19	Brian Demsky	merge in master	commit \| commitdiff \| tree \| snapshot
2012-09-19	Brian Demsky	fix bug	commit \| commitdiff \| tree \| snapshot
2012-09-19	Brian Norris	model: replace list type with action_list_t	commit \| commitdiff \| tree \| snapshot
2012-09-19	Brian Norris	model: add typedef for list of release sequence heads	commit \| commitdiff \| tree \| snapshot
2012-09-19	Brian Norris	model: THREAD_JOIN synchronizes with THREAD_FINISH	commit \| commitdiff \| tree \| snapshot
2012-09-19	Brian Norris	action: THREAD_JOIN can synchronize against execution...	commit \| commitdiff \| tree \| snapshot
2012-09-19	Brian Demsky	ichange	commit \| commitdiff \| tree \| snapshot
2012-09-18	Brian Norris	model: add curr to action lists early	commit \| commitdiff \| tree \| snapshot
2012-09-18	Brian Norris	model: document behavior of ModelChecker::initialize_cu...	commit \| commitdiff \| tree \| snapshot
2012-09-18	Brian Norris	model: pull "may_read_from set" calculation out of...	commit \| commitdiff \| tree \| snapshot
2012-09-18	Brian Norris	model: refactor ModelChecker::initialize_curr_action	commit \| commitdiff \| tree \| snapshot
2012-09-18	Brian Norris	model: move init code to ModelChecker::initialize_curr_...	commit \| commitdiff \| tree \| snapshot
2012-09-18	Brian Demsky	changes	commit \| commitdiff \| tree \| snapshot
2012-09-18	Brian Norris	model: pull computation out of conditional	commit \| commitdiff \| tree \| snapshot
2012-09-18	Brian Norris	tests: add releaseseq test	commit \| commitdiff \| tree \| snapshot
2012-09-18	Brian Norris	model: add some mo_graph fixup code to work_queue	commit \| commitdiff \| tree \| snapshot
2012-09-18	Brian Norris	Merge branch 'norris'	commit \| commitdiff \| tree \| snapshot
2012-09-18	Brian Norris	cyclegraph: add ASSERT() for reflexive edges	commit \| commitdiff \| tree \| snapshot
2012-09-18	Brian Norris	model: add infeasibility debugging	commit \| commitdiff \| tree \| snapshot
2012-09-18	Brian Norris	common: print tracing info for ASSERT() failures	commit \| commitdiff \| tree \| snapshot
2012-09-18	Brian Norris	model: bugfix - w_modification_order handling current...	commit \| commitdiff \| tree \| snapshot
2012-09-18	Brian Norris	model: fixup r_modification_order	commit \| commitdiff \| tree \| snapshot
2012-09-18	Brian Norris	model: check_recency - "already_added" always true	commit \| commitdiff \| tree \| snapshot
2012-09-18	Brian Norris	model: bugfix get_last_seq_action()	commit \| commitdiff \| tree \| snapshot
2012-09-18	Brian Demsky	more changes towards locks	commit \| commitdiff \| tree \| snapshot
2012-09-18	Brian Demsky	Merge branch 'master' into mutex	commit \| commitdiff \| tree \| snapshot
2012-09-18	Brian Demsky	add mutex files	commit \| commitdiff \| tree \| snapshot
2012-09-18	Brian Demsky	add mutex files	commit \| commitdiff \| tree \| snapshot
2012-09-18	Brian Demsky	start towards adding support for mutexes	commit \| commitdiff \| tree \| snapshot
2012-09-14	Brian Norris	model: fixup happens_before/reflexivity, add 'curr...	commit \| commitdiff \| tree \| snapshot
2012-09-14	Brian Norris	Merge branch 'norris'	commit \| commitdiff \| tree \| snapshot
2012-09-14	Brian Norris	model: release_seq synchronization generates mo_graph...	commit \| commitdiff \| tree \| snapshot
2012-09-14	Brian Norris	.gitignore: ignore .dot graph files	commit \| commitdiff \| tree \| snapshot
2012-09-14	Brian Norris	model: record the number of feasible executions	commit \| commitdiff \| tree \| snapshot
2012-09-14	Brian Norris	config: don't enable graph dumping in master repo	commit \| commitdiff \| tree \| snapshot
2012-09-14	Brian Norris	model: add work queue loop	commit \| commitdiff \| tree \| snapshot
2012-09-14	Brian Norris	workqueue: add work queue structures	commit \| commitdiff \| tree \| snapshot
2012-09-14	Brian Demsky	tabbing	commit \| commitdiff \| tree \| snapshot
2012-09-14	Brian Demsky	(1) add actions for the fence	commit \| commitdiff \| tree \| snapshot
2012-09-14	Brian Demsky	add support for dumping cyclegraphs as dot files.....	commit \| commitdiff \| tree \| snapshot
2012-09-13	Brian Norris	model: more restructuring of read/write processing	commit \| commitdiff \| tree \| snapshot
2012-09-13	Brian Norris	model: remove unnecessary parameter to ModelChecker...	commit \| commitdiff \| tree \| snapshot
2012-09-13	Brian Norris	Makefile: add PHONY targets	commit \| commitdiff \| tree \| snapshot
2012-09-13	Brian Norris	bugfix: straighten out STL vector allocation (snapshott...	commit \| commitdiff \| tree \| snapshot
2012-09-13	Brian Norris	model: bugfix - don't clobber 'updated'	commit \| commitdiff \| tree \| snapshot
2012-09-13	Brian Norris	Revert "Makefile: don't always rebuild make.deps"	commit \| commitdiff \| tree \| snapshot
2012-09-13	Brian Norris	snapshot: print stack trace on segfault	commit \| commitdiff \| tree \| snapshot
2012-09-13	Brian Norris	common: add print_trace() for backtracing	commit \| commitdiff \| tree \| snapshot
2012-09-13	Brian Norris	model: trivial fixups	commit \| commitdiff \| tree \| snapshot
2012-09-13	Brian Norris	Makefile: don't always rebuild make.deps	commit \| commitdiff \| tree \| snapshot
2012-09-13	Brian Norris	model: simple ASSERT() bug	commit \| commitdiff \| tree \| snapshot
2012-09-13	Brian Norris	main: wrap help message	commit \| commitdiff \| tree \| snapshot
2012-09-13	Brian Norris	model: kill unneeded local variable	commit \| commitdiff \| tree \| snapshot
2012-09-13	Brian Norris	spacing	commit \| commitdiff \| tree \| snapshot
2012-09-13	Brian Norris	Merge remote-tracking branch 'origin/makefile'	commit \| commitdiff \| tree \| snapshot
2012-09-13	Brian Demsky	lots of debugging here... finally working with my rmw...	commit \| commitdiff \| tree \| snapshot
2012-09-13	Brian Norris	Makefile: fixup Mac dependencies	commit \| commitdiff \| tree \| snapshot
2012-09-13	Brian Norris	cleanup style	commit \| commitdiff \| tree \| snapshot
2012-09-13	Brian Demsky	commit new test case	commit \| commitdiff \| tree \| snapshot
2012-09-13	Brian Demsky	fix for horrible bug... turns out that we could genera...	commit \| commitdiff \| tree \| snapshot
2012-09-13	Brian Demsky	missing changes	commit \| commitdiff \| tree \| snapshot
2012-09-13	Brian Demsky	right fix for avoid rmw cycles... bad assumption in...	commit \| commitdiff \| tree \| snapshot
2012-09-13	Brian Demsky	another bug fix...	commit \| commitdiff \| tree \| snapshot
2012-09-13	Brian Demsky	separate out rmw actions	commit \| commitdiff \| tree \| snapshot
2012-09-12	Brian Demsky	(1) structure code a little better	commit \| commitdiff \| tree \| snapshot
2012-09-12	Brian Demsky	deal with looping due to bogus future value via promise...	commit \| commitdiff \| tree \| snapshot
2012-09-12	Brian Demsky	fun issues...	commit \| commitdiff \| tree \| snapshot
2012-09-12	Brian Norris	threads, model, schedule: refactor thread joining	commit \| commitdiff \| tree \| snapshot
2012-09-12	Brian Norris	model: add ModelChecker::get_thread(ModelAction *act)	commit \| commitdiff \| tree \| snapshot
2012-09-12	Brian Norris	schedule: add sleep() function	commit \| commitdiff \| tree \| snapshot
2012-09-12	Brian Norris	cyclegraph: add non-NULL assertions	commit \| commitdiff \| tree \| snapshot
2012-09-12	Brian Norris	Merge branch 'demsky'	commit \| commitdiff \| tree \| snapshot
2012-09-12	Brian Demsky	model: cleaning up some code	commit \| commitdiff \| tree \| snapshot
next

This is the public repository for the CDSSpec specification compiler.

RSS Atom