On 2013/08/09 12:46:08, Michael Starzinger wrote:
LGTM.
Update: mstarzinger model checker found a bug when old space allocations of
different old spaces do not occur in alternating order. Adding the filler
map
right before the dominating allocate of the "other" old space should fix
that
problem.
https://codereview.chromium.org/22378003/
--
--
v8-dev mailing list
[email protected]
http://groups.google.com/group/v8-dev
---
You received this message because you are subscribed to the Google Groups "v8-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/groups/opt_out.
