Code

Add recursion#288

Code

Merged

khatchad merged 29 commits intomainponder-lab/Hybridize-Functions-Refactoring:mainfrom recursionponder-lab/Hybridize-Functions-Refactoring:recursionCopy head branch name to clipboardNov 15, 2023

+534-16

Commits

Commits on Nov 13, 2023

• Change TODOs to notes.

  khatchad

  committed
  a88b9ea

• Add recursive function test.

  khatchad

  committed
  b61d8fc

• Change function name.

  khatchad

  committed
  5f151b5

• Format.

  khatchad

  committed
  1e87df7

• Add recursive test.

  khatchad

  committed
  d899faa

• Add transitive recursive test.

  khatchad

  committed
  b6df5ba

• We want it to have an error.

  khatchad

  committed
  cbdb22a

• Add hybrid recursive test.

  khatchad

  committed
  726c74a

• Also assert refactoring kind.

  khatchad

  committed
  d0ff8f8

• Change if to assertion.

  khatchad

  committed
  369d9c3

• Add test.

  khatchad

  committed
  525f549

• Add assertions.

  khatchad

  committed
  6b2e946

• Fix message.

  khatchad

  committed
  b450509

• Add transitive test.

  khatchad

  committed
  4441b21

• Add retracing case.

  khatchad

  committed
  7ee680f

• Progress.

  khatchad

  committed
  0b6d7a3

Commits on Nov 14, 2023

• Progress.

  khatchad

  committed
  82994e1

• Remove unused import.

  khatchad

  committed
  4213f18

• Progress.

  khatchad

  committed
  77a6a81

• Add comments.

  khatchad

  committed
  5b6deac

• Add precondition failures for recursion.

  khatchad

  committed
  6d1324e

• Add warning for recursion.

  khatchad

  committed
  877afba

• Add assertion.

  khatchad

  committed
  2070616

• Progress.

  khatchad

  committed
  6c20594

• Test to exercise infinite recursion.

  Show description for 3e425da
  khatchad

  committed
  3e425da

Commits on Nov 15, 2023

• Simplify side-effects algorithm.

  khatchad

  committed
  de1f70f

• Avoid infinite loops.

  khatchad

  committed
  53377b7

• Fix test code.

  khatchad

  committed
  4f4a7f1

• Fix assertions.

  khatchad

  committed
  fd53a26