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

2012-05-30	Brian Norris	snapshot: move declarations to the right interface...	blob \| commitdiff \| raw
2012-05-30	Brian Norris	snapshot: rename MyFuncPtr to VoidFuncPtr	blob \| commitdiff \| raw \| diff to current
2012-05-30	Brian Norris	snapshot: rename USE_CHECKPOINTING to USE_MPROTECT_SNAPSHOT	blob \| commitdiff \| raw \| diff to current
2012-05-24	Brian Demsky	wow, this is a nasty bug...	blob \| commitdiff \| raw \| diff to current
2012-05-24	Brian Demsky	factor page alignment into function call...place near...	blob \| commitdiff \| raw \| diff to current
2012-05-21	Brian Norris	Merge commit: branch 'work'	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-09	Subramanian Ganapathy	Adding STL stuff and operator news of snapshot to model...	blob \| commitdiff \| raw \| diff to current

C++11 memory model checker