Skip to content

Issues: KeYProject/key

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

309 Open 2,785 Closed
309 Open 2,785 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

Ask before closing a proof whose branches are "used" in other proofs Feature New feature or request
#3469 opened May 3, 2024 by unp1
JML ghost declarations should behave like set statements JavaJMLParser JML Parser
#3466 opened Apr 29, 2024 by wadoon v3.0.0
Control-C may leave a defunct process GUI 🐞 Bug
#3456 opened Apr 14, 2024 by mattulbrich v2.14.0
@FliegendeWurst
2
SMT Translation naming conflicts
#3455 opened Apr 14, 2024 by BookWood7th
2
no_state modifier no longer supported JML Parser JML (Semantics) 🐞 Bug
#3452 opened Apr 2, 2024 by mattulbrich
Metadata in KeY proof files Feature New feature or request
#3449 opened Mar 22, 2024 by wadoon
Poor error message for simple syntax error KeY Parser 🐞 Bug
#3441 opened Mar 8, 2024 by FliegendeWurst
Make the proof tree (or the KeY GUI in general) responsive during automatic proof search Feature New feature or request GUI HacKeYthon Candidate Issue for HacKeYthon '24
#3415 opened Feb 20, 2024 by WolframPfeifer
Improved Taclet Options Feature New feature or request GUI HacKeYthon Candidate Issue for HacKeYthon '24
#3414 opened Feb 20, 2024 by WolframPfeifer
@tobias-rnh
Do not update proof tree if not visible Feature New feature or request GUI HacKeYthon Candidate Issue for HacKeYthon '24
#3410 opened Feb 16, 2024 by unp1
Generic sort in problem definition leads to broken sequent Error Reporting Missing file/position info for parse errors, uncaught errors, wrong/unclear messages, ... KeY Parser 🐞 Bug
#3409 opened Feb 15, 2024 by WolframPfeifer
User-defined sorts cannot be referenced in quantified expressions 🐞 Bug Proof Loading/Saving
#3404 opened Feb 12, 2024 by mattulbrich
1
Userdefined \sorts can't be used in .java files
#3402 opened Feb 12, 2024 by FabianKof
KeY-BOOK2: Testgen has diverged from book description KeYBook
#3401 opened Feb 12, 2024 by wadoon
2 tasks
Missing rule for type of array Calculus Completeness Feature New feature or request HacKeYthon Candidate Issue for HacKeYthon '24 🐞 Bug
#3389 opened Jan 26, 2024 by WolframPfeifer
1
Drag and drop does no longer indicate target formula GUI 🐞 Bug P:LOW
#3378 opened Dec 20, 2023 by mattulbrich
Assignable does not work correctly with Boxed types
#3364 opened Nov 28, 2023 by fab918
Be able to edit the source file in the main interface Feature New feature or request GUI
#3363 opened Nov 28, 2023 by fab918
1
Assignable prevents proving the algorithm JML Parser
#3362 opened Nov 28, 2023 by fab918
7
Reverse Origin Lookup Feature New feature or request GUI
#3354 opened Nov 17, 2023 by unp1
@WolframPfeifer
1
Taclet option for checking overflows (in Java code) does not work Calculus Documentation Improvements or additions to documentation 🐞 Bug P:HIGH Prover Core ✋ Soundness
#3352 opened Nov 15, 2023 by WolframPfeifer
1
@WolframPfeifer
RuleSet names with more structure Feature New feature or request KeY Parser Prover Core
#3350 opened Nov 14, 2023 by unp1
SourceView does not highlight symbolically executed statements (sometimes) GUI HacKeYthon Candidate Issue for HacKeYthon '24 🐞 Bug
#3342 opened Nov 7, 2023 by unp1
Cannot slice proofs with filename matching .+slice[^0-9].+ keyext.slicing Module: keyext.slicing 🐞 Bug
#3336 opened Nov 4, 2023 by FliegendeWurst
@FliegendeWurst
Node selection after loading a proof GUI
#3297 opened Oct 13, 2023 by unp1
1
@unp1
4
ProTip! Updated in the last three days: updated:>2024-05-23.