Code

Isolate paths#5832

Code

Merged

keyboardDrummer merged 58 commits intodafny-lang:masterdafny-lang/dafny:masterfrom keyboardDrummer:isolatePathskeyboardDrummer/dafny:isolatePathsCopy head branch name to clipboardOct 25, 2024

+579-386

Commits

Commits on Sep 24, 2024

• Use custom Boogie

  keyboardDrummer

  committed
  6357a90

  Copy full SHA for 6357a90

Commits on Sep 27, 2024

• Save state

  keyboardDrummer

  committed
  d25749a

  Copy full SHA for d25749a

Commits on Sep 30, 2024

• Some support for isolated attribute

  keyboardDrummer

  committed
  3a5db9d

  Copy full SHA for 3a5db9d

• Update descriptions for --progress

  keyboardDrummer

  committed
  18d31f2

  Copy full SHA for 18d31f2

Commits on Oct 1, 2024

• Rename BreakStmt to BreakOrContinueStmt

  keyboardDrummer

  committed
  619f225

  Copy full SHA for 619f225

Commits on Oct 2, 2024

• Enable attributes on return statements

  keyboardDrummer

  committed
  fb7fe97

  Copy full SHA for fb7fe97

Commits on Oct 3, 2024

• Improvements

  keyboardDrummer

  committed
  5379fb8

  Copy full SHA for 5379fb8

• Cleanup

  keyboardDrummer

  committed
  27e63d1

  Copy full SHA for 27e63d1

Commits on Oct 4, 2024

• Update texts

  keyboardDrummer

  committed
  ba88dff

  Copy full SHA for ba88dff

• Move if and match verification code to separate files

  keyboardDrummer

  committed
  fdf0e42

  Copy full SHA for fdf0e42

• Use Cmds instead of cmds when interfacing with updated Boogie

  keyboardDrummer

  committed
  26bb804

  Copy full SHA for 26bb804

Commits on Oct 6, 2024

• Pass in allow_split for explicit branching statements and improve tokens passed to Boogie

  keyboardDrummer

  committed
  3c992ab

  Copy full SHA for 3c992ab

• Fix tests

  keyboardDrummer

  committed
  82b5356

  Copy full SHA for 82b5356

Commits on Oct 15, 2024

• Add test for isolating continue

  keyboardDrummer

  committed
  7e77f70

  Copy full SHA for 7e77f70

Commits on Oct 18, 2024

• Update Boogie

  keyboardDrummer

  committed
  0f5cf30

  Copy full SHA for 0f5cf30

• Undo refactoring

  keyboardDrummer

  committed
  2a9e9e1

  Copy full SHA for 2a9e9e1

• Undo rename

  keyboardDrummer

  committed
  e75738a

  Copy full SHA for e75738a

• Undo rename

  keyboardDrummer

  committed
  636ec3f

  Copy full SHA for 636ec3f

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

  keyboardDrummer

  committed
  7c496a2

  Copy full SHA for 7c496a2

• Ran formatter

  keyboardDrummer

  committed
  317d20d

  Copy full SHA for 317d20d

• Redo renames

  keyboardDrummer

  committed
  64f8147

  Copy full SHA for 64f8147

• Merge commit '7681e01e7711a19' into isolatePaths

  keyboardDrummer

  committed
  75b8812

  Copy full SHA for 75b8812

Commits on Oct 22, 2024

• Fixes

  keyboardDrummer

  committed
  a8d575f

  Copy full SHA for a8d575f

• Bring back allow split attributes, and fix test

  keyboardDrummer

  committed
  f96b4a4

  Copy full SHA for f96b4a4

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

  keyboardDrummer

  committed
  50d449d

  Copy full SHA for 50d449d

• Fix comp error

  keyboardDrummer

  committed
  95db468

  Copy full SHA for 95db468

• Update documentation

  keyboardDrummer

  committed
  9a1b32a

  Copy full SHA for 9a1b32a

• Fix merge bug

  keyboardDrummer

  committed
  d1e267f

  Copy full SHA for d1e267f

• Add support for isolate on continue statements

  keyboardDrummer

  committed
  0ff73c1

  Copy full SHA for 0ff73c1

• Trigger CI

  keyboardDrummer

  committed
  30f91b2

  Copy full SHA for 30f91b2

• Ran formatter and update expect files

  keyboardDrummer

  committed
  4dde430

  Copy full SHA for 4dde430

Commits on Oct 23, 2024

• Update resource regression numbers

  keyboardDrummer

  committed
  33c9fbe

  Copy full SHA for 33c9fbe

• Newer Boogie

  keyboardDrummer

  committed
  62269d7

  Copy full SHA for 62269d7

• Updates

  keyboardDrummer

  committed
  d21282a

  Copy full SHA for d21282a

• Undo moves

  keyboardDrummer

  committed
  a44aadb

  Copy full SHA for a44aadb

• Add release note

  keyboardDrummer

  committed
  d3613c5

  Copy full SHA for d3613c5

Commits on Oct 24, 2024

• Update docs/DafnyRef/UserGuide.md

  Show description for 4cb5aa3
  

  keyboardDrummer

  and

  robin-aws

  authored
  4cb5aa3

  Copy full SHA for 4cb5aa3

• Update docs/DafnyRef/UserGuide.md

  Show description for 39a3675
  

  keyboardDrummer

  and

  robin-aws

  authored
  39a3675

  Copy full SHA for 39a3675

• Update docs/DafnyRef/UserGuide.md

  Show description for 40f60b9
  

  keyboardDrummer

  and

  robin-aws

  authored
  40f60b9

  Copy full SHA for 40f60b9

• Fixes

  keyboardDrummer

  committed
  1d05f88

  Copy full SHA for 1d05f88

• Update UI

  keyboardDrummer

  committed
  f5014f5

  Copy full SHA for f5014f5

• Merge branch 'isolatePaths' of github.com:keyboardDrummer/dafny into isolatePaths

  keyboardDrummer

  committed
  71afc8e

  Copy full SHA for 71afc8e

• Merge branch 'master' into isolatePaths

  keyboardDrummer

  authored
  d5cebea

  Copy full SHA for d5cebea

• Stop using custom Boogie

  keyboardDrummer

  committed
  ed4f0a4

  Copy full SHA for ed4f0a4

• Update to latest Boogie

  keyboardDrummer

  committed
  62f48d1

  Copy full SHA for 62f48d1

• Merge branch 'isolatePaths' of github.com:keyboardDrummer/dafny into isolatePaths

  keyboardDrummer

  committed
  8b3c08e

  Copy full SHA for 8b3c08e

• Delete submodule

  keyboardDrummer

  committed
  d205a55

  Copy full SHA for d205a55

• Update customBoogie.patch

  keyboardDrummer

  committed
  7143a85

  Copy full SHA for 7143a85

Commits on Oct 25, 2024

• Refactoring

  keyboardDrummer

  committed
  c6f9cb8

  Copy full SHA for c6f9cb8

• No submodule

  keyboardDrummer

  committed
  dbb9fc4

  Copy full SHA for dbb9fc4

• Remove submodule

  keyboardDrummer

  committed
  37d81eb

  Copy full SHA for 37d81eb

• Merge branch 'master' into isolatePaths

  keyboardDrummer

  authored
  cd03725

  Copy full SHA for cd03725

• Delete Boogie submodule

  keyboardDrummer

  committed
  93526df

  Copy full SHA for 93526df

• Merge branch 'isolatePaths' of github.com:keyboardDrummer/dafny into isolatePaths

  keyboardDrummer

  committed
  1da4d7b

  Copy full SHA for 1da4d7b

• Update to Boogie 3.4.1

  keyboardDrummer

  committed
  a1448fb

  Copy full SHA for a1448fb

• Ran formatter

  keyboardDrummer

  committed
  7e0cf79

  Copy full SHA for 7e0cf79

• Fix expect file

  keyboardDrummer

  committed
  9b2d086

  Copy full SHA for 9b2d086

• Fix concurrency issue

  keyboardDrummer

  committed
  dd8985d

  Copy full SHA for dd8985d