Skip to content
This repository was archived by the owner on Apr 25, 2024. It is now read-only.

Pull requests: runtimeverification/pyk

12 Open 851 Closed
12 Open 851 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviewsReview requiredApproved reviewChanges requested
Assignee
Filter by who’s assigned
Assigned to nobodyLoading
Sort
Sort by
NewestOldestMost commentedLeast commentedRecently updatedLeast recently updatedBest match
Most reactions
👍👎😄🎉😕❤️🚀👀

Pull requests list

Regression new updated expected output
#1044 opened Mar 28, 2024 by ehildenbMember • Draft
5
Disambiguate NDBranch types
#961 opened Mar 9, 2024 by RaoulSchaffranekMemberLoading…
1
Do not convert proofs to claims if they are not circularities.
#795 opened Dec 19, 2023 by h0nzZikContributorLoading…
BugReport reporter
#770 opened Dec 8, 2023 by gtreptaContributorLoading…
1
17
Make KCFGExplore aware of aborting requests due to unknwon predicates enhancement New feature or request
#744 opened Nov 29, 2023 by geo2aContributorLoading…
1 of 2 tasks
2
Parallel prover implementation for APRProofs
#727 opened Nov 15, 2023 by nwatson22ContributorLoading…
@nwatson22
6
Refactor to advance_proof
#695 opened Oct 20, 2023 by nwatson22Contributor • Draft
@nwatson22
Add parameter to advance_proof to split into subproofs after enough branches have been created
#638 opened Sep 6, 2023 by nwatson22ContributorLoading…
@nwatson22
12
Hotfix for the handling of bottom and top for the CTerm class
#628 opened Aug 31, 2023 by franfrandevContributorLoading…
@nwatson22
1
refactoring of PrettyPrinter: extract base class BasePrinter
#571 opened Aug 2, 2023 by h0nzZikContributorLoading…
3
Generic state merging, cover pullbacks
#544 opened Jul 19, 2023 by ehildenbMember • Draft
2
Caching the view content for better performance
#496 opened Jun 15, 2023 by franfrandevContributorLoading…
@franfrandev
ProTip! Adding no:label will show everything without a label.