New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

add Nele's topological sort to examples directory #1130

Merged

ArmborstL merged 1 commit into dev from top-sort-example

Jan 17, 2024

Contributor

ArmborstL commented Jan 16, 2024

Before merging this PR, please check the following:

N/A: I made sure the wiki is updated in accordance with the changes in this PR. For example, syntax changes, semantics changes, VerCors flags changes, etc.

PR description

adding Nele's work on verifying Kahn's topological sort to examples directory and test suite


          add Nele's topological sort to examples directory

18ef5f3

ArmborstL merged commit 25dd8d9 into dev

8 of 14 checks passed

ArmborstL deleted the top-sort-example branch

January 17, 2024 13:22

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment