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

Issues: runtimeverification/pyk

Clear current search query, filters, and sorts
0 Open 151 Closed
0 Open 151 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Allow --debug to be passed through to underlying invocations of kompile via kbuild kbuild
#1045 by Baltoli was closed Mar 28, 2024
1
Compute substitutions on Split creation
#1011 by PetarMax was closed Mar 25, 2024
1
@PetarMax
Switch testing over to booster
#1005 by ehildenb was closed Apr 3, 2024
1
@tothtamas28
1
Upstream JSON-RPC server
#1019 by ehildenb was closed Apr 2, 2024
1
@nwatson22
6
Store node attributes directly on the node
#965 by ehildenb was closed Mar 28, 2024
1
@nwatson22
2
ability to omit the initialization of cli arguments to defaults during inherited initialization enhancement New feature or request
#906 by ovatman was closed Mar 21, 2024
@ovatman
4
Improve handling of command line options enhancement New feature or request
#885 by nwatson22 was closed Mar 7, 2024
1
@nwatson22
3
make test-integration produces an error
#879 by lucasmt was closed Feb 15, 2024
11
Can not make sense of the ValueError(f'Claim labels not found: {unfound_labels}')
#868 by yanliu18 was closed Feb 20, 2024
3
Add pytest option --use-booster
#820 by tothtamas28 was closed Jan 19, 2024
1
Add support for missing HB flags
#816 by palinatolmach was closed Jan 23, 2024
1
@tothtamas28
3
Refine KoreClientError to include additional details returned by the server enhancement New feature or request
#807 by geo2a was closed Jan 17, 2024
1
@tothtamas28
Add type-inference-mode flag to kbuild
#788 by dkcumming was closed Jan 10, 2024
1
[New Feature] requesting enable gen-glr-bison-parser option in kbuild. kbuild
#783 by yanliu18 was closed Dec 15, 2023
1
Discrepency in JSON encoding of Left/Right assoc between pyk and Haskell backend
#776 by goodlyrottenapple was closed Jan 10, 2024
1
@tothtamas28
3
Validate flags used in kbuild.toml kbuild
#771 by Baltoli was closed Dec 20, 2023
1
@gtrepta
2
Document kdist
#764 by Baltoli was closed Jan 10, 2024
1
@tothtamas28
IMPLICATION_FAILURE_TEST_DATA not used anywhere
#704 by anvacaru was closed Oct 30, 2023
1
KCFG.replace_node is broken bug Something isn't working
#686 by tothtamas28 was closed Feb 27, 2024
1
@ehildenb
Test that kast_to_kore is outputting the same kore as kast for all kast_to_kore tests
#653 by nwatson22 was closed Sep 27, 2023
1
@nwatson22
Removing #Bottom-filtering hotfix
#644 by PetarMax was closed Sep 8, 2023
@PetarMax
1
Kompiling a K semantics with Poetry
#633 by tothtamas28 was closed Oct 18, 2023
2
Branch handling improvements enhancement New feature or request
#632 by PetarMax was closed Sep 18, 2023
1
@nwatson22
3
Incorrect kore emitted for KItem
#630 by goodlyrottenapple was closed Sep 13, 2023
1
@nwatson22
Send AC symbols using \left/right-assoc in kore-rpc responses
#629 by goodlyrottenapple was closed Oct 19, 2023
2
ProTip! Type g i on any issue or pull request to go back to the issue listing page.