Code

Map types representation#13512

Code

Merged

josevalim merged 5 commits intoelixir-lang:mainelixir-lang/elixir:mainfrom

gldubc:map-no-bddgldubc/elixir:map-no-bddCopy head branch name to clipboard

Apr 29, 2024

Commits

Commits on Apr 24, 2024

• Static map types without bdds

  gldubc

  committed
  ecbbd20

  Copy full SHA for ecbbd20

• Simplify split on key

  josevalim

  committed
  50bc68a

  Copy full SHA for 50bc68a

Commits on Apr 25, 2024

• Rewrite map intersection, remove is_opt

  gldubc

  committed
  b2fc865

  Copy full SHA for b2fc865

Commits on Apr 26, 2024

• Use triples in DNFs

  gldubc

  committed
  fadee01

  Copy full SHA for fadee01

• Add coverage examples + doc

  gldubc

  committed
  04e4fab

  Copy full SHA for 04e4fab