Skip to content

UDBM v2.0.10
Compare
Choose a tag to compare
@yrke yrke released this 16 Jul 08:50
· 142 commits to main since this release
v2.0.10
cbb68a4
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.
  • Updated UDBM source from UPPAAL Repo.
  • Change build system to CMAKE.
  • Added github actions script for testing build.
  • Updated README.
Assets 2
Loading