Add support for multidimensional arrays in ETS

Assessment

This issue has not been assessed yet.

Description

Contributor guide

No contributing guide indexed for this repository

First steps

1. Read the whole issue, then the project's contributing guide.
2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
3. Fork the repository and make your change on a branch.
4. Open a pull request that references the issue number.

More from UnitTestBot/usvm

• [TS] Support array growth and sparse slots Open

  Difficulty 5/5 Over a week Newbie friendliness 45/100

  UnitTestBot/usvm#388 · Opened Sep 18, 2026

• [TS PBT][P0] Align and simplify property execution semantics before integration Open

  Difficulty 5/5 Over a week Newbie friendliness 25/100

  UnitTestBot/usvm#384 · Opened Sep 7, 2026

• [TS PBT] Map c8/V8 branch coverage to EtsIR CFG edges Open

  Difficulty 5/5 Over a week Newbie friendliness 35/100

  UnitTestBot/usvm#382 · Opened Sep 7, 2026

• [TS] Preserve fake values in symbolic reference-array reads Open

  Difficulty 4/5 3-5 days Newbie friendliness 48/100

  UnitTestBot/usvm#379 · Opened Aug 28, 2026

• [TS Calls][Research] Capture stopped-path frontiers for article experiments Open

  Difficulty 5/5 Over a week Newbie friendliness 25/100

  UnitTestBot/usvm#373 · Opened Aug 23, 2026

All issues in UnitTestBot/usvm

Similar issues

• Windows helper args-file: delete after process exit (Codex P2 from #529) Open
  bug

  Difficulty 2/5 1-3 hours Newbie friendliness 68/100

  rock3r/spectre#530 · Opened Sep 21, 2026

• [Feature request] Make minimum change period again 1 minute Open
  enhancement

  Difficulty 2/5 1-3 hours Newbie friendliness 68/100

  Anthonyy232/Paperize#614 · Opened Sep 21, 2026

• CI: remove unecessary rustflags argument once we bump to Rust 1.97+ Open

  Difficulty 2/5 1-3 hours Newbie friendliness 76/100

  bitcoindevkit/bdk-ffi#1125 · Opened Sep 21, 2026

• [BUG] [Kotlin] [kotlin-server] [jaxrs-spec] additionalModelTypeAnnotations also added to generated enums Open
  Issue: Bug

  Difficulty 1/5 Under an hour Newbie friendliness 91/100

  OpenAPITools/openapi-generator#24978 · Opened Sep 21, 2026

• Legge til schemas for andre konsument topics Open
  helsemelding-json-schema json-schema-core

  Difficulty 2/5 1-3 hours Newbie friendliness 68/100

  navikt/helsemelding-json-schema#29 · Opened Sep 21, 2026

More Kotlin issues