Skip to content

Navigation Menu

Explore
By company size
By use case
By industry
View all solutions
Topics
- AI
- DevOps
- Security
- Software Development
- View all
Explore
- GitHub Sponsors
  Fund open source developers
- The ReadME Project
  GitHub community articles
Repositories
- Enterprise platform
  AI-powered developer platform
Available add-ons
Pricing

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

UPPAALModelChecker / UUtils Public

Notifications You must be signed in to change notification settings
Fork 3
Star 0

Code
Issues 2
Pull requests
Actions
Projects
Security
Insights

Additional navigation options

Code
Issues
Pull requests
Actions
Projects
Security
Insights

Releases: UPPAALModelChecker/UUtils

Releases · UPPAALModelChecker/UUtils

v2.0.6

13 Oct 16:54

This commit was created on GitHub.com and signed with GitHub’s verified signature.

GPG key ID: B5690EEEBB952194

Learn about vigilant mode.

Compare

Choose a tag to compare

Loading

v2.0.6 Latest

Latest

What's Changed

Added more tests for meta functions and fixed string detection by @mikucionisaau in #28
Upgraded library dependencies by @mikucionisaau in #27
Removed base/rangeset.h by @mikucionisaau in #27

Full Changelog: v2.0.5...v2.0.6

Contributors

mikucionisaau

Assets 2

Loading

All reactions

v2.0.5

14 Sep 11:23

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

Loading

v2.0.5

What's Changed

Fix cmake installation scripts by @mikucionisaau in #19
Simplify cmake by @mikucionisaau in #21
Added cmake aliases for library component exports by @mikucionisaau in #22
Added GH CI build on native windows by @mikucionisaau in #24
Fixed the library sources to official ones instead of our mirrors by @mikucionisaau in #26

Full Changelog: v2.0.0...v2.0.5

Contributors

mikucionisaau

Assets 2

Loading

All reactions

v2.0.4

13 Sep 11:04

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

Loading

v2.0.4

What's Changed

Fix cmake installation scripts by @mikucionisaau in #19
Simplify cmake by @mikucionisaau in #21
Added cmake aliases for library component exports by @mikucionisaau in #22
Added GH CI build on native windows by @mikucionisaau in #24

Full Changelog: v2.0.0...v2.0.4

Contributors

mikucionisaau

Assets 2

Loading

All reactions

v2.0.3

12 Sep 12:36

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

Loading

v2.0.3 Pre-release

Pre-release

What's Changed

Fix cmake installation scripts by @mikucionisaau in #19
Simplify cmake by @mikucionisaau in #21
Added cmake aliases for library component exports by @mikucionisaau in #22

Full Changelog: v2.0.0...v2.0.3

Contributors

mikucionisaau

Assets 2

Loading

All reactions

v2.0.2

11 Sep 10:25

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

Loading

v2.0.2

What's Changed

Fix cmake installation scripts by @mikucionisaau in #19
Simplify cmake by @mikucionisaau in #21

Full Changelog: v2.0.0...v2.0.2

Contributors

mikucionisaau

Assets 2

Loading

All reactions

v2.0.1

11 Sep 08:42

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

Loading

v2.0.1

What's Changed

Fix cmake installation scripts by @mikucionisaau in #19
Version increment to 2.0.1 by @mikucionisaau in #20

Full Changelog: v2.0.0...v2.0.1

Contributors

mikucionisaau

Assets 2

Loading

All reactions

v2.0.0

08 Sep 08:04

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

Loading

v2.0.0

What's Changed

Move io/FileStream.h to base/file_stream.hpp by @mikucionisaau
boundary checks for random functions by @mikucionisaau in #13
Build a flake with proper cross compiling support by @RasmusRendal in #15
Use the packages attribute of the flake by @RasmusRendal in #16
Refactor build system to use cmake to fetch dependencies by @mikucionisaau in #17

Full Changelog: v1.2.0...v2.0.0

Contributors

mikucionisaau and RasmusRendal

Assets 2

Loading

All reactions

v1.2.0

02 May 12:36

RasmusRendal

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.

Compare

Choose a tag to compare

Loading

v1.2.0

What's changed

Add more random functions
Fetch Boost via getlibs
Fetch doctest via getlibs

Assets 2

Loading

mikucionisaau reacted with hooray emoji

All reactions

🎉 1 reaction

1 person reacted

v1.1.1

25 Feb 07:26

RasmusRendal

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

Loading

v1.1.1

What's Changed

Fix incorrect path in cmake install target
Add a unit test for the sequencefilter
Improve the way xxHash is acquired

Assets 2

Loading

All reactions

First Public Release

16 Feb 10:51

yrke

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.

Compare

Choose a tag to compare

Loading

First Public Release

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

Assets 2

Loading

All reactions

Footer

© 2025 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.