ULS related changes to utap - #68

Open

thorulf4 wants to merge 20 commits into

UPPAALModelChecker:mainfrom

thorulf4:rebased_lsp_changes

Commits on Aug 8, 2023

Added position to function body
thorulf4
committed
ae378fe
Fix issues with member hiding inherited member
thorulf4
committed
986d020
Simplify find_index
thorulf4
committed
a1cb315
Added positions to variables
thorulf4
committed
704cb28
Fit naming to current naming convention
thorulf4
committed
9b26d4b
Readded lost change
thorulf4
committed
5c3090e
Fixed issue with duplicated frames in function bodies
thorulf4
committed
4744098
Added position data to struct members
thorulf4
committed
e17b926
Added position to function uid
thorulf4
committed
287a9fb
Improve uuid position accuracy
thorulf4
committed
c90894d
Made position of function parameter symbol more consistent
thorulf4
committed
5a63b76
Added a getter for instances
thorulf4
committed
2b09033
Changed frame structure to split bloated global declarations
thorulf4
committed
fd574ef
Made parameter declaration positions consistent with variable declarations
thorulf4
committed
50d287f
Remove unused testing code
thorulf4
committed
94fbbe9

Commits on Sep 20, 2023

Commits on Apr 12, 2024