Programming Languages Research Group: Git - model-checker.git/history

2013-05-29	Brian Norris	Merge remote-tracking branch 'origin/master'	blob \| commitdiff \| raw
2013-05-29	Brian Norris	main: 'plug ins' -> 'plugins'	blob \| commitdiff \| raw
2013-05-06	Brian Demsky	typos	blob \| commitdiff \| raw \| diff to current
2013-05-06	Brian Demsky	cleanup plugin interface a little more.	blob \| commitdiff \| raw \| diff to current
2013-05-06	Brian Demsky	add support for analysis with options	blob \| commitdiff \| raw \| diff to current
2013-05-06	Brian Demsky	add traceanalysis support	blob \| commitdiff \| raw \| diff to current
2013-04-19	Brian Norris	main: support long options, improve help message	blob \| commitdiff \| raw \| diff to current
2013-04-18	Brian Demsky	Add yield block support. The idea is to not generate...	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	Merge cleanup branch	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	scanalysis: install ModelExecution object in the analysis	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	Merge cleanup code from Brian N.	blob \| commitdiff \| raw \| diff to current
2013-04-15	Brian Norris	params: move model_params to header file	blob \| commitdiff \| raw \| diff to current
2013-04-13	Brian Demsky	towards supporting scanalysis...	blob \| commitdiff \| raw \| diff to current
2013-04-13	Brian Demsky	add some support for traceanalysis plugins	blob \| commitdiff \| raw \| diff to current
2013-03-22	Brian Norris	main: adjust defaults again	blob \| commitdiff \| raw \| diff to current
2013-03-22	Brian Norris	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2013-03-22	Brian Norris	main: change default 'future delay' for promise expiration	blob \| commitdiff \| raw \| diff to current
2013-03-19	Brian Demsky	add our names	blob \| commitdiff \| raw \| diff to current
2013-03-19	Brian Demsky	add copyright message	blob \| commitdiff \| raw \| diff to current
2013-03-07	Brian Demsky	add new option for uninitialized writes...	blob \| commitdiff \| raw \| diff to current
2013-03-06	Brian Demsky	documentation update	blob \| commitdiff \| raw \| diff to current
2013-03-06	Brian Norris	Merge remote 'yield' work	blob \| commitdiff \| raw \| diff to current
2013-03-06	Brian Demsky	add yield support	blob \| commitdiff \| raw \| diff to current
2013-03-04	Brian Norris	refactor DBG_ENABLED() vs. verbose	blob \| commitdiff \| raw \| diff to current
2013-01-03	Brian Norris	snapshot: more renaming	blob \| commitdiff \| raw \| diff to current
2013-01-03	Brian Norris	snapshot: turn C++ interface into C interface	blob \| commitdiff \| raw \| diff to current
2013-01-03	Brian Norris	fixup style	blob \| commitdiff \| raw \| diff to current
2012-11-20	Brian Norris	main: remove #include's	blob \| commitdiff \| raw \| diff to current
2012-11-20	Brian Norris	main: remove "pass-by-reference" editing in parse_options()	blob \| commitdiff \| raw \| diff to current
2012-11-20	Brian Norris	main/model: move full user-program execution to ModelCh...	blob \| commitdiff \| raw \| diff to current
2012-11-20	Brian Norris	model/main: add argc/argv parameter	blob \| commitdiff \| raw \| diff to current
2012-11-17	Brian Norris	model/main: disable most printing by default, add verbosity	blob \| commitdiff \| raw \| diff to current
2012-11-17	Brian Norris	output redirection	blob \| commitdiff \| raw \| diff to current
2012-11-17	Brian Norris	print stats only at end of execution	blob \| commitdiff \| raw \| diff to current
2012-11-16	Brian Norris	printf -> model_print	blob \| commitdiff \| raw \| diff to current
2012-11-15	Brian Demsky	Merge branch 'master' of /home/git/model-checker	blob \| commitdiff \| raw \| diff to current
2012-11-14	Brian Norris	main: change default future value sloppiness	blob \| commitdiff \| raw \| diff to current
2012-11-14	Brian Norris	main/model: add future value expiration sloppiness...	blob \| commitdiff \| raw \| diff to current
2012-11-14	Brian Norris	main: add maxfuturevalues parameter (-M)	blob \| commitdiff \| raw \| diff to current
2012-11-14	Brian Norris	main: fixup parameter parsing for user program	blob \| commitdiff \| raw \| diff to current
2012-11-07	Brian Norris	main: change default future value sloppiness	blob \| commitdiff \| raw \| diff to current
2012-11-07	Brian Norris	main/model: add future value expiration sloppiness...	blob \| commitdiff \| raw \| diff to current
2012-11-04	Brian Norris	main: add maxfuturevalues parameter (-M)	blob \| commitdiff \| raw \| diff to current
2012-11-04	Brian Norris	Merge branch 'master' into pldi13	blob \| commitdiff \| raw \| diff to current
2012-11-04	Brian Norris	main: always ensure defaults when printing	blob \| commitdiff \| raw \| diff to current
2012-11-03	Brian Norris	Merge remote-tracking branch 'origin/master' into pldi13	blob \| commitdiff \| raw \| diff to current
2012-11-03	Brian Norris	Merge remote-tracking branch 'origin/master' into pldi13	blob \| commitdiff \| raw \| diff to current
2012-11-03	Brian Norris	Merge remote-tracking branch 'origin/master' into pldi13	blob \| commitdiff \| raw \| diff to current
2012-11-02	Brian Norris	main: fixup parameter parsing for user program	blob \| commitdiff \| raw \| diff to current
2012-10-10	Brian Norris	Merge remote-tracking branch 'origin/master'	blob \| commitdiff \| raw \| diff to current
2012-10-10	Brian Demsky	fix some of the bugs related to barrier example...	blob \| commitdiff \| raw \| diff to current
2012-10-09	Brian Norris	move libthreads.h -> include/threads.h	blob \| commitdiff \| raw \| diff to current
2012-10-09	Brian Norris	rename threads.h -> threads-model.h	blob \| commitdiff \| raw \| diff to current
2012-10-09	Brian Norris	user_main: pass remaining arguments to the user program	blob \| commitdiff \| raw \| diff to current
2012-10-09	Brian Norris	main: rename 'real_main()' to 'model_main()'	blob \| commitdiff \| raw \| diff to current
2012-10-03	Brian Demsky	Merge branch 'master' of /home/git/model-checker	blob \| commitdiff \| raw \| diff to current
2012-10-03	Brian Norris	snapshot: rename 'SnapShot' -> 'Snapshot'	blob \| commitdiff \| raw \| diff to current
2012-10-03	Brian Demsky	mspace_malloc will call into mmap if it runs out of...	blob \| commitdiff \| raw \| diff to current
2012-09-25	Brian Norris	Merge branch 'norris'	blob \| commitdiff \| raw \| diff to current
2012-09-24	Brian Demsky	fairness changes...	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Norris	main: wrap help message	blob \| commitdiff \| raw \| diff to current
2012-09-12	Brian Demsky	deal with looping due to bogus future value via promise...	blob \| commitdiff \| raw \| diff to current
2012-09-12	Brian Norris	Merge branch 'demsky'	blob \| commitdiff \| raw \| diff to current
2012-09-11	Brian Norris	main: add "maxreads" parameter	blob \| commitdiff \| raw \| diff to current
2012-09-08	Brian Norris	main: add parameter parsing	blob \| commitdiff \| raw \| diff to current
2012-08-16	Brian Norris	Merge branch 'norris'	blob \| commitdiff \| raw \| diff to current
2012-08-16	Brian Norris	main, model: don't 'initialize' system_context	blob \| commitdiff \| raw \| diff to current
2012-08-16	Brian Norris	main, model: move main execution loop into ModelChecker...	blob \| commitdiff \| raw \| diff to current
2012-08-11	Brian Norris	add basic parameter handling	blob \| commitdiff \| raw \| diff to current
2012-08-08	Brian Norris	main, threads: improve comments regarding thread stepping	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Demsky	trying to get fork based snapshotting to work	blob \| commitdiff \| raw \| diff to current
2012-07-31	Brian Demsky	model: add support for modification orders	blob \| commitdiff \| raw \| diff to current
2012-07-12	Brian Norris	reformat some doxygen comments, remove newlines	blob \| commitdiff \| raw \| diff to current
2012-07-12	Brian Norris	Merge branch 'master' into brian	blob \| commitdiff \| raw \| diff to current
2012-07-11	Brian Norris	main: make function static	blob \| commitdiff \| raw \| diff to current
2012-07-11	Brian Norris	remove EOL spaces, fix indentation	blob \| commitdiff \| raw \| diff to current
2012-07-10	Brian Demsky	fix bug	blob \| commitdiff \| raw \| diff to current
2012-06-21	Subramanian Ganapathy	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2012-06-21	Brian Norris	Merge branch 'sandbox' (remove finalize())	blob \| commitdiff \| raw \| diff to current
2012-06-14	Subramanian Ganapathy	(snapshot) removing mbFinalize and usage of finalize	blob \| commitdiff \| raw \| diff to current
2012-06-06	Brian Demsky	more comments	blob \| commitdiff \| raw \| diff to current
2012-05-31	Subramanian Ganapathy	Adding fixes for the fork based implementation, also...	blob \| commitdiff \| raw \| diff to current
2012-05-30	Subramanian Ganapathy	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2012-05-30	Brian Norris	snapshot: move declarations to the right interface...	blob \| commitdiff \| raw \| diff to current
2012-05-26	Brian Norris	rename snapshotStack -> SnapshotStack	blob \| commitdiff \| raw \| diff to current
2012-05-26	Brian Norris	main: take/revert snapshots	blob \| commitdiff \| raw \| diff to current
2012-05-21	Brian Norris	fixup EOL whitespace	blob \| commitdiff \| raw \| diff to current
2012-05-21	Brian Norris	Merge commit: branch 'work'	blob \| commitdiff \| raw \| diff to current
2012-05-21	Brian Norris	main: clear out redundant comments	blob \| commitdiff \| raw \| diff to current
2012-05-21	Brian Demsky	remove lines from other files	blob \| commitdiff \| raw \| diff to current
2012-05-21	Brian Demsky	fix various problems with my 64-bit clean hack	blob \| commitdiff \| raw \| diff to current
2012-05-21	Brian Demsky	switch back to norris style spacing in changed files	blob \| commitdiff \| raw \| diff to current
2012-05-21	Brian Norris	main: what are these variables for? (subramanian...)	blob \| commitdiff \| raw \| diff to current
2012-05-19	Brian Demsky	my changes	blob \| commitdiff \| raw \| diff to current
2012-05-19	Brian Demsky	let us set the size of the heap in a sane way	blob \| commitdiff \| raw \| diff to current
2012-05-19	Brian Demsky	setup main wrapper and then call into norris code	blob \| commitdiff \| raw \| diff to current
2012-05-18	Brian Demsky	merging stuff...made need to clean up some stuff.....	blob \| commitdiff \| raw \| diff to current
2012-05-15	Subramanian Ganapathy	Defining the interfaces to add various regions to snapshot	blob \| commitdiff \| raw \| diff to current
2012-05-08	Brian Norris	main/threads: remove excess headers	blob \| commitdiff \| raw \| diff to current
2012-05-08	Brian Norris	main: split main() (and related functions) into main.cc	blob \| commitdiff \| raw \| diff to current

C++11 memory model checker

RSS Atom