It looks as though they will honor that and release him, according to multiple reports:
The cowboys are releasing ware , per source— Clarence Hill (@clarencehilljr) March 11, 2014
And now, DeMarcus Ware has been released by the #Cowboys.— Ian Rapoport (@RapSheet) March 11, 2014
Ware had been rumored to be on the chopping block this offseason, and he appears unwilling to take a paycut. the Cowboys would create $7.432 million in immediate cap space by cutting Ware now, but also $8.571 million in 2014 dead money. That number would fall to $3.25 million if Ware was designated as a post-June 1 cut.
Despite a down year in 2013, Ware would immediately be one of the most sought-after defenders on the open market now that Michael Johnson and Michael Bennett have new deals.
Ware had a career-low six sacks and missed three games because of injury for the first time in his career last season. He also finished with a carer-low 40 tackles.