Code

Small debug fixes 2#1048

Code

Merged

pieter-bos merged 18 commits intodevutwente-fmt/vercors:devfrom small-debug-fixes-2utwente-fmt/vercors:small-debug-fixes-2Copy head branch name to clipboardMay 23, 2024

+1,626-3,734

Commits

Commits on Jun 29, 2023

• Put some more descriptive origins

  bobismijnnaam

  committed
  bef42cc

• Turn on Lars' code for sequences

  bobismijnnaam

  committed
  a381d23

• Fix verifythis 2018 challenge2

  bobismijnnaam

  committed
  7e21aac

• Fix 2020 permutations insertion.pvl

  bobismijnnaam

  committed
  c34bc0d

• Fix 2020 permutations quick.pvl

  bobismijnnaam

  committed
  6f2d87b

• Some initial changes, but still one error left. Time to look where the triggers differ

  bobismijnnaam

  committed
  1417f2c

• Fix 2020 permutations oddPhase.pvl

  bobismijnnaam

  committed
  c149dd1

Commits on Jun 30, 2023

• Fix 2020 permutations timsort1.pvl

  bobismijnnaam

  committed
  1a1ee93

• Fix 2020 permutations merge2.pvl

  bobismijnnaam

  committed
  eff7d04

• Factored out another loopCounter0Succ, but still fails. Should look at trigger differences more deeply

  bobismijnnaam

  committed
  17e96cc

Commits on Jul 4, 2023

• Hopefully stabilize publications 2020 permutations oddEven.pvl

  bobismijnnaam

  committed
  a95fc54

• Apply standard changes from oddPhase.pvl

  bobismijnnaam

  committed
  fead2f1

• Apply standard improvements to permutationProofLemmas.pvl

  bobismijnnaam

  committed
  a9678a5

• Undo trigger removals

  bobismijnnaam

  committed
  3384680

• Get original error back

  bobismijnnaam

  committed
  073340f

• Assume, but still fails!

  bobismijnnaam

  committed
  f0ce539

Commits on May 23, 2024

• Merge branch 'dev' into small-debug-fixes-2

  pieter-bos

  committed
  5b2bbfe

• redo permutation lemmas

  pieter-bos

  committed
  8124e60