Code

Rewrite termination measures sooner#930

Code

Merged

bacam merged 4 commits intorems-project:sail2rems-project/sail:sail2from bauereiss:termination_measuresbauereiss/sail:termination_measuresCopy head branch name to clipboardFeb 1, 2025

+122-15

Commits

Commits on Jan 30, 2025

• Rewrite termination measures sooner

  Show description for 207ed09
  bauereiss

  committed
  207ed09

  Copy full SHA for 207ed09

Commits on Jan 31, 2025

• Correct rewrites about mutually recursive functions

  Show description for 146b4e1
  bacam

  committed
  146b4e1

  Copy full SHA for 146b4e1

• Move valspecs for functions used in measures along with the measures

  Show description for 2aeff52
  bacam

  committed
  2aeff52

  Copy full SHA for 2aeff52

Commits on Feb 1, 2025

• Add extra test for moving termination measures

  bacam

  committed
  30e6c30

  Copy full SHA for 30e6c30