Search results

"Unified" Type Inference

Status: Open.

#91 In avanhatt/wasmtime;

· mmcloughlin opened on Feb 14, 2024

Integrate new ISLE opcode type code

Status: Open.

#56 In avanhatt/wasmtime;

· avanhatt opened on Mar 22, 2023

Investigate slow div/rem

Status: Open.

#36 In avanhatt/wasmtime;

· mpardesh opened on Jan 17, 2023

Remove all rule chain dead code

Status: Open.

#33 In avanhatt/wasmtime;

· avanhatt opened on Jan 16, 2023

Encode "if not previous rules" for overlapping rules, including priority semantics

Status: Open.

#32 In avanhatt/wasmtime;

· avanhatt opened on Jan 16, 2023

Model traps

Status: Open.

#31 In avanhatt/wasmtime;

· avanhatt opened on Jan 16, 2023

Add annotations to <code>instruction.rs</code> clif instruction definitions

Status: Open.

#30 In avanhatt/wasmtime;

· avanhatt opened on Jan 16, 2023

Debug/reenable <code>test_iadd_from_file</code>

Status: Open.

#13 In avanhatt/wasmtime;

· avanhatt opened on Jan 5, 2023