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

projects / cdsspec-compiler.git / shortlog

2012-10-03	Brian Norris	model: move get_thread() implementations out of header	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Norris	model: move get_current_thread() implementation out...	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Norris	model: update switch_to_master() comment	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Norris	Makefile: eliminate malloc.c warning	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Norris	mymemory: fix indentation for ModelAlloc	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Norris	rename 'MyAlloc' to 'ModelAlloc'	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Norris	mymemory: reword comments	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Norris	snapshot: rename 'SnapShot' -> 'Snapshot'	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Norris	common: remove excess semicolon	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Norris	mymemory: define SNAPSHOTALLOC appropriately	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Norris	replace malloc/calloc/free with snapshot_{malloc/calloc...	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Norris	mymemory: make snapshot_{malloc,calloc,free} externally...	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Norris	action: reword comments	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Demsky	extra file committed accidentally	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Demsky	missing change	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Demsky	mspace_malloc will call into mmap if it runs out of...	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Demsky	error	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Demsky	random memory leak fixes and memory access fixes	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Norris	model: debug print - pending release sequences	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Norris	test: add a "pending release sequences" test	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Norris	(bug) revert JOIN/LOCK simplification	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Norris	model: one release sequence may help resolve another	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Norris	model: THREAD_FINISH triggers release sequence check	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Demsky	a bug fix	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Norris	assign sequence numbers after initial processing	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Norris	action: edit some spacing	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Norris	model: remove obsolete ModelChecker::do_complete_join()	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Norris	model: unify JOIN- and LOCK-related sleep/wake code	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Norris	model: refactor mutex thread-blocking code	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Norris	action: don't print clock vector when it is invalid	commit \| commitdiff \| tree \| snapshot
2012-10-02	Brian Demsky	small hack to optimize our common case for snapshotting...	commit \| commitdiff \| tree \| snapshot
2012-10-02	Brian Demsky	fix bug.... not quite perfect for linux locks, but...	commit \| commitdiff \| tree \| snapshot
2012-10-02	Brian Norris	clockvector: snapshot the whole object	commit \| commitdiff \| tree \| snapshot
2012-10-02	Brian Norris	model: revert broken bugfix	commit \| commitdiff \| tree \| snapshot
2012-10-02	Brian Norris	model: fix "earliest diverge" NULL pointer exception	commit \| commitdiff \| tree \| snapshot
2012-10-02	Brian Demsky	start support for drawing execution diagrams	commit \| commitdiff \| tree \| snapshot
2012-10-02	Brian Demsky	Fixed bug breaking our consolidation of future values...	commit \| commitdiff \| tree \| snapshot
2012-10-02	Brian Demsky	Two change:	commit \| commitdiff \| tree \| snapshot
2012-10-02	Brian Norris	rename MYFREE -> model_free	commit \| commitdiff \| tree \| snapshot
2012-10-02	Brian Norris	rename MYCALLOC -> model_calloc	commit \| commitdiff \| tree \| snapshot
2012-10-02	Brian Norris	rename MYMALLOC -> model_malloc	commit \| commitdiff \| tree \| snapshot
2012-10-02	Brian Norris	model: refactor/reword initialize_curr_action()	commit \| commitdiff \| tree \| snapshot
2012-10-02	Brian Norris	clockvector: snapshot our clock vectors	commit \| commitdiff \| tree \| snapshot
2012-10-02	Brian Norris	mymemory: add placeholder "snapshot_{calloc,malloc...	commit \| commitdiff \| tree \| snapshot
2012-10-02	Brian Norris	model: always re-calculate clock vectors	commit \| commitdiff \| tree \| snapshot
2012-10-01	Brian Demsky	another bug fix	commit \| commitdiff \| tree \| snapshot
2012-10-01	Brian Demsky	bug fix...recompute promises of RMW actions at divergen...	commit \| commitdiff \| tree \| snapshot
2012-10-01	Brian Norris	model: utilize bad_synchronization flag	commit \| commitdiff \| tree \| snapshot
2012-10-01	Brian Norris	model: add "bad synchronization" flag	commit \| commitdiff \| tree \| snapshot
2012-10-01	Brian Norris	action: synchronize_with - return status for out-of...	commit \| commitdiff \| tree \| snapshot
2012-10-01	Brian Norris	model: remove debug print	commit \| commitdiff \| tree \| snapshot
2012-09-29	Brian Demsky	missing commit of mo_graph changes	commit \| commitdiff \| tree \| snapshot
2012-09-28	Brian Demsky	fix bug from moving read_from check_recency...check_rec...	commit \| commitdiff \| tree \| snapshot
2012-09-27	Brian Norris	nodestack: add debug prints	commit \| commitdiff \| tree \| snapshot
2012-09-27	Brian Norris	model: push mo_graph cycle check into release_seq code	commit \| commitdiff \| tree \| snapshot
2012-09-27	Brian Norris	model: add RMW violation debug print	commit \| commitdiff \| tree \| snapshot
2012-09-27	Brian Norris	doc: add release sequence notes	commit \| commitdiff \| tree \| snapshot
2012-09-27	Brian Norris	docs: move to subdirectory	commit \| commitdiff \| tree \| snapshot
2012-09-26	Brian Norris	model: avoid infinite loop in release_seq_head()	commit \| commitdiff \| tree \| snapshot
2012-09-26	Brian Norris	model: bugfix - iterator naming conflict	commit \| commitdiff \| tree \| snapshot
2012-09-26	Brian Norris	model: re-check release sequences after THREAD_JOIN	commit \| commitdiff \| tree \| snapshot
2012-09-26	Brian Norris	model: add current action work_queue comment	commit \| commitdiff \| tree \| snapshot
2012-09-25	Brian Norris	model: mutex synchronization -> re-check release sequences	commit \| commitdiff \| tree \| snapshot
2012-09-25	Brian Norris	model: trivial - rename 'updated' -> 'update'	commit \| commitdiff \| tree \| snapshot
2012-09-25	Brian Norris	model: bugfix - release sequences - handle Thread compl...	commit \| commitdiff \| tree \| snapshot
2012-09-25	Brian Norris	model: fixup spelling (and formatting) in comments	commit \| commitdiff \| tree \| snapshot
2012-09-25	Brian Norris	model: split THREAD_* processing into process_thread_ac...	commit \| commitdiff \| tree \| snapshot
2012-09-25	Brian Norris	Merge branch 'norris'	commit \| commitdiff \| tree \| snapshot
2012-09-25	Brian Norris	model: release_seq_head - rewrite RMW recursion as...	commit \| commitdiff \| tree \| snapshot
2012-09-25	Brian Demsky	add comments	commit \| commitdiff \| tree \| snapshot
2012-09-24	Brian Demsky	fairness changes...	commit \| commitdiff \| tree \| snapshot
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
next

This is the public repository for the CDSSpec specification compiler.

RSS Atom