Search results

Reproducer coverage: which LuaJIT bugs the SMT check can prove, and what blocks the rest

Status: Open.

#72 In ligurio/ljopt;

· aleksisch opened on Jun 15, 2026

Create separate type for nil in MemCell

Status: Open.

#68 In ligurio/ljopt;

· aleksisch opened on May 19, 2026

SMT timeout per trace

Status: Open.

#60 In ligurio/ljopt;

· aleksisch opened on Apr 1, 2026

Support various FFI types

Status: Open.

#56 In ligurio/ljopt;

· aleksisch opened on Mar 28, 2026

Add FFI implementations for jit.util.snappc() and jit.util.tablesize()

Status: Open.

#55 In ligurio/ljopt;

· ligurio opened on Mar 27, 2026

Support asize, hsize

Status: Open.

#51 In ligurio/ljopt;

· aleksisch opened on Mar 13, 2026

Context is shared across trace

Status: Open.

#50 In ligurio/ljopt;

· aleksisch opened on Mar 12, 2026

Investigate exits to different bytecode

Status: Open.

#49 In ligurio/ljopt;

· aleksisch opened on Mar 12, 2026

Bump LuaJIT version

Status: Open.

#44 In ligurio/ljopt;

· ligurio opened on Feb 27, 2026

Support TNEW and TDUP

Status: Open.

#38 In ligurio/ljopt;

· aleksisch opened on Feb 15, 2026

Isolate execution

Status: Open.

#35 In ligurio/ljopt;

· aleksisch opened on Feb 10, 2026

Support traces with multiple Snapshots on same offset

Status: Open.

#30 In ligurio/ljopt;

· aleksisch opened on Jan 29, 2026