Code

Add a few negative examples#28

Code

Merged

septract merged 5 commits intomainrems-project/cn-tutorial:mainfrom mdd/negative-examplesrems-project/cn-tutorial:mdd/negative-examplesCopy head branch name to clipboardJul 5, 2024

+95-1

Commits

Commits on Jun 13, 2024

• Add trivial negative examples

  septract

  committed
  9991e78

  Copy full SHA for 9991e78

Commits on Jul 4, 2024

• Add readme, add neg examples, document neg examples

  septract

  committed
  7d59919

  Copy full SHA for 7d59919

• Add example of broken separation / disjointness reasoning

  septract

  committed
  9d07080

  Copy full SHA for 9d07080

• Merge branch 'main' into mdd/negative-examples

  septract

  authored
  dc878b6

  Copy full SHA for dc878b6

Commits on Jul 5, 2024

• Rename to should-failper review

  septract

  committed
  36de785

  Copy full SHA for 36de785