Programming Languages Research Group: Git

2012-07-03	Subramanian Ganapathy	Adding relevant comments for fork based implementation.	commit \| commitdiff \| tree
2012-06-21	Subramanian Ganapathy	Adding relevant comments for fork based implementation.	commit \| commitdiff \| tree
2012-06-21	Subramanian Ganapathy	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree
2012-06-14	Subramanian Ganapathy	(snapshot) removing mbFinalize and usage of finalize	commit \| commitdiff \| tree
2012-06-14	Subramanian Ganapathy	Removing comment asking to fix fork(), has been fixed now	commit \| commitdiff \| tree
2012-06-14	Subramanian Ganapathy	fixing calloc(), fix Makefile	commit \| commitdiff \| tree
2012-05-31	Subramanian Ganapathy	Adding fixes for the fork based implementation, also...	commit \| commitdiff \| tree
2012-05-30	Subramanian Ganapathy	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree
2012-05-24	Subramanian Ganapathy	Revert "fixing the segfault"	commit \| commitdiff \| tree
2012-05-24	Subramanian Ganapathy	fixing the segfault	commit \| commitdiff \| tree
2012-05-15	Subramanian Ganapathy	Defining the interfaces to add various regions to snapshot	commit \| commitdiff \| tree
2012-05-10	Subramanian Ganapathy	Initializing variable which contains global snapshotting...	commit \| commitdiff \| tree
2012-05-10	Subramanian Ganapathy	Adding support to return global segments of the process...	commit \| commitdiff \| tree
2012-05-09	Subramanian Ganapathy	Adding STL stuff and operator news of snapshot to model...	commit \| commitdiff \| tree

C++11 memory model checker

RSS Atom