Project

General

Profile

Bug #10674

Fix ARM support

Added by Evgeny Novikov 3 months ago. Updated 3 months ago.

Status:
Closed
Priority:
Urgent
Category:
-
Target version:
Start date:
01/20/2021
Due date:
% Done:

0%

Estimated time:
Detected in build:
git
Platform:
Published in build:

Description

There are some issues with ARM support. Besides, many target programs are compiled for ARM64. Thus we need to support it within Klever.

#1

Updated by Evgeny Novikov 3 months ago

  • 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.

#2

Updated by Evgeny Novikov 3 months ago

  • Detected in build set to git
  • Description updated (diff)
  • Subject changed from Support ARM64 to Fix ARM support
  • Tracker changed from Feature to Bug
#3

Updated by Evgeny Novikov 3 months ago

  • Status changed from Resolved to Closed

Tests passed, so, I merged the branch to master in 465865f79.

#4

Updated by Evgeny Novikov 3 months ago

In addition, I backported this branch to v3.0-stable.

Also available in: Atom PDF