Search results

Integrate kore-rpc-booster

Status: Open.

#344 In runtimeverification/avm-semantics;

· geo2a opened on Jul 11, 2023

Maintenance

Status: Open.

#327 In runtimeverification/avm-semantics;

· FrankSzendzielarz opened on Mar 14, 2023

Transactions that don't execute TEAL should not touch the <teal> cell

refactoring

Status: Open.

#285 In runtimeverification/avm-semantics;

· geo2a opened on Feb 6, 2023

Program loading step is redundant

Status: Open.

#260 In runtimeverification/avm-semantics;

· nwatson22 opened on Jan 18, 2023

Support AVM7 and onward

Status: Open.

#152 In runtimeverification/avm-semantics;

· geo2a opened on Oct 24, 2022

[TEAL] Extra documentation

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#12 In runtimeverification/avm-semantics;

· mcalancea opened on Nov 8, 2021