Model `Arrays.copyOf` for non-functional arrays for soundness#191

Merged

jjppp merged 8 commits into

pascal-lab:masterfrom

auroraberry:fix-arrays-copy-of-model

Sep 12, 2025

Commits on Aug 13, 2025

Improve Arrays.copyOf handling and add corresponding testcase
auroraberry
committed

Commits on Aug 14, 2025

Commits on Sep 3, 2025

Address review comments
auroraberry
committed

Commits on Sep 5, 2025

Refactor
jjppp
committed

Commits on Sep 10, 2025

Ignore `Arrays.copyOf()` for PTA Solver to address precision degradation
jjppp
committed
Modified the test file to use PTAAssert instead of expected-file
auroraberry
committed
Merge branch 'fix-arrays-copy-of-model' of https://github.com/auroraberry/Tai-e into fix-arrays-copy-of-model
auroraberry
committed