Skip to content
This repository has been archived by the owner on May 2, 2023. It is now read-only.

Releases: murexrobotics/murex-2023

Final Release

01 May 03:55
@L0ad1n6 L0ad1n6
v1.0.1
b78a6f8
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
Final Release Latest
Latest

Cleaned and more thoroughly documented repository to highlight important parts of the MUREX codebase.

Assets 2
Loading

Initial Release

01 May 03:51
@L0ad1n6 L0ad1n6
v1.0.0
9ec9463
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
Initial Release

Codebase used for the 2023 MATE competition.

Assets 2
Loading