Code

Add dicts and gomap packages#13

Code

Merged

jcp19 merged 27 commits intomainviperproject/gobra-libs:mainfrom mapsviperproject/gobra-libs:mapsCopy head branch name to clipboardMar 12, 2024

+688-12

Commits

Commits on Feb 10, 2024

• Start implementing mathematical maps

  dnezam

  committed
  575df60

  Copy full SHA for 575df60

• Make sets.choose public + Continue dicts

  dnezam

  committed
  90e1f81

  Copy full SHA for 90e1f81

Commits on Feb 12, 2024

• Continue dicts + add missing pure

  dnezam

  committed
  77ef4f2

  Copy full SHA for 77ef4f2

• Make Unreachable() pure

  dnezam

  committed
  d2eda66

  Copy full SHA for d2eda66

• Implement Union

  dnezam

  committed
  1e6f8b7

  Copy full SHA for 1e6f8b7

• Continue work on dicts

  dnezam

  committed
  3fa49f7

  Copy full SHA for 3fa49f7

Commits on Feb 13, 2024

• Fix IsInjective + Work on Invert

  dnezam

  committed
  48f559b

  Copy full SHA for 48f559b

• Finish Dafny port (except Invert)

  dnezam

  committed
  973e1e9

  Copy full SHA for 973e1e9

• Port Verus' map_lib.rs

  dnezam

  committed
  55d553f

  Copy full SHA for 55d553f

• Port Verus' map.rs

  dnezam

  committed
  e133fb9

  Copy full SHA for e133fb9

• Work on Silicon axioms

  dnezam

  committed
  49bd2a2

  Copy full SHA for 49bd2a2

Commits on Feb 14, 2024

• Finish Silicon axiom port

  dnezam

  committed
  29f0461

  Copy full SHA for 29f0461

• Port Why3 fmap, start Why3 map

  dnezam

  committed
  5e63746

  Copy full SHA for 5e63746

Commits on Feb 17, 2024

• Finish rough port of Why3 map

  dnezam

  committed
  e257260

  Copy full SHA for e257260

• Organize comments for review

  dnezam

  committed
  209567a

  Copy full SHA for 209567a

• Implement Go maps?

  dnezam

  committed
  626050d

  Copy full SHA for 626050d

Commits on Feb 20, 2024

• Start addressing feedback

  dnezam

  committed
  0dfb568

  Copy full SHA for 0dfb568

• Address feedback for dicts

  dnezam

  committed
  d15590c

  Copy full SHA for d15590c

• Add missing triggers for exists

  dnezam

  committed
  e6510fc

  Copy full SHA for e6510fc

• Fix typo in comment

  dnezam

  committed
  6b72126

  Copy full SHA for 6b72126

• Work on gomap

  dnezam

  committed
  0795274

  Copy full SHA for 0795274

Commits on Feb 27, 2024

• Finish first (broken) draft

  dnezam

  committed
  8133814

  Copy full SHA for 8133814

• Fix some errors

  dnezam

  committed
  b2d3539

  Copy full SHA for b2d3539

• Update comments

  dnezam

  committed
  81d515e

  Copy full SHA for 81d515e

Commits on Mar 4, 2024

• Fix remaining trigger issue

  dnezam

  committed
  83c3aa7

  Copy full SHA for 83c3aa7

Commits on Mar 8, 2024

• Address feedback

  dnezam

  committed
  ff79f32

  Copy full SHA for ff79f32

Commits on Mar 12, 2024

• Address feedback

  dnezam

  committed
  e29e05c

  Copy full SHA for e29e05c