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.

Sign up for GitHub

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

Jump to bottom

Automatically add subproofs to parallelized execution once they become available #2065

Closed
wants to merge 61 commits into from
Closed

Automatically add subproofs to parallelized execution once they become available #2065

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
61 commits
Select commit Hold shift + click to select a range
5a9f675
Change parallelization so that subproofs are added to a task queue
nwatson22 Sep 6, 2023
cd06fab
Set Version: 1.0.290
Sep 7, 2023
60df617
Restructure tasks to use a shared KoreServer for all proofs for the s…
nwatson22 Sep 13, 2023
c3fbee7
Merge branch 'noah/branches-parallelization' of https://github.com/ru…
nwatson22 Sep 15, 2023
f60c1bc
Fix failure reporting to work with split proof
nwatson22 Sep 15, 2023
38126cd
Merge master into branch
nwatson22 Sep 15, 2023
25bf2ad
Set Version: 1.0.292
Sep 15, 2023
cb3dad8
Fix merge
nwatson22 Sep 15, 2023
932aad3
Merge branch 'noah/branches-parallelization' of https://github.com/ru…
nwatson22 Sep 15, 2023
269dddc
Fix subproofs overwriting each other
nwatson22 Sep 15, 2023
3be4c85
Fix formatting
nwatson22 Sep 15, 2023
e3e3807
Make test have 2 long branches
nwatson22 Sep 15, 2023
2f8422b
Remove passing around of failure log
nwatson22 Sep 16, 2023
eb6c48b
Remove unused parameter
nwatson22 Sep 16, 2023
55c2331
Remove commented lines
nwatson22 Sep 16, 2023
e598e6c
Remove commented lines
nwatson22 Sep 16, 2023
17fbcc8
Use wait() instead of sleep, remove print statements
nwatson22 Sep 16, 2023
ac7e38f
Fix reporting as failing when pending
nwatson22 Sep 16, 2023
a41cd8b
Merge branch 'master' into noah/branches-parallelization
nwatson22 Sep 18, 2023
4f92dfc
Set Version: 1.0.294
Sep 18, 2023
2653909
Change name of proof pending function
nwatson22 Sep 18, 2023
358d873
Merge branch 'noah/branches-parallelization' of https://github.com/ru…
nwatson22 Sep 18, 2023
255b03a
Switch to using git branch pyk version
nwatson22 Sep 18, 2023
d3fa777
Update kevm-pyk/pyproject.toml
nwatson22 Sep 19, 2023
f73470a
Fix pyproject file
nwatson22 Sep 19, 2023
0d38413
update poetry.lock
nwatson22 Sep 19, 2023
430762c
Fix formatting
nwatson22 Sep 19, 2023
91ca5ba
Address comments
nwatson22 Sep 19, 2023
26905df
Merge branch 'master' into noah/branches-parallelization
nwatson22 Sep 19, 2023
0870782
Set Version: 1.0.296
Sep 19, 2023
6df8519
Remove comment lines and revert proofs_with_test to use regex rather …
nwatson22 Sep 19, 2023
4679bd6
Fix formatting
nwatson22 Sep 19, 2023
4eb0e8c
Update foundry-show test data
nwatson22 Sep 19, 2023
e039bf8
Merge remote-tracking branch 'origin/master' into noah/branches-paral…
nwatson22 Sep 19, 2023
160d679
Set Version: 1.0.297
Sep 19, 2023
464a855
Merge master into branch
nwatson22 Sep 20, 2023
455f4fb
Set Version: 1.0.298
Sep 20, 2023
1fca561
Merge master into branch
nwatson22 Sep 20, 2023
ea7aef1
Set Version: 1.0.299
Sep 20, 2023
54d6b08
Fix tests
nwatson22 Sep 20, 2023
e4b6684
Merge branch 'noah/branches-parallelization' of https://github.com/ru…
nwatson22 Sep 20, 2023
2137c71
Merge branch 'master' into noah/branches-parallelization
nwatson22 Sep 21, 2023
163f835
Set Version: 1.0.300
Sep 21, 2023
f41c9bb
Revert LoopsTest expected file
nwatson22 Sep 21, 2023
fcc46c4
Merge branch 'noah/branches-parallelization' of https://github.com/ru…
nwatson22 Sep 21, 2023
f6ae8c0
Propogate generate_subproof_name to APRBMCProof constructor
nwatson22 Sep 21, 2023
42b298c
Update poetry lock
nwatson22 Sep 21, 2023
2ebe0b6
Merge master into branch, add test
nwatson22 Sep 21, 2023
9cf86d8
Set Version: 1.0.302
Sep 21, 2023
440a553
Change test selection to use exact match
nwatson22 Sep 21, 2023
5b738a0
Try adding --subproof argument for selecting which subproof to use (i…
nwatson22 Sep 21, 2023
830576e
Fix subproof path selection
nwatson22 Sep 22, 2023
f56acab
Set Version: 1.0.303
Sep 22, 2023
8656742
Merge master into branch
nwatson22 Sep 22, 2023
dc11c02
Merge branch 'master' into noah/branches-parallelization
nwatson22 Sep 22, 2023
921541b
Set Version: 1.0.304
Sep 22, 2023
b0d18b2
Merge master into branch
nwatson22 Sep 25, 2023
0881fb7
Update poetry.lock
nwatson22 Sep 25, 2023
4abac54
Set Version: 1.0.305
Sep 25, 2023
39596fc
Update flake.nix to use branch
nwatson22 Sep 25, 2023
de03318
Merge branch 'noah/branches-parallelization' of https://github.com/ru…
nwatson22 Sep 25, 2023
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
2 changes: 1 addition & 1 deletion flake.nix
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@
ethereum-legacytests.url = "github:ethereum/legacytests/d7abc42a7b352a7b44b1f66b58aca54e4af6a9d7";
ethereum-legacytests.flake = false;
haskell-backend.follows = "k-framework/haskell-backend";
pyk.url = "github:runtimeverification/pyk/v0.1.447";
pyk.url = "github:runtimeverification/pyk/noah/subproof-split";
pyk.inputs.flake-utils.follows = "k-framework/flake-utils";
pyk.inputs.nixpkgs.follows = "k-framework/nixpkgs";
foundry.url = "github:shazow/foundry.nix/monthly"; # Use monthly branch for permanent releases
Expand Down
Loading
Loading