Code

Adding lesson on basic proofs#2699

Code

Merged

rv-jenkins merged 19 commits intomasterruntimeverification/k:masterfrom tutorial-lesson-22runtimeverification/k:tutorial-lesson-22Copy head branch name to clipboardAug 6, 2022

+453-1

Commits

Commits on Jul 3, 2022

• adding lesson on basic proofs

  PetarMax

  committed
  35384f8

  Copy full SHA for 35384f8

Commits on Jul 5, 2022

• tutorial 22_proofs: source 80-char line limit and removed EOL spacing

  charala1

  committed
  cdc4841

  Copy full SHA for cdc4841

• tutorial 22_proofs: wording improvement

  charala1

  committed
  ea70210

  Copy full SHA for ea70210

• tutorial 22_proofs: wording improvement

  charala1

  committed
  a072463

  Copy full SHA for a072463

• tutorial 22_proofs: wording improvement

  charala1

  committed
  dc20ae7

  Copy full SHA for dc20ae7

• tutorial 22_proofs: source text column limit

  charala1

  committed
  df4f6fb

  Copy full SHA for df4f6fb

• tutorial 22_proofs: phrasing improvement

  charala1

  committed
  aac5f84

  Copy full SHA for aac5f84

• tutorial 22_proofs: text column limit

  charala1

  committed
  f4b5bc4

  Copy full SHA for f4b5bc4

Commits on Jul 6, 2022

• tutorial 22_proofs: fixed typos

  charala1

  committed
  095e92e

  Copy full SHA for 095e92e

• tutorial 22_proofs: example bugfix

  charala1

  committed
  22bc25a

  Copy full SHA for 22bc25a

Commits on Jul 7, 2022

• tutorial 22_proofs: consistent naming with the lesson-22* prefix

  charala1

  committed
  91d3095

  Copy full SHA for 91d3095

• tutorial 22_proofs: imports ID -> imports ID-SYNTAX

  charala1

  committed
  beecf42

  Copy full SHA for beecf42

• tutorial 22_proofs: removed requires domains.md

  charala1

  committed
  9628cfa

  Copy full SHA for 9628cfa

• tutorial 22_proofs: bugfix third claim example

  charala1

  committed
  d6ada56

  Copy full SHA for d6ada56

Commits on Jul 27, 2022

• more explanations on negative constraints

  PetarMax

  committed
  4676aa0

  Copy full SHA for 4676aa0

Commits on Aug 2, 2022

• Merge branch 'master' into tutorial-lesson-22

  ehildenb

  authored
  ed940c4

  Copy full SHA for ed940c4

• addressing comments

  PetarMax

  committed
  b6f64e8

  Copy full SHA for b6f64e8

• Merge branch 'master' into tutorial-lesson-22

  rv-jenkins

  authored
  72f16ad

  Copy full SHA for 72f16ad

Commits on Aug 6, 2022

• Merge branch 'master' into tutorial-lesson-22

  ehildenb

  authored
  a0af7bc

  Copy full SHA for a0af7bc