Updated Boogie version - Githubissues

boogie-org / corral

solver for the reachability modulo theories problem

MIT License

58 stars 29 forks source link

Closed liammachado closed 5 years ago

liammachado commented 5 years ago

This updates the Boogie version to include a fix for a bug involving floating points. All regressions pass.