Code

Coneris adequacy#47

Code

Merged

hei411 merged 6 commits intomainlogsem/clutch:mainfrom coneris_adequacylogsem/clutch:coneris_adequacyCopy head branch name to clipboardNov 4, 2024

+233-43

Commits

Commits on Nov 4, 2024

• Change def of sch_erasable

  hei411

  committed
  14ccbfb

  Copy full SHA for 14ccbfb

• Change erasure file of con prob lang

  hei411

  committed
  7a45acf

  Copy full SHA for 7a45acf

• Fix normal adequacy of coneris

  hei411

  committed
  b30f9ac

  Copy full SHA for b30f9ac

• state_step_coupl_erasure_safety

  hei411

  committed
  a3cec1d

  Copy full SHA for a3cec1d

• add force first thread lemmas for pexec

  hei411

  committed
  ddb1709

  Copy full SHA for ddb1709

• Complete Coneris safety

  hei411

  committed
  d9938ee

  Copy full SHA for d9938ee