Project

General

Profile

Actions
Copy link

Bug #10674

closed

Fix ARM support

Added by Evgeny Novikov almost 4 years ago. Updated almost 4 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Evgeny Novikov
Category:
-
Target version:
3.1
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.

Actions
Copy link
 #1

Updated by Evgeny Novikov almost 4 years 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.

Actions
Copy link
 #2

Updated by Evgeny Novikov almost 4 years ago

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

Updated by Evgeny Novikov almost 4 years ago

  • Status changed from Resolved to Closed

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

Actions
Copy link
 #4

Updated by Evgeny Novikov almost 4 years ago

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

Actions
Copy link

Also available in: Atom PDF