A posteriori estimator for the adaptive solution of a quasi-static fracture phase-field model with irreversibility constraints.