An implementation of the IFRit data-race detection algorithm