v2.0.14

What's Changed

• Fixed cmake public dependencies to fix usage in other libraries by @mikucionisaau in #29

Full Changelog: v2.0.13...v2.0.14

v2.0.13

What's Changed

• Modernized API and test code by @mikucionisaau in #25
• Updated the README.md to reflect the renaming in build options by @mikucionisaau in #26
• Update the libraries by @mikucionisaau in #28
• Update library dependencies by @mikucionisaau in #27

Full Changelog: v2.0.12...v2.0.13

v2.0.12

What's Changed

• Try a matrix for running asan and ubsan by @RasmusRendal in #5
• Add docs to source tree by @RasmusRendal in #9
• Re-enable federation tests by @RasmusRendal in #10
• Fix all instances of variable length arrays by @RasmusRendal in #6
• Fix test_mingraph by @RasmusRendal in #14
• Docs: Add hyperref, fix errors by @RasmusRendal in #16
• Add reference to splitExtrapolation in the docs by @RasmusRendal in #17
• CI on native windows by @RasmusRendal in #7
• fixed ctest execution for Windows by adding wine to cmake emulator setting by @mikucionisaau in #20
• Introduce a pretty printer script for GDB by @RasmusRendal in #18
• fix ruby wrapper compilation by @mikucionisaau in #21
• Delete unmaintained wrappers by @RasmusRendal in #19
• Fix ENABLE_DBM_NEW, and build it in the CI by @mikucionisaau in #11
• Update the flake, add github actions by @RasmusRendal in #23
• Refactor Valuation to use std::vector instead of base::pointer by @mikucionisaau in #24

New Contributors

• @mikucionisaau made their first contribution in #20

Full Changelog: v2.0.11...v2.0.12

v2.0.11

What's Changed

• Increment UUtils version to v1.1.1

UDBM v2.0.10

• Updated UDBM source from UPPAAL Repo.
• Change build system to CMAKE.
• Added github actions script for testing build.
• Updated README.

UDBM v2.0.10-rc.1

• Updated UDBM source from UPPAAL Repo.
• Change build system to CMAKE.
• Added github actions script for testing build.
• Updated README.

v2.0.9

This is the first UDBM release published on https://github.com/UPPAALModelChecker/UDBM, it should have no differences with version 2.0.8.