Release v1.2.1: Supporting pruning and merging with the new branch types (#5) · google-research/python-graphs · GitHub

v1.2.1
6bdce0d
Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode
Compare

Choose a tag to compare

View all tags

v1.2.1: Supporting pruning and merging with the new branch types (#5)

v1.2.1
6bdce0d
Compare

Choose a tag to compare

View all tags
Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode

dbieber tagged this 05 Oct 20:02

Updated pruning and merging logic to preserve correctness in control flow graphs containing except_branches and reraise_branches.

Assets 2

Source code (zip)

2021-10-05T20:02:12Z
Source code (tar.gz)

2021-10-05T20:02:12Z