Skip to content

Boogie

Compare
Choose a tag to compare
@github-actions github-actions released this 07 Mar 22:27
· 103 commits to master since this release
v3.1.2
11660fd
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode. 
Reset predecessors before focusing (#856)

There are two calls to `FocusAndSplit` in Boogie. Before one, there was
already a call to `ResetPredecessors`, but not before the other. Now
they both work on an implementation where the `Predecessors` attributes
has been reset.

---------

Co-authored-by: Remy Willems <[email protected]>
Assets 15
Loading