Skip to content

Issues: runtimeverification/mir-semantics

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

47 Open 56 Closed
47 Open 56 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
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

An issue to refactor this repository to use upstream KCLIArgs class instead of making its entirely own CLI argument handling should be made, and then linked here. k-tooling integration with K tools
#330 opened Feb 22, 2024 by yanliu18
Update project template
#328 opened Feb 21, 2024 by tothtamas28
Parsing meta-issue mir-parser MIR syntax in K
#327 opened Feb 21, 2024 by dkcumming
1
Claims require explicit listing of every cell of <localDecls> and <basicBlocks> kmir-prove prover support
#321 opened Feb 1, 2024 by dkcumming Prover support for simple, full Rust programs
@dkcumming
Proofs require every token requires explict declaration in verify.k kmir-prove prover support
#320 opened Feb 1, 2024 by dkcumming Prover support for simple, full Rust programs
@dkcumming
1
Strange symbols in nix-test's result mir-parser MIR syntax in K
#315 opened Jan 31, 2024 by yanliu18 Refactor KMIR-pyk implementation
Unpassing KMIR definitions to MIR k-tooling integration with K tools
#313 opened Jan 30, 2024 by yanliu18
Migrate build from kbuild to kdist k-tooling integration with K tools
#310 opened Jan 10, 2024 by tothtamas28 Magnifying `KBuild`
1
CI Timing on daniel@daniel-MS-7E06 discussion anything like a suggestion, a question, a proposal
#308 opened Jan 8, 2024 by dkcumming
3
Remove side conditions evaluating BBId or BBName kmir-prove prover support
#306 opened Dec 21, 2023 by dkcumming Prover support for simple, full Rust programs
@dkcumming
Stale version in kbuild.toml k-tooling integration with K tools
#290 opened Dec 11, 2023 by dkcumming Magnifying `KBuild`
[New feature] Add kore-print for kmir k-tooling integration with K tools
#288 opened Dec 8, 2023 by yanliu18 Refactor KMIR-pyk implementation
[New feature] Add *.rs as a new input type for tools k-tooling integration with K tools
#287 opened Dec 8, 2023 by yanliu18 Refactor KMIR-pyk implementation
Local nix build failed with [Error] Internal: bison returned nonzero exit code: 141 k-tooling integration with K tools
#274 opened Nov 28, 2023 by yanliu18 Magnifying `KBuild`
2
Errors with empty <functions> and structural framing in proofs kmir-prove prover support
#261 opened Nov 20, 2023 by dkcumming Prover support for simple, full Rust programs
BUG test suite passes parsing ambiguities bug Something isn't working mir-parser MIR syntax in K
#235 opened Oct 20, 2023 by dkcumming
6
Compilation of primitive min and max results in empty constant
#234 opened Oct 17, 2023 by dkcumming
Variable names can be Type names
#228 opened Oct 16, 2023 by dkcumming
BRANCH smir-syntax: Local / LocalToken not parsing bug Something isn't working mir-parser MIR syntax in K
#209 opened Sep 5, 2023 by dkcumming
15
kprove claim parser has conflict between LocalToken and an unused variable
#189 opened Aug 8, 2023 by dkcumming Prover support for simple, full Rust programs
5
RValue as const Eq parsing failure: unexpected Eq bug Something isn't working mir-parser MIR syntax in K
#171 opened Jul 3, 2023 by yanliu18 Milestone 3 - KMIR Semantics
Rust's Memory model and its abstraction in KMIR discussion anything like a suggestion, a question, a proposal
#170 opened Jul 3, 2023 by yanliu18
kmir execution should be enabled for any functions mir-semantics MIR semantics in K
#165 opened Jun 28, 2023 by yanliu18
What is 'InternId'? discussion anything like a suggestion, a question, a proposal
#134 opened Apr 14, 2023 by yanliu18
Precedence in the mutability syntax
#133 opened Apr 14, 2023 by yanliu18
@geo2a
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.