Commit 878fb66f5765115eff34213cfc8dd04b8a56b2a5

Carlos Martín Nieto 2014-02-05T10:19:17

refs: bring conditional symbolic updates to the frontend Bring the race detection goodness to symbolic references as well.