Repository navigation

Fix #815 - #838

Draft

jcp19 wants to merge 11 commits into

Commits on Feb 5, 2025
- add witness of bug
  jcp19
  committed
  d90c9ff
- fix 815
  jcp19
  committed
  dc71130
- add check for ghost pure members too
  jcp19
  committed
  ded98e5
Commits on Feb 14, 2025
- Merge branch 'master' into fix-815
  jcp19
  committed
  9959336
- add witness of missing checks
  jcp19
  committed
  6ac78ae
- add fixes
  jcp19
  committed
  ceeb7c9
- Update src/main/scala/viper/gobra/frontend/info/implementation/typing/ghost/GhostMemberTyping.scala
  jcp19
  authored
  091279f
- Update GhostMemberTyping.scala
  jcp19
  authored
  df2432a
- fix tests
  jcp19
  committed
  c1b9e5b
- Merge branch 'fix-815' of github.com:viperproject/gobra into fix-815
  jcp19
  committed
  a2360d1
Commits on Jul 17, 2026
- Merge branch 'master' into fix-815
  jcp19
  committed
  98c7a29