Skip to content

Releases: coq-community/tarjan

Tarjan and Kosaraju 1.0.2

06 Aug 13:36
@palmskog palmskog
1.0.2
2a45b55
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
Tarjan and Kosaraju 1.0.2 Latest
Latest

Maintenance release of the Coq/MathComp formalization of Tarjan and Kosaraju Strongly Connected Components algorithms. Compatible with Coq 8.16 to 8.18 and MathComp ssreflect 2.0.0.

Assets 2

Tarjan and Kosaraju 1.0.1

19 Jun 13:59
@palmskog palmskog
1.0.1
107e09d
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
Tarjan and Kosaraju 1.0.1

Maintenance release of the Coq/MathComp formalization of Tarjan and Kosaraju Strongly Connected Components algorithms. Compatible with Coq 8.12 to 8.17 and MathComp ssreflect 1.12 to 1.17.

Assets 2

Tarjan and Kosaraju 1.0.0

28 Oct 23:21
@CohenCyril CohenCyril
1.0.0
629541d
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
Tarjan and Kosaraju 1.0.0

Initial release of the Coq/mathcomp formalization of Tarjan and Kosaraju Strongly Connected Components algorithms.
Compiles with Compatible Coq 8.10 to 8.14 and MathComp ssreflect 1.12 or 1.13.

Assets 2