projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c9aa5d5) | patch
fixing calloc(), fix Makefile
authorSubramanian Ganapathy <sganapat@uci.edu>
Wed, 13 Jun 2012 19:58:54 +0000 (12:58 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 14 Jun 2012 03:30:04 +0000 (20:30 -0700)
commitc22fe323b21a945acb2eb07b01fd31a9402231a5
tree5f605eeaddbfe0b32bb3c90d921fbd7eadfeb1f2tree | snapshot
parentc9aa5d5129131b926d7589d831f4bb6f31393e0acommit | diff
fixing calloc(), fix Makefile

Adding sbrk() calls and hooked into free also to avoid freeing sbrked memory...
checked both fork and paged implementation. seems to work Also everytime we
switch between fork and paged impl, we need to rebuild so adding snapshot.h as
dependency to mymemory.cc in makefile
Makefile diff | blob | history
mymemory.cc diff | blob | history
C++11 memory model checker