Release v2.0.12 · UPPAALModelChecker/UDBM

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

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