Code

Encoding refactor#466

Code

Merged

Felalolf merged 7 commits intomasterviperproject/gobra:masterfrom encoding-refactorviperproject/gobra:encoding-refactorCopy head branch name to clipboardJun 20, 2022

+2,075-1,823

Commits

Commits on Jun 19, 2022

• safety commit

  

  Felix A. Wolf

  committed
  6a4955d

  Copy full SHA for 6a4955d

• might work, probably does not work

  

  Felix A. Wolf

  committed
  1459c8a

  Copy full SHA for 1459c8a

• fixed some smaller issues

  

  Felix A. Wolf

  committed
  d1805ee

  Copy full SHA for d1805ee

• fixed issue that aggregated statements shift too far

  

  Felix A. Wolf

  committed
  2e50814

  Copy full SHA for 2e50814

• fixed isDefinedAt and made sure that it is never called

  

  Felix A. Wolf

  committed
  f4f1ca8

  Copy full SHA for f4f1ca8

• fixed one bug where interface predicate were generated twice. Probably introduced another bug

  

  Felix A. Wolf

  committed
  56109d2

  Copy full SHA for 56109d2

Commits on Jun 20, 2022

• implemented feedback

  

  Felix A. Wolf

  committed
  0d61e16

  Copy full SHA for 0d61e16