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

2012-05-21	Brian Norris	Merge commit: branch 'work'	blob \| commitdiff \| raw
2012-05-21	Brian Norris	snapshot: remove references to libmymemory.so	blob \| commitdiff \| raw
2012-05-21	Brian Norris	snapshot: move local defines after #includes	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	switch back to norris style spacing in changed files	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-18	Brian Demsky	merging stuff...made need to clean up some stuff.....	blob \| commitdiff \| raw \| diff to current
2012-05-15	Brian Demsky	fix this 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-10	Subramanian Ganapathy	Adding support to return global segments of the process...	blob \| commitdiff \| raw \| diff to current

C++11 memory model checker