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

2012-09-08	Brian Norris	main: add parameter parsing	blob \| commitdiff \| raw
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