Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Isolate paths #5832

Merged
merged 58 commits into from
Oct 25, 2024
Merged
Changes from 2 commits
Commits
Show all changes
58 commits
Select commit Hold shift + click to select a range
6357a90
Use custom Boogie
keyboardDrummer Sep 24, 2024
d25749a
Save state
keyboardDrummer Sep 27, 2024
3a5db9d
Some support for isolated attribute
keyboardDrummer Sep 30, 2024
18d31f2
Update descriptions for --progress
keyboardDrummer Sep 30, 2024
619f225
Rename BreakStmt to BreakOrContinueStmt
keyboardDrummer Oct 1, 2024
fb7fe97
Enable attributes on return statements
keyboardDrummer Oct 2, 2024
5379fb8
Improvements
keyboardDrummer Oct 3, 2024
27e63d1
Cleanup
keyboardDrummer Oct 3, 2024
ba88dff
Update texts
keyboardDrummer Oct 4, 2024
fdf0e42
Move if and match verification code to separate files
keyboardDrummer Oct 4, 2024
26bb804
Use Cmds instead of cmds when interfacing with updated Boogie
keyboardDrummer Oct 4, 2024
3c992ab
Pass in allow_split for explicit branching statements and improve tok…
keyboardDrummer Oct 6, 2024
82b5356
Fix tests
keyboardDrummer Oct 6, 2024
7e77f70
Add test for isolating continue
keyboardDrummer Oct 15, 2024
0f5cf30
Update Boogie
keyboardDrummer Oct 18, 2024
2a9e9e1
Undo refactoring
keyboardDrummer Oct 18, 2024
e75738a
Undo rename
keyboardDrummer Oct 18, 2024
636ec3f
Undo rename
keyboardDrummer Oct 18, 2024
7c496a2
Merge remote-tracking branch 'origin/master' into isolatePaths
keyboardDrummer Oct 18, 2024
317d20d
Ran formatter
keyboardDrummer Oct 18, 2024
64f8147
Redo renames
keyboardDrummer Oct 18, 2024
75b8812
Merge commit '7681e01e7711a19' into isolatePaths
keyboardDrummer Oct 18, 2024
a8d575f
Fixes
keyboardDrummer Oct 22, 2024
f96b4a4
Bring back allow split attributes, and fix test
keyboardDrummer Oct 22, 2024
50d449d
Merge remote-tracking branch 'origin/master' into isolatePaths
keyboardDrummer Oct 22, 2024
95db468
Fix comp error
keyboardDrummer Oct 22, 2024
9a1b32a
Update documentation
keyboardDrummer Oct 22, 2024
d1e267f
Fix merge bug
keyboardDrummer Oct 22, 2024
0ff73c1
Add support for isolate on continue statements
keyboardDrummer Oct 22, 2024
30f91b2
Trigger CI
keyboardDrummer Oct 22, 2024
4dde430
Ran formatter and update expect files
keyboardDrummer Oct 22, 2024
33c9fbe
Update resource regression numbers
keyboardDrummer Oct 23, 2024
62269d7
Newer Boogie
keyboardDrummer Oct 23, 2024
d21282a
Updates
keyboardDrummer Oct 23, 2024
a44aadb
Undo moves
keyboardDrummer Oct 23, 2024
d3613c5
Add release note
keyboardDrummer Oct 23, 2024
4cb5aa3
Update docs/DafnyRef/UserGuide.md
keyboardDrummer Oct 24, 2024
39a3675
Update docs/DafnyRef/UserGuide.md
keyboardDrummer Oct 24, 2024
40f60b9
Update docs/DafnyRef/UserGuide.md
keyboardDrummer Oct 24, 2024
1d05f88
Fixes
keyboardDrummer Oct 24, 2024
f5014f5
Update UI
keyboardDrummer Oct 24, 2024
71afc8e
Merge branch 'isolatePaths' of github.com:keyboardDrummer/dafny into …
keyboardDrummer Oct 24, 2024
d5cebea
Merge branch 'master' into isolatePaths
keyboardDrummer Oct 24, 2024
ed4f0a4
Stop using custom Boogie
keyboardDrummer Oct 24, 2024
62f48d1
Update to latest Boogie
keyboardDrummer Oct 24, 2024
8b3c08e
Merge branch 'isolatePaths' of github.com:keyboardDrummer/dafny into …
keyboardDrummer Oct 24, 2024
d205a55
Delete submodule
keyboardDrummer Oct 24, 2024
7143a85
Update customBoogie.patch
keyboardDrummer Oct 24, 2024
c6f9cb8
Refactoring
keyboardDrummer Oct 25, 2024
dbb9fc4
No submodule
keyboardDrummer Oct 25, 2024
37d81eb
Remove submodule
keyboardDrummer Oct 25, 2024
cd03725
Merge branch 'master' into isolatePaths
keyboardDrummer Oct 25, 2024
93526df
Delete Boogie submodule
keyboardDrummer Oct 25, 2024
1da4d7b
Merge branch 'isolatePaths' of github.com:keyboardDrummer/dafny into …
keyboardDrummer Oct 25, 2024
a1448fb
Update to Boogie 3.4.1
keyboardDrummer Oct 25, 2024
7e0cf79
Ran formatter
keyboardDrummer Oct 25, 2024
9b2d086
Fix expect file
keyboardDrummer Oct 25, 2024
dd8985d
Fix concurrency issue
keyboardDrummer Oct 25, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view

These merge commits were added into this branch cleanly.

There are no new changes to show.