• Etienne Renault's avatar
    bloemen: PPOPP'16 is buggy · f40e6efc
    Etienne Renault authored
    In PPOPP'16, the algorithm does not unlock
    roots. This could lead to deadlock between
    threads.
    
    * spot/mc/bloemen.hh: here.
    f40e6efc
bloemen.hh 14.3 KB