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

projects / cdsspec-compiler.git / shortlog

2012-10-08	Brian Norris	mymemory: re-indent	commit \| commitdiff \| tree \| snapshot
2012-10-08	Brian Norris	model: stack-allocated vector should use ModelAlloc	commit \| commitdiff \| tree \| snapshot
2012-10-08	Brian Norris	utilize SnapshotAlloc STL allocator	commit \| commitdiff \| tree \| snapshot
2012-10-08	Brian Norris	mymemory: add SnapshotAlloc STL allocator	commit \| commitdiff \| tree \| snapshot
2012-10-08	Brian Norris	mymemory: implement snapshot_*() allocations on model...	commit \| commitdiff \| tree \| snapshot
2012-10-08	Brian Norris	mymemory: add basic model_snapshot_space	commit \| commitdiff \| tree \| snapshot
2012-10-08	Brian Norris	rename again (snapshot_space -> user_snapshot_space)	commit \| commitdiff \| tree \| snapshot
2012-10-08	Brian Norris	mymemory: kill system_malloc()	commit \| commitdiff \| tree \| snapshot
2012-10-08	Brian Norris	snapshot: use snapshot_space only in mprotect-based	commit \| commitdiff \| tree \| snapshot
2012-10-08	Brian Norris	snapshot: don't need any snapshotting space for fork...	commit \| commitdiff \| tree \| snapshot
2012-10-08	Brian Norris	rename 'mySpace' to 'snapshot_space'	commit \| commitdiff \| tree \| snapshot
2012-10-08	Brian Norris	mymemory: make DontFree() static	commit \| commitdiff \| tree \| snapshot
2012-10-08	Brian Norris	mymemory: reformat spacing	commit \| commitdiff \| tree \| snapshot
2012-10-08	Brian Norris	mymemory: kill system_free()	commit \| commitdiff \| tree \| snapshot
2012-10-08	Brian Norris	snapshot: remove global 'basemySpace'	commit \| commitdiff \| tree \| snapshot
2012-10-08	Brian Norris	test: linuxrwlocks: fixup spacing	commit \| commitdiff \| tree \| snapshot
2012-10-08	Brian Norris	model: remove todo	commit \| commitdiff \| tree \| snapshot
2012-10-08	Brian Demsky	merge massive speedup with release sequence support...	commit \| commitdiff \| tree \| snapshot
2012-10-08	Brian Demsky	add support for sleep sets...	commit \| commitdiff \| tree \| snapshot
2012-10-08	Brian Norris	test: add "double release sequence" test	commit \| commitdiff \| tree \| snapshot
2012-10-08	Brian Norris	Merge branch 'norris'	commit \| commitdiff \| tree \| snapshot
2012-10-08	Brian Norris	model: add todo synchronization comment	commit \| commitdiff \| tree \| snapshot
2012-10-08	Brian Norris	model: be sure trace is "final feasible" before continu...	commit \| commitdiff \| tree \| snapshot
2012-10-08	Brian Norris	tests: add some normal loads/stores to test data races	commit \| commitdiff \| tree \| snapshot
2012-10-08	Brian Norris	model: check data races during release sequence fixup	commit \| commitdiff \| tree \| snapshot
2012-10-08	Brian Norris	model: add release sequence model_thread ASSERT()	commit \| commitdiff \| tree \| snapshot
2012-10-08	Brian Norris	model: launch release sequence fixup actions when necessary	commit \| commitdiff \| tree \| snapshot
2012-10-08	Brian Norris	model: add special model-checker Thread to ModelChecker	commit \| commitdiff \| tree \| snapshot
2012-10-08	Brian Norris	schedule: do not allow model-checker thread to enter...	commit \| commitdiff \| tree \| snapshot
2012-10-08	Brian Norris	threads: add constructor for model-checker thread	commit \| commitdiff \| tree \| snapshot
2012-10-08	Brian Norris	threads: add flag for a special type of "model-checker...	commit \| commitdiff \| tree \| snapshot
2012-10-08	Brian Norris	action: add Thread parameter to constructor	commit \| commitdiff \| tree \| snapshot
2012-10-08	Brian Norris	model: add process_relseq_fixup()	commit \| commitdiff \| tree \| snapshot
2012-10-07	Brian Norris	common: improve backtrace function	commit \| commitdiff \| tree \| snapshot
2012-10-07	Brian Norris	add stacktrace header, under WTFPL	commit \| commitdiff \| tree \| snapshot
2012-10-07	Brian Norris	model: wire up rest of release seq. resolution backtracking	commit \| commitdiff \| tree \| snapshot
2012-10-07	Brian Norris	nodestack: add release sequence breakage backtracking	commit \| commitdiff \| tree \| snapshot
2012-10-07	Brian Norris	action: add MODEL_FIXUP_RELSEQ action_type	commit \| commitdiff \| tree \| snapshot
2012-10-07	Brian Norris	model: disabled threads are "future ordered"	commit \| commitdiff \| tree \| snapshot
2012-10-07	Brian Norris	model: use proper size_t printf format	commit \| commitdiff \| tree \| snapshot
2012-10-07	Brian Norris	schedule: add is_enabled() function	commit \| commitdiff \| tree \| snapshot
2012-10-06	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree \| snapshot
2012-10-06	Brian Demsky	create enumeration for enabled information...switch...	commit \| commitdiff \| tree \| snapshot
2012-10-06	Brian Norris	cyclegraph: fix indentation	commit \| commitdiff \| tree \| snapshot
2012-10-06	Brian Norris	cyclegraph: flag cycles for reflexive edges	commit \| commitdiff \| tree \| snapshot
2012-10-05	Brian Demsky	1) more comments	commit \| commitdiff \| tree \| snapshot
2012-10-05	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree \| snapshot
2012-10-05	Brian Demsky	changes	commit \| commitdiff \| tree \| snapshot
2012-10-04	Brian Norris	nodestack: destroy Nodes properly in ~NodeStack()	commit \| commitdiff \| tree \| snapshot
2012-10-04	Brian Norris	nodestack: use initializer list	commit \| commitdiff \| tree \| snapshot
2012-10-04	Brian Norris	model: remove unnecessary boolean variable	commit \| commitdiff \| tree \| snapshot
2012-10-04	Brian Norris	model: assign "pending" return values in release_seq_he...	commit \| commitdiff \| tree \| snapshot
2012-10-04	Brian Norris	model: update pending release sequence list type	commit \| commitdiff \| tree \| snapshot
2012-10-04	Brian Norris	model: add release_seq structure definition	commit \| commitdiff \| tree \| snapshot
2012-10-04	Brian Demsky	fix bug...can't mo_check_promises until we're done...	commit \| commitdiff \| tree \| snapshot
2012-10-04	Brian Demsky	local commit... bug that prunes too many executions	commit \| commitdiff \| tree \| snapshot
2012-10-04	Brian Demsky	Merge branch 'master' of /home/git/model-checker	commit \| commitdiff \| tree \| snapshot
2012-10-04	Brian Demsky	fix low hanging fruit when profiling...	commit \| commitdiff \| tree \| snapshot
2012-10-04	Brian Norris	fixup more id vs. thread_id_t	commit \| commitdiff \| tree \| snapshot
2012-10-04	Brian Norris	action: return synchronization status for ModelAction...	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Norris	action: remove clockvector flag from print() method	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Norris	model: rename release_seq_head() -> release_seq_heads()	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Norris	model: do not assume THREAD_FINISH is always the last...	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Norris	fixup usage of int vs. thread_id_t	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Norris	model: add const qualifier to get_thread()	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Norris	model: rearrange conditionals, fixup take_step()	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Norris	Merge remote-tracking branch 'origin/master'	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Norris	modeltypes: move small typedefs to own header	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Norris	model: don't include schedule.h	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Norris	nodestack: move has_priority() out of header	commit \| commitdiff \| tree \| snapshot
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 Demsky	Merge branch 'master' of /home/git/model-checker	commit \| commitdiff \| tree \| snapshot
2012-10-03	Brian Demsky	a number of fixes to add missing mo_graph edges to...	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
next

This is the public repository for the CDSSpec specification compiler.

RSS Atom