Skip to content

HOL-Light/x86: Remove hardcoded size constants #1385

New issue
New issue
Open
Open
HOL-Light/x86: Remove hardcoded size constants#1385
Labels
enhancementNew feature or requesthol-light
@hanno-becker

Description

@hanno-becker
hanno-becker
opened on Dec 15, 2025

Following #1218 for Arm.

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or requesthol-light

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions