Code

Rewrite basicspecs#24

Code

Merged

gottschali merged 10 commits intomainviperproject/gobra-book:mainfrom rewrite-basicspecsviperproject/gobra-book:rewrite-basicspecsCopy head branch name to clipboardJan 3, 2025

+247-305

Commits

Commits on Dec 19, 2024

• apply feedback, change newton example to Abs

  gottschali

  committed
  7e27beb

  Copy full SHA for 7e27beb

• rewrite: motivate Abs example

  gottschali

  committed
  b713f80

  Copy full SHA for b713f80

• remove: abs example for overflow

  Show description for 4cbee93
  gottschali

  committed
  4cbee93

  Copy full SHA for 4cbee93

• introduce assert

  gottschali

  committed
  0a34120

  Copy full SHA for 0a34120

• rewrite: postcondition for abs

  gottschali

  committed
  3cb343b

  Copy full SHA for 3cb343b

• rewrite: basic spec quiz

  gottschali

  committed
  0992350

  Copy full SHA for 0992350

• remove: detailed assertions and overcontstraining

  Show description for 6465471
  gottschali

  committed
  6465471

  Copy full SHA for 6465471

• add: default pre postcondition

  gottschali

  committed
  c22db1f

  Copy full SHA for c22db1f

• remove: out of scope footnote undefined behavior

  gottschali

  committed
  4b934c3

  Copy full SHA for 4b934c3

• hoist quantifer section

  gottschali

  committed
  1810ebb

  Copy full SHA for 1810ebb