Code

Improvements in maps#676

Code

Merged

jcp19 merged 10 commits intomasterviperproject/gobra:masterfrom joao-fix-map-triggersviperproject/gobra:joao-fix-map-triggersCopy head branch name to clipboardSep 22, 2023

+135-24

Commits

Commits on Sep 19, 2023

• start fixing triggers maps

  jcp19

  committed
  002ef76

Commits on Sep 21, 2023

• cleanup

  jcp19

  committed
  93798d6

• fix issues with 'contains' in maps and with trigger generation

  jcp19

  committed
  5cd4b21

• Merge branch 'master' into joao-fix-map-triggers

  jcp19

  committed
  d011c81

Commits on Sep 22, 2023

• backup

  jcp19

  committed
  f23467b

• Merge branch 'master' into joao-fix-map-triggers

  jcp19

  committed
  60d845b

• backup

  jcp19

  committed
  d0cad53

• doc

  jcp19

  committed
  b6518a7

• Apply suggestions from code review

  Show description for 31498c4
  

  jcp19

  and

  Felalolf

  authored
  31498c4

• feedback from Felix

  jcp19

  committed
  e87d2dd