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

Please don't merge! #2056

Closed
wants to merge 54 commits into from
Closed

Please don't merge! #2056

wants to merge 54 commits into from

Conversation

iFrostizz
Copy link
Contributor

Trying stuff related to changes on the prove_cterm endpoint on pyk runtimeverification/pyk#628

devops and others added 30 commits August 24, 2023 22:12
deps/pyk_release: Set Version v0.1.426
bb00217
Set Version: 1.0.279
f3e173d
kevm-pyk/: sync poetry files pyk version v0.1.426
056211f
flake.{nix,lock}: update Nix derivations
3a8f76e
deps/pyk_release: Set Version v0.1.427
a6c01d8
kevm-pyk/: sync poetry files pyk version v0.1.427
c9bb347
flake.{nix,lock}: update Nix derivations
48dcdd4
deps/pyk_release: Set Version v0.1.428
9601a84
kevm-pyk/: sync poetry files pyk version v0.1.428
1ef0bb4
deps/k_release: sync release file version 6.0.69
4c9b4f6
flake.{nix,lock}: update Nix derivations
1f9b015
Merge remote-tracking branch 'origin/master' into _update-deps/runtim…
60e1585 
…everification/pyk
deps/pyk_release: Set Version v0.1.429
2db3b6d
Set Version: 1.0.280
a3d26ca
kevm-pyk/: sync poetry files pyk version v0.1.429
46e3287
flake.{nix,lock}: update Nix derivations
a8a403e
@PetarMax
adding terminal nodes in calls to APR prover, fixing function names
f3d5177
@iFrostizz
keep init and target
693f7ae
@iFrostizz
adapt to pyk new handling of CTerm bottom/top
8a1fef4
@iFrostizz
handle view-kcfg bottom
999f833
@iFrostizz
update foundry-list unit test terminal dict name
1c0d557
@iFrostizz
ignore keep_nodes=
159b417
@iFrostizz
lock svm
438b2e4
Merge branch 'master' into _update-deps/runtimeverification/pyk
fa352da
Set Version: 1.0.281
b1aeded
kevm-pyk/: sync poetry files pyk version v0.1.429
179a05a
Merge remote-tracking branch 'origin/master' into _update-deps/runtim…
dc7665e 
…everification/pyk
deps/pyk_release: Set Version v0.1.430
c9a5caa
Set Version: 1.0.282
24e38b9
kevm-pyk/: sync poetry files pyk version v0.1.430
51338d5
devops and others added 24 commits August 28, 2023 15:23
flake.{nix,lock}: update Nix derivations
91dd813
@iFrostizz
remove useless initialization
eba3483
@iFrostizz
Merge branch 'master' into _update-deps/runtimeverification/pyk
e435b9b
Set Version: 1.0.283
a26b3f0
kevm-pyk/: sync poetry files pyk version v0.1.430
35ec5f1
deps/pyk_release: Set Version v0.1.431
aa5a313
kevm-pyk/: sync poetry files pyk version v0.1.431
9d1e099
flake.{nix,lock}: update Nix derivations
f777d0c
@nwatson22
Merge branch 'master' into _update-deps/runtimeverification/pyk
420031f
Set Version: 1.0.284
5d47354
@nwatson22
Fix bottom/top check
1f47292
@nwatson22
Update expected output for test_foundry_auto_abstraction
0aa51ef
@nwatson22
Fix test_legacy_prove to handle kevm.prove returning a list of final …
d31c604 
…terms
@iFrostizz
Merge branch 'master' into _update-deps/runtimeverification/pyk
19fd6a5
@iFrostizz
set hotfix branch
4547a48
Set Version: 1.0.285
2726e7a
@iFrostizz
Merge branch '_update-deps/runtimeverification/pyk' into try-hotfix
704ab65
@iFrostizz
Merge branch 'try-hotfix' of github.com:runtimeverification/evm-seman…
dcd62d5 
…tics into try-hotfix
@iFrostizz
set hotfix branch
8a2e7b8
@iFrostizz
lock
ce4a7a5
@iFrostizz
lock
de1182a
@iFrostizz
Merge branch 'master' into try-hotfix
c480c60
@iFrostizz
fmt
e211f90
Set Version: 1.0.286
f894051
@iFrostizz iFrostizz closed this Sep 4, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@iFrostizz @PetarMax @nwatson22