Search results

Implement property-based tests for assembler invariants

Status: Open.

#45 In katsyoshi/caotral;

· katsyoshi opened on Feb 21, 2026

Implement property-based tests for linker invariants

Status: Open.

#44 In katsyoshi/caotral;

· katsyoshi opened on Feb 21, 2026

Add property-based tests for linker/ELF invariants

Status: Open.

#43 In katsyoshi/caotral;

· katsyoshi opened on Feb 21, 2026

Add Reader-based validation for PLT relocations and dynamic tags

Status: Open.

#39 In katsyoshi/caotral;

· katsyoshi opened on Feb 15, 2026

Finalize PLT dynamic tags for self linker

Status: Open.

#37 In katsyoshi/caotral;

· katsyoshi opened on Feb 15, 2026

implement linker stage

Status: Open.

#26 In katsyoshi/caotral;

· katsyoshi opened on Dec 23, 2025

register machine

Status: Open.

#23 In katsyoshi/caotral;

· katsyoshi opened on Dec 21, 2025

use Tempfile

Status: Open.

#15 In katsyoshi/caotral;

· katsyoshi opened on Jun 1, 2023

add control flow

Status: Open.

#4 In katsyoshi/caotral;

· katsyoshi opened on Mar 22, 2023

support method

Status: Open.

#3 In katsyoshi/caotral;

· katsyoshi opened on Mar 22, 2023