Skip to content

First Public Release
Compare
Choose a tag to compare
@yrke yrke released this 16 Feb 10:51
· 145 commits to main since this release
v0.0.1
2226fcf
This commit was signed with the committer’s verified signature. The key has expired.
RasmusRendal Rasmus Rendal
GPG key ID: 141FEFA3226E3797
Expired
Learn about vigilant mode.

This is the first initial release of UUtils. This repo contains files shared between UDBM, UCDD & UPPAAL.

Assets 2
Loading