Code

Monad improvements#759

Code

Merged

corlewis merged 4 commits intoseL4:masterseL4/l4v:masterfrom corlewis:monad_improvementscorlewis/l4v:monad_improvementsCopy head branch name to clipboardJun 11, 2024

+2,421-2,506

Commits

Commits on Jun 7, 2024

• lib/monads: improve style in Nondet_Monad_Equations

  Show description for 9fcd3d8
  corlewis

  committed
  9fcd3d8

  Copy full SHA for 9fcd3d8

• lib/monads: improve consistency of monad rule sets

  Show description for 2718f2b
  corlewis

  committed
  2718f2b

  Copy full SHA for 2718f2b

• lib+proof+autocorres: update for renamed monad lemmas

  Show description for c5cc58e
  corlewis

  committed
  c5cc58e

  Copy full SHA for c5cc58e

• lib+proof+autocorres: update for monad changes

  Show description for 687b2c8
  corlewis

  committed
  687b2c8

  Copy full SHA for 687b2c8