Code

Implement old and rel#30

Code

Draft

tillarnold wants to merge 8 commits intoAurel300:rewrite-2023Aurel300/prusti-dev:rewrite-2023from tillarnold:till_old_impl2tillarnold/prusti-dev:till_old_impl2Copy head branch name to clipboard

+189-5

Commits

Commits on Nov 30, 2023

• Initial implementation of old and rel

  tillarnold

  committed
  cb6959f

  Copy full SHA for cb6959f

• Cleanup

  tillarnold

  committed
  8ab254c

  Copy full SHA for 8ab254c

• remove ICE log

  tillarnold

  committed
  64ced7b

  Copy full SHA for 64ced7b

• Add non-shortcircuit or

  tillarnold

  committed
  2714386

  Copy full SHA for 2714386

Commits on Dec 1, 2023

• Merge remote-tracking branch 'aurel/rewrite-2023' into till_old_impl2

  tillarnold

  committed
  23e5d9c

  Copy full SHA for 23e5d9c

• Fix merge

  tillarnold

  committed
  0f95a30

  Copy full SHA for 0f95a30

Commits on Dec 5, 2023

• Cleanup

  tillarnold

  committed
  f410b3b

  Copy full SHA for f410b3b

• cleanup

  tillarnold

  committed
  bc69b2f

  Copy full SHA for bc69b2f