Search results

there's already an existing x86isa in acl2 lang

Status: Open.

#114 In AeneasVerif/kraken;

· photoszzt opened on May 11, 2026

Tests for parseLine

Status: Open.

#111 In AeneasVerif/kraken;

· samuelgruetter opened on May 6, 2026

Change eventually to rely on step1 rather than straightline

Status: Open.

#101 In AeneasVerif/kraken;

· protz opened on Apr 28, 2026

Commit queue?

Status: Open.

#98 In AeneasVerif/kraken;

· andres-erbsen opened on Apr 27, 2026

Support Testing of Assembly Functions Intended to be called from C

Status: Open.

#94 In AeneasVerif/kraken;

· aferr opened on Apr 22, 2026

Dynamic memory ownership enforcement?

Status: Open.

#92 In AeneasVerif/kraken;

· andres-erbsen opened on Apr 21, 2026

[track] SymM resources

Status: Open.

#91 In AeneasVerif/kraken;

· andres-erbsen opened on Apr 20, 2026

parsing should infer address size similarly to operand size

Status: Open.

#90 In AeneasVerif/kraken;

· andres-erbsen opened on Apr 18, 2026

Replace ParserTests.lean with assembly tests

Status: Open.

#67 In AeneasVerif/kraken;

· aferr opened on Apr 10, 2026

source code formatting

Status: Open.

#47 In AeneasVerif/kraken;

· protz opened on Apr 1, 2026

AES & SHA Instructions

Status: Open.

#42 In AeneasVerif/kraken;

· andres-erbsen opened on Mar 27, 2026

[tracking issue] Separation logic for memory

Status: Open.

#41 In AeneasVerif/kraken;

· andres-erbsen opened on Mar 27, 2026