Repository navigation

Typecheck fn calls - #79

Merged

mikucionisaau merged 7 commits into

UPPAALModelChecker:mainfrom

mikucionisaau:typecheck-fn-calls

Aug 3, 2026

Merged

Typecheck fn calls#79
mikucionisaau merged 7 commits into
UPPAALModelChecker:mainfrom
mikucionisaau:typecheck-fn-calls

Commits on Oct 1, 2024
- Added tests for typechecking function calls (crashes when arg count is less than param count)
  mikucionisaau
  committed
  af2d4f1
Commits on Feb 14, 2025
- Unfinished work
  mikucionisaau
  committed
  d5bf0ef
Commits on Aug 3, 2026
- Merge branch 'main' into typecheck-fn-calls
  mikucionisaau
  committed
  cf14fb4
- Fix off-by-one in FUN_CALL argument-count check in TypeChecker
  
  mikucionisaau
  and
  claude
  committed
  90c75c0
- Fix checkInitialiser results being discarded for globals and arrays
  
  mikucionisaau
  and
  claude
  committed
  21fdbb7
- Strengthen struct/array initialiser tests to check values, not just errors
  
  mikucionisaau
  and
  claude
  committed
  b34a64d
- Add const overload of Document::get_globals()
  
  mikucionisaau
  and
  claude
  committed
  9fd77d5