Skip to content

Issues: Whiley/WhileyTheoremProver

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

51 Open 99 Closed
51 Open 99 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

wyal CompileTask.java Feature
#150 opened Dec 17, 2019 by OlaFosheimGrostad
3
Binding-Oriented Design (BOD) Feature Important
#149 opened Oct 23, 2018 by DavePearce
1
Unknown Quantifier Problem Bug
#148 opened Apr 18, 2018 by DavePearce
1
Semantics for Arrays?
#147 opened Apr 5, 2018 by DavePearce
Related Work
#146 opened Apr 3, 2018 by DavePearce
Counterexample Generation Internal Failure
#145 opened Apr 3, 2018 by DavePearce
1
Counterexample Generation Timeouts
#144 opened Apr 3, 2018 by DavePearce
2
Counterexample Generation with Function Invocation
#142 opened Mar 28, 2018 by DavePearce
2
Thoughts on Theorem Prover Design
#139 opened Oct 9, 2017 by DavePearce
5
Problem of Unresolved Names in TypeInvariantExtractor
#134 opened Sep 18, 2017 by DavePearce
Limitation with Flow Typing
#133 opened Sep 17, 2017 by DavePearce
Array Access with Negative Index? Bug
#132 opened Jul 23, 2017 by DavePearce
Extract Interpreter.Domain Actionable Feature
#130 opened Jul 20, 2017 by DavePearce
@DavePearce
Problem With ArrIdx_I Bug
#129 opened Jul 10, 2017 by DavePearce
Support for Versioned Heap
#127 opened Jun 21, 2017 by DavePearce
2
Multi-Variable Quantifier Instantiation Bug
#126 opened Jun 3, 2017 by DavePearce
1
Conflict between Identifiers and Keywords Actionable Bug
#125 opened Jun 2, 2017 by DavePearce
Remove SyntacticElement.attributes() Refactoring
#121 opened Jun 2, 2017 by DavePearce
Change Macro to Property Actionable Feature
#119 opened Jun 1, 2017 by DavePearce
Problem with Nested Quantifiers Bug
#118 opened Jun 1, 2017 by DavePearce
1
Ensure SyntacticItem Immutability
#117 opened May 31, 2017 by DavePearce
Simplification in RecordEqualityCaseAnalysis Actionable Feature
#116 opened May 29, 2017 by DavePearce
OpenRecords in RecordEqualityCaseAnalysis Feature
#115 opened May 29, 2017 by DavePearce
Limitation with TypeTestClosure Bug
#114 opened May 29, 2017 by DavePearce
More Performance Problems with Type Checking Feature
#112 opened May 28, 2017 by DavePearce
1
ProTip! Exclude everything labeled bug with -label:bug.