ULS related changes to utap#68

Open

thorulf4 wants to merge 20 commits intoUPPAALModelChecker:mainfrom

thorulf4:rebased_lsp_changes

Commits on Aug 8, 2023

Commits on Sep 20, 2023

Updated libxml2 to 2.11.5 and changed source to github mirror as the official gitlab is down
mikucionisaau
committed
Added DOWNLOAD_EXTRACT_TIMESTAMP option to reduce warning noise
mikucionisaau
committed

Commits on Apr 12, 2024

Changed the linenumber type to unsigned int for consistency
mikucionisaau
committed
Merge branch 'main' into rebased_lsp_changes
mikucionisaau
committed
Improved document error reporting in unit tests (still messed up: cannot find identifiers)
mikucionisaau
committed