Programming Languages Research Group: Git

2013-07-16	Brian Norris	test: addr-satcycle: add new address-based sat. cycle...	commit \| commitdiff \| tree
2013-07-10	Brian Norris	run.sh: don't silently ignore a non-executable file...	commit \| commitdiff \| tree
2013-07-10	Brian Norris	test: mo-satcycle: add new MO satisfaction cycle example	commit \| commitdiff \| tree
2013-07-10	Brian Norris	test: uninit: typo	commit \| commitdiff \| tree
2013-06-06	Brian Norris	execution: remove redundant condition, reword doc for...	commit \| commitdiff \| tree
2013-06-06	Brian Norris	execution: document additional mo_may_allow() optimization	commit \| commitdiff \| tree
2013-06-06	Brian Norris	execution: document promises list; it is assumed to...	commit \| commitdiff \| tree
2013-06-05	Brian Norris	model: remove redundant code (is_enabled)	commit \| commitdiff \| tree
2013-06-05	Brian Norris	docs: improve Doxygen documentation	commit \| commitdiff \| tree
2013-06-05	Brian Norris	README: use markdown format for direct URL link	commit \| commitdiff \| tree
2013-06-04	Brian Norris	README: more formatting, correct statement about bench.sh	commit \| commitdiff \| tree
2013-06-04	Brian Norris	README: a few more formatting issues	commit \| commitdiff \| tree
2013-06-04	Brian Norris	Merge branch 'markdown'	commit \| commitdiff \| tree
2013-06-04	Brian Norris	README: add more `code` formatting	commit \| commitdiff \| tree
2013-06-02	Brian Norris	.gitignore: fixup VIM swapfile ignore	commit \| commitdiff \| tree
2013-06-02	Brian Norris	README: convert to Markdown format	commit \| commitdiff \| tree
2013-06-02	Brian Norris	Markdown: add Markdown tool	commit \| commitdiff \| tree
2013-06-01	Brian Norris	README: add bit on MODEL_ASSERT() macro	commit \| commitdiff \| tree
2013-06-01	Brian Norris	README: extra "from"	commit \| commitdiff \| tree
2013-06-01	Brian Norris	README: updated help text	commit \| commitdiff \| tree
2013-06-01	Brian Norris	model: cosmetic output improvements	commit \| commitdiff \| tree
2013-05-31	Brian Norris	params: add multi-level verbosity	commit \| commitdiff \| tree
2013-05-31	Brian Norris	README: add LICENSE note	commit \| commitdiff \| tree
2013-05-31	Brian Norris	README: improve sections, provide better intro	commit \| commitdiff \| tree
2013-05-29	Brian Norris	Merge remote-tracking branch 'origin/master'	commit \| commitdiff \| tree
2013-05-29	Brian Norris	README: add a few sections	commit \| commitdiff \| tree
2013-05-29	Brian Norris	execution: reformat execution traces	commit \| commitdiff \| tree
2013-05-29	Brian Norris	README: update help text	commit \| commitdiff \| tree
2013-05-29	Brian Norris	main: 'plug ins' -> 'plugins'	commit \| commitdiff \| tree
2013-05-29	Brian Norris	tests: Makefile: add dependency information	commit \| commitdiff \| tree
2013-05-29	Brian Norris	Makefile: remove more deferred variables	commit \| commitdiff \| tree
2013-05-29	Brian Norris	tests: Makefile: eliminate (some) recursive make	commit \| commitdiff \| tree
2013-05-08	Brian Norris	execution: bugfix - resolved promises should propagate...	commit \| commitdiff \| tree
2013-05-08	Brian Norris	execution: refactor common CV propagation into its...	commit \| commitdiff \| tree
2013-05-03	Brian Norris	Merge demsky's SC analysis fixup	commit \| commitdiff \| tree
2013-05-03	Brian Demsky	scanalysis: don't rely on greedy search	commit \| commitdiff \| tree
2013-04-26	Brian Norris	scanalysis: fixup spacing	commit \| commitdiff \| tree
2013-04-26	Brian Norris	test: sctest: fix warnings	commit \| commitdiff \| tree
2013-04-24	Brian Norris	action: improve "unintialized load" bug print	commit \| commitdiff \| tree
2013-04-24	Brian Norris	action: add get_{type,mo}_str() accessors	commit \| commitdiff \| tree
2013-04-23	Brian Norris	Merge remote-tracking branch 'private/master'	commit \| commitdiff \| tree
2013-04-23	Brian Norris	README: update text	commit \| commitdiff \| tree
2013-04-19	Brian Norris	snapshot-interface: bugfix - terminate string from...	commit \| commitdiff \| tree
2013-04-19	Brian Norris	snapshot: debugging - show the snapshot regions that...	commit \| commitdiff \| tree
2013-04-19	Brian Norris	snapshot-interface: don't snapshot libmodel.so	commit \| commitdiff \| tree
2013-04-19	Brian Norris	snapshot: use perror()	commit \| commitdiff \| tree
2013-04-19	Brian Norris	main: support long options, improve help message	commit \| commitdiff \| tree
2013-04-19	Brian Norris	execution: improve documentation	commit \| commitdiff \| tree
2013-04-19	Brian Norris	execution: improve yield-blocking structure	commit \| commitdiff \| tree
2013-04-19	Brian Norris	TMP: improve debugging, remove print_trace()	commit \| commitdiff \| tree
2013-04-18	Brian Norris	datarace: bugfix - use proper multiple-inclusion guard	commit \| commitdiff \| tree
2013-04-18	Brian Norris	stacktrace: remove usage of FILE in stacktrace	commit \| commitdiff \| tree
2013-04-17	Brian Norris	datarace: bugfix - don't implicitly allocate global...	commit \| commitdiff \| tree
2013-04-17	Brian Norris	datarace: don't export unrealized race vector	commit \| commitdiff \| tree
2013-04-17	Brian Norris	execution: bugfix - no action "conflicts" with itself	commit \| commitdiff \| tree
2013-04-17	Brian Norris	execution: bugfix - backtrack seq-cst fences properly	commit \| commitdiff \| tree
2013-04-17	Brian Norris	execution: correct comment on check_current_action()	commit \| commitdiff \| tree
2013-04-16	Brian Norris	nodestack: localize the model-checker parameters	commit \| commitdiff \| tree
2013-04-16	Brian Norris	model: privatize ModelChecker::get_num_threads()	commit \| commitdiff \| tree
2013-04-16	Brian Norris	nodestack: register ModelExecution class w/in NodeStack	commit \| commitdiff \| tree
2013-04-16	Brian Norris	promise: add max_available_thread_idx() interface	commit \| commitdiff \| tree
2013-04-16	Brian Norris	clockvector: don't use global get_num_threads()	commit \| commitdiff \| tree
2013-04-16	Brian Norris	model: remove leftover junk	commit \| commitdiff \| tree
2013-04-16	Brian Norris	execution: embed obj_map directly in class	commit \| commitdiff \| tree
2013-04-16	Brian Norris	hashtable: update documentation	commit \| commitdiff \| tree
2013-04-16	Brian Norris	hashtable: enforce, document non-zero keys	commit \| commitdiff \| tree
2013-04-16	Brian Norris	execution: convert HashTable to SnapVector	commit \| commitdiff \| tree
2013-04-16	Brian Norris	action: bugfix - use non-zero fence "location"	commit \| commitdiff \| tree
2013-04-16	Brian Norris	execution: embed action_list as full member	commit \| commitdiff \| tree
2013-04-16	Brian Norris	execution: add const	commit \| commitdiff \| tree
2013-04-16	Brian Norris	execution: embed more data structures directly in class	commit \| commitdiff \| tree
2013-04-16	Brian Norris	execution: embed snapshotted data structures in class	commit \| commitdiff \| tree
2013-04-16	Brian Norris	execution: make structure snapshotting	commit \| commitdiff \| tree
2013-04-16	Brian Norris	execution: move execution number back to ModelChecker...	commit \| commitdiff \| tree
2013-04-16	Brian Norris	clean out includes, etc.	commit \| commitdiff \| tree
2013-04-16	Brian Norris	model: embed the trace_analyses in the class	commit \| commitdiff \| tree
2013-04-16	Brian Norris	action: add <stdlib>	commit \| commitdiff \| tree
2013-04-16	Brian Norris	scanalysis: allocate structures as true members of...	commit \| commitdiff \| tree
2013-04-16	Brian Norris	scanalysis: fixup spacing	commit \| commitdiff \| tree
2013-04-16	Brian Norris	Merge cleanup branch	commit \| commitdiff \| tree
2013-04-16	Brian Norris	schedule: drop the ModelChecker::check_promises_thread_disab...	commit \| commitdiff \| tree
2013-04-16	Brian Norris	model / threads: remove global get_next_id() interface	commit \| commitdiff \| tree
2013-04-16	Brian Norris	promise: get reference to ModelExecution	commit \| commitdiff \| tree
2013-04-16	Brian Norris	scanalysis: use ModelExecution interfaces	commit \| commitdiff \| tree
2013-04-16	Brian Norris	scanalysis: install ModelExecution object in the analysis	commit \| commitdiff \| tree
2013-04-16	Brian Norris	execution: add 'const'	commit \| commitdiff \| tree
2013-04-16	Brian Norris	model: cleanup a few more interfaces	commit \| commitdiff \| tree
2013-04-16	Brian Norris	model: add get_execution() interface	commit \| commitdiff \| tree
2013-04-16	Brian Norris	BROKEN: restructure much of ModelChecker as ModelExecution...	commit \| commitdiff \| tree
2013-04-16	Brian Norris	datarace: simplify raceCheck{Read,Write}() function...	commit \| commitdiff \| tree
2013-04-16	Brian Norris	datarace: make globals static	commit \| commitdiff \| tree
2013-04-16	Brian Norris	model: drop public get_current_node() interface	commit \| commitdiff \| tree
2013-04-16	Brian Norris	model: remove public check_promises() interface	commit \| commitdiff \| tree
2013-04-16	Brian Norris	model: add synchronize() function	commit \| commitdiff \| tree
2013-04-16	Brian Norris	common: drop model_print_summary()	commit \| commitdiff \| tree
2013-04-16	Brian Norris	promise: add Promise::get_index function	commit \| commitdiff \| tree
2013-04-16	Brian Norris	action: we don't need special cases for lock/join anymore	commit \| commitdiff \| tree
2013-04-16	Brian Norris	move license to LICENSE file	commit \| commitdiff \| tree
2013-04-16	Brian Norris	Merge cleanup code from Brian N.	commit \| commitdiff \| tree
2013-04-16	Brian Norris	traceanalysis: rename to remove '_'	commit \| commitdiff \| tree
next

C++11 memory model checker

RSS Atom