Discontinuing support for some options

Coordinator
Jan 20, 2012 at 1:25 PM

The following options seem to be hardly used at all and thus are considered for removal. Shout, if you are using one of those:

/vo - optimization of the verification conditions

/omitrw - omit generation of read-write checks

/offsetaxioms - control generation of axioms about field-offsets

/checked - use unchecked arithmetic

Stephan