target real ELF files for x86-64

Repository metrics

Stars

1,169 stars (1,169 stars)

PR merge metrics

PR metrics pending (PR metrics pending)

Description

This issue does not include a description.

Contributor guide

Research direction

Study the existing x86-64 code generation in CakeML and understand how to produce ELF binary output. Look at existing ELF writing utilities or decide to write a custom ELF emitter. The task involves generating proper ELF headers, program headers, section headers, and relocation information.

Tech stack

None

Domain

compilers

Issue type

Feature

DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.

3

Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.

3-5 days

Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.

Active

ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.

Mostly clear

Prerequisites

compiler designELF formatx86-64 assembly

Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.

40