Globalmemorymap#193

Merged

sipma merged 19 commits intostatic-analysis-engineering:masterfrom

sipma:globalmemorymap

Feb 4, 2025

Commits on Dec 18, 2024

Commits on Dec 19, 2024

Merge branch 'master' into globalmemorymap
sipma
committed

Commits on Dec 20, 2024

ASTI: add support for stack arguments
sipma
committed

Commits on Jan 8, 2025

Commits on Jan 9, 2025

ARM: convert annotations to handle result types
sipma
committed

Commits on Jan 10, 2025

Commits on Jan 11, 2025

ARM: convert astprov to handle result types
sipma
committed

Commits on Jan 12, 2025

Commits on Jan 13, 2025

ARM: convert astprov to handle result types
sipma
committed

Commits on Jan 25, 2025

Commits on Feb 2, 2025

Commits on Feb 4, 2025