Matthias Dangl

I would guess that the definition of __VERIFIER_assume from the competition is a relict of times where termination was of no concern to the participants, and in my opinion, it...

In #37, I update the specification for conformity with the upcoming journal paper. I tried to incorporate the improvements suggested here, so that we can publish them with the paper....