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

2013-05-08	Brian Norris	execution: bugfix - resolved promises should propagate...	blob \| commitdiff \| raw
2013-05-08	Brian Norris	execution: refactor common CV propagation into its...	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-17	Brian Demsky	Bug: ModelExecution had bogus model_params reference.	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	nodestack: localize the model-checker parameters	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	execution: embed obj_map directly in class	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	execution: convert HashTable to SnapVector	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	execution: embed action_list as full member	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	execution: embed more data structures directly in class	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	execution: embed snapshotted data structures in class	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	execution: make structure snapshotting	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	execution: move execution number back to ModelChecker...	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	clean out includes, etc.	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	execution: add 'const'	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	BROKEN: restructure much of ModelChecker as ModelExecut...	blob \| commitdiff \| raw \| diff to current

C++11 memory model checker

RSS Atom