• Show log

    Commit

  • Hash : 878fb66f
    Author : Carlos Martín Nieto
    Date : 2014-02-05T10:19:17

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