Code

Check command#947

Code

Draft

keyboardDrummer wants to merge 12 commits intoboogie-org:masterboogie-org/boogie:masterfrom keyboardDrummer:checkCommandkeyboardDrummer/boogie:checkCommandCopy head branch name to clipboard

+1,592-1,603

Commits

Commits on Aug 26, 2024

• Add 'check' commands, a variation of assert command

  keyboardDrummer

  committed
  c415283

  Copy full SHA for c415283

• Merge remote-tracking branch 'origin/master'

  keyboardDrummer

  committed
  26d40b5

  Copy full SHA for 26d40b5

• Add blank line

  keyboardDrummer

  committed
  49f48cf

  Copy full SHA for 49f48cf

Commits on Sep 16, 2024

• Merge remote-tracking branch 'origin/master' into checkCommand

  keyboardDrummer

  committed
  86fd5f1

  Copy full SHA for 86fd5f1

• Move structured commands into separate files

  keyboardDrummer

  committed
  f9cf807

  Copy full SHA for f9cf807

• Move some code into structured command sublcasses

  keyboardDrummer

  committed
  30ba838

  Copy full SHA for 30ba838

• Further refactoring

  keyboardDrummer

  committed
  f690907

  Copy full SHA for f690907

• Renames

  keyboardDrummer

  committed
  d879869

  Copy full SHA for d879869

Commits on Sep 23, 2024

• Allow marking variables so that they're not havocced after a loop

  keyboardDrummer

  committed
  b03d169

  Copy full SHA for b03d169

• Rename

  keyboardDrummer

  committed
  90ac56d

  Copy full SHA for 90ac56d

Commits on Sep 25, 2024

• Format atg

  keyboardDrummer

  committed
  8664d8a

  Copy full SHA for 8664d8a

• Merge remote-tracking branch 'origin/master' into checkCommand

  keyboardDrummer

  committed
  5b8179e

  Copy full SHA for 5b8179e