42ab738 Add incremental evaluability check
Add incremental evaluability check
~ymherklotz pushed to ~ymherklotz/vericert git
f9511b8 Add better implementation of evaluability
Add better implementation of evaluability