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

15 Open 117 Closed
15 Open 117 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

Refactor value handling to make example proofs easier
#506 opened Mar 24, 2025 by jberthold
@jberthold
make clean doesn't clean fully
#504 opened Mar 24, 2025 by dkcumming
Support for enums P-token required for supporting P-token code
#499 opened Mar 21, 2025 by jberthold
Set up (file for) a lemma library for mir-semantics
#497 opened Mar 19, 2025 by jberthold
1
@jberthold
Add symbolic arguments to execution according to start symbol
#495 opened Mar 18, 2025 by jberthold
Prepare AWS initial application
#494 opened Mar 18, 2025 by jberthold
@ACassimiro @dkcumming
2
Move logic for parsing inside KMIR
#491 opened Mar 14, 2025 by dkcumming
Create nix flake for mir-semantics
#490 opened Mar 14, 2025 by jberthold
Support function pointers as callees
#488 opened Mar 13, 2025 by jberthold
Support for arrays P-token required for supporting P-token code
#487 opened Mar 12, 2025 by jberthold
Feature Overview for mir-semantics applied to p-token P-token required for supporting P-token code
#485 opened Mar 12, 2025 by jberthold
(Symbolic) claim tests for all implemented arithmetic/comparison operations
#482 opened Mar 9, 2025 by jberthold
@jberthold
(POC of) multi-crate MIR execution
#469 opened Feb 28, 2025 by jberthold
@dkcumming
1
Simplify sorts and review parsing in KMIR-AST
#449 opened Feb 10, 2025 by jberthold
1
@jberthold
1
Run parsing integration tests within python harness
#416 opened Sep 4, 2024 by jberthold
ProTip! Type g i on any issue or pull request to go back to the issue listing page.