Skip to content

Pull requests: runtimeverification/evm-semantics

New pull request New
21 Open 2,025 Closed
21 Open 2,025 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Update dependency: deps/k_release
automerge
#2411 opened May 2, 2024 by rv-jenkins Loading…
@anvacaru
Use parallel prover branch
#2400 opened Apr 19, 2024 by nwatson22 • Draft
@nwatson22
Experiment with modular blockchain-k-plugin build
#2387 opened Apr 8, 2024 by tothtamas28 • Draft
@tothtamas28
Deprecate symbol and klabel(_)
#2378 opened Mar 28, 2024 by Baltoli • Draft
Add functional claim for [range-memUpdate-before] from lemmas/evm-bytes-simplificaton.k
#2374 opened Mar 27, 2024 by geo2a Loading…
added toml processing capability
enhancement New feature or request
#2369 opened Mar 25, 2024 by ovatman Loading…
@ovatman
2
Use options-refactor branch of pyk (do not merge)
#2352 opened Mar 13, 2024 by nwatson22 • Draft
@nwatson22
Improve options passing and default options handling (do not merge)
#2319 opened Feb 29, 2024 by nwatson22 • Draft
@nwatson22
18
Add lemmas used in recent engagements
#2308 opened Feb 21, 2024 by palinatolmach • Draft
1
Disable legacy tests, enable more booster tests
enhancement New feature or request
#2292 opened Feb 9, 2024 by ehildenb • Draft
1 task
@ehildenb
Upstreaming lemmas for symbolic calldata reasoning
#2227 opened Dec 19, 2023 by palinatolmach • Draft
[DRAFT] use PyK's parallel prover interface
#2198 opened Nov 29, 2023 by h0nzZik • Draft
[WIP] Preserve kore server in a worked thread
#2176 opened Nov 15, 2023 by h0nzZik • Draft
Proof queue
#2147 opened Oct 31, 2023 by h0nzZik Loading…
4
WIP: Check valid jump dests on demand
not ready
#2112 opened Oct 12, 2023 by RaoulSchaffranek • Draft
Proof queue
#2094 opened Sep 27, 2023 by h0nzZik • Draft
@h0nzZik
Enable using proof heirarchy from depends clauses
#2093 opened Sep 27, 2023 by ehildenb Loading…
@h0nzZik
Organize MCD specs taking advantage of proof dependencies
#2090 opened Sep 26, 2023 by ehildenb • Draft
2 tasks
@ehildenb
[WIP] Remove the remaining runlemma => donelemma style claims
enhancement New feature or request
#2089 opened Sep 25, 2023 by ehildenb • Draft
Automatically add subproofs to parallelized execution once they become available
#2065 opened Sep 7, 2023 by nwatson22 • Draft
1
20
Add interpreter based on kllvm bindings
#1816 opened May 12, 2023 by tothtamas28 • Draft
@tothtamas28
ProTip! Follow long discussions with comments:>50.