Search results

Changing ISA specification language

Status: Open.

#117 In IntelLabs/asl-interpreter;

· alastairreid opened on Aug 21, 2025

Enable --runtime-checks by default

Status: Open.

#116 In IntelLabs/asl-interpreter;

· alastairreid opened on Jul 4, 2025

Runtime checks produce opaque "assertion failed" message

Status: Open.

#115 In IntelLabs/asl-interpreter;

· alastairreid opened on Jul 4, 2025

Type cast on bits-int conversion doesn't satisifed constraints

Status: Open.

#111 In IntelLabs/asl-interpreter;

· Avimitin opened on Jun 29, 2025

xform_validity should accept 'let result = UNKNOWN : ...:'

Status: Open.

#87 In IntelLabs/asl-interpreter;

· alastairreid opened on May 22, 2025

Invoke asli from asl2c.py

Status: Open.

#85 In IntelLabs/asl-interpreter;

· alastairreid opened on May 16, 2025

Interpreting <code>'x100'</code> results in a type error

Status: Open.

#82 In IntelLabs/asl-interpreter;

· bsaiki0 opened on May 8, 2025

Document all the extensions in ASLi

Status: Open.

#81 In IntelLabs/asl-interpreter;

· alastairreid opened on May 8, 2025

Switch to using OCaml 5.x

Status: Open.

#80 In IntelLabs/asl-interpreter;

· alastairreid opened on May 8, 2025

Implement global integer interval analysis

Status: Open.

#79 In IntelLabs/asl-interpreter;

· alastairreid opened on May 8, 2025

Automatically initialize all variables with fixed values

Status: Open.

#48 In IntelLabs/asl-interpreter;

· alastairreid opened on Feb 24, 2025

Bug: returning arrays from functions generates hilariously bad C code

bugSomething isn't workingSomething isn't working

Status: Open.

#41 In IntelLabs/asl-interpreter;

· alastairreid opened on Feb 21, 2025