Code

Implement Enums#17

Code

Closed

tillarnold wants to merge 19 commits intoAurel300:rewrite-2023Aurel300/prusti-dev:rewrite-2023from tillarnold:enumtillarnold/prusti-dev:enumCopy head branch name to clipboard

+3,704-2,113

Commits

Commits on Oct 27, 2023

• Miscellaneous small fixes

  tillarnold

  committed
  4f70d40

  Copy full SHA for 4f70d40

• Implement pure, trusted, snapshot_equality and field access

  tillarnold

  committed
  8e28cbf

  Copy full SHA for 8e28cbf

• Change axioms and temporarily fix some triggering issues

  tillarnold

  committed
  3f7a7e6

  Copy full SHA for 3f7a7e6

• Cleanup

  tillarnold

  committed
  fa4aa23

  Copy full SHA for fa4aa23

• Merge branch 'till_rebuilt_2' into till_rebuilt_3

  tillarnold

  committed
  722be36

  Copy full SHA for 722be36

Commits on Nov 2, 2023

• Run rustfmt

  tillarnold

  committed
  070d50e

  Copy full SHA for 070d50e

Commits on Nov 3, 2023

• WIP on enums

  tillarnold

  committed
  cc6f75c

  Copy full SHA for cc6f75c

• More WIP

  tillarnold

  committed
  4d9d0cd

  Copy full SHA for 4d9d0cd

Commits on Nov 4, 2023

• WIP

  tillarnold

  committed
  ef848b6

  Copy full SHA for ef848b6

Commits on Nov 5, 2023

• WIP

  tillarnold

  committed
  ff1c46e

  Copy full SHA for ff1c46e

Commits on Nov 6, 2023

• Enum WIP

  tillarnold

  committed
  bfd38b6

  Copy full SHA for bfd38b6

• WIP

  tillarnold

  committed
  bf8ec5f

  Copy full SHA for bf8ec5f

• Fix unfolds for enums

  tillarnold

  committed
  8589087

  Copy full SHA for 8589087

• WIP

  tillarnold

  committed
  4133463

  Copy full SHA for 4133463

Commits on Nov 7, 2023

• WIP

  tillarnold

  committed
  a0c6366

  Copy full SHA for a0c6366

• WIP

  tillarnold

  committed
  fda1064

  Copy full SHA for fda1064

Commits on Nov 8, 2023

• start work on terminator fpcs

  tillarnold

  committed
  b80dece

  Copy full SHA for b80dece

Commits on Nov 10, 2023

• Try terminator repacks

  tillarnold

  committed
  275cf98

  Copy full SHA for 275cf98

Commits on Nov 13, 2023

• WIP

  tillarnold

  committed
  8136f8d

  Copy full SHA for 8136f8d