Code

Chapter 1 Basic Specifications#13

Code

Merged

jcp19 merged 7 commits intomainviperproject/gobra-book:mainfrom chapter-1-basicspecsviperproject/gobra-book:chapter-1-basicspecsCopy head branch name to clipboardDec 13, 2024

+287-5

Commits

Commits on Nov 11, 2024

• chore: add section basic specs

  gottschali

  committed
  4c5e86a

  Copy full SHA for 4c5e86a

• chore: update summary

  gottschali

  committed
  04a7808

  Copy full SHA for 04a7808

• chore: add basic specs quiz

  gottschali

  committed
  37d07a7

  Copy full SHA for 37d07a7

• chore: remove non existing sections

  gottschali

  committed
  a5473a7

  Copy full SHA for a5473a7

• chore: add iteratively

  gottschali

  committed
  c1362c2

  Copy full SHA for c1362c2

Commits on Nov 27, 2024

• Update src/basic-specs.md

  jcp19

  authored
  b2d1d6e

  Copy full SHA for b2d1d6e

Commits on Dec 13, 2024

• Merge branch 'main' into chapter-1-basicspecs

  jcp19

  authored
  e055f65

  Copy full SHA for e055f65