Skip to content

Document changes in the CHANGELOG. Refs #79.

de7b226
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Add smtFloatMode option to VerifierOptions. Refs #79. #81

Document changes in the CHANGELOG. Refs #79.
de7b226
Select commit
Loading
Failed to load commit list.