search

boogie-org / corral

solver for the reachability modulo theories problem
MIT License
58 stars 29 forks source link

Update boogie #128

Closed zvonimir closed 4 years ago

zvonimir commented 4 years ago

I updated Boogie to the latest version. It seems that Corral is working fine. I'll do more testing once this gets merged. In the future, I/we should do this more regularly, maybe even with every Boogie release.

zvonimir commented 4 years ago

@akashlal Ping! Sorry for bugging you again, but I am not sure if you are getting review request notifications. Thanks!