Add shrink expand dbm#3

Open

frederikja163 wants to merge 6 commits intoEcdar:mainfrom

ECDAR-AAU-SW-P5:add-shrink-expand-dbm

frederikja163 commented Nov 30, 2023

Added dbm_shrinkExpand from the UDBM library along with 2 auxilary functions.
compute_tables https://github.com/UPPAALModelChecker/UDBM/blob/main/src/dbm.c#L1713
update_dbm https://github.com/UPPAALModelChecker/UDBM/blob/main/src/dbm.c#L1767
shrink_expand https://github.com/UPPAALModelChecker/UDBM/blob/main/src/dbm.c#L1830

frederikja163 added 6 commits

November 22, 2023 10:43


          Add compute tables function from UDBM

42c4d8e


          Add update_dbm and shrink_expand from UDBM

212a83c


          Working shrink expand methods

1144a83


          Create assert statements in the unit tests

e4a06a5


          Add comments

a7c6cc5


          Use *val instead of copying value

ef394a0

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet