Bug #10674
closed
Added by Evgeny Novikov about 3 years ago.
Updated about 3 years ago.
Description
There are some issues with ARM support. Besides, many target programs are compiled for ARM64. Thus we need to support it within Klever.
- Status changed from New to Resolved
I did this in branch fix-arm-support together with other fixes with ARM support. In particular, I updated CIL fixed by Mikhail and CPAchecker fixed by Anton. Let's wait for CI.
- Tracker changed from Feature to Bug
- Subject changed from Support ARM64 to Fix ARM support
- Description updated (diff)
- Detected in build set to git
- Status changed from Resolved to Closed
Tests passed, so, I merged the branch to master in 465865f79.
In addition, I backported this branch to v3.0-stable.
Also available in: Atom
PDF