Search results

clean some TODOs

cleaning

perf

Status: Open.

#590 In Consensys/linea-constraints;

· letypequividelespoubelles opened on Feb 19, 2025

GAS_COST over-constrained for CALL's/CREATE's

veridise audit

Status: Open.

#456 In Consensys/linea-constraints;

· OlivierBBB opened on Oct 15, 2024

Turn if-eq 1 in RLP_* into if-not-zero or use force-bool

perf

Status: Open.

#396 In Consensys/linea-constraints;

· letypequividelespoubelles opened on Sep 24, 2024

Unconstrained column in moduleEXT

veridise audit

Status: Open.

#394 In Consensys/linea-constraints;

· OlivierBBB opened on Sep 21, 2024

More descriptive names for MMU preprocessing constraints

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#389 In Consensys/linea-constraints;

· OlivierBBB opened on Sep 20, 2024

Use short aliases in constraints

Status: Open.

#330 In Consensys/linea-constraints;

· OlivierBBB opened on Sep 9, 2024

Update the (set-MMU-inst-right-padded-word-extraction ... ) function interface

Status: Open.

#215 In Consensys/linea-constraints;

· OlivierBBB opened on May 28, 2024

Add lexicographic constraints to RomLex

Status: Open.

#48 In Consensys/linea-constraints;

· letypequividelespoubelles opened on Nov 28, 2023