Issues: microsoft/Armada
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Can't subtract pointers into same array
enhancement
New feature or request
#23
opened Mar 25, 2021 by
jaylorch
Assume at end of if clause attaches to subsequent statement
enhancement
New feature or request
#20
opened Mar 25, 2021 by
jaylorch
Empty statement not supported
enhancement
New feature or request
#19
opened Mar 25, 2021 by
jaylorch
Concrete-level checker unnecessarily rejects return of multiple values
enhancement
New feature or request
#18
opened Mar 20, 2021 by
jaylorch
Regression test framework doesn't support negative examples
enhancement
New feature or request
#15
opened Mar 18, 2021 by
jaylorch
Invariant proofs split across files
enhancement
New feature or request
#13
opened Mar 18, 2021 by
jaylorch
No support for thread-local storage
enhancement
New feature or request
#12
opened Mar 18, 2021 by
jaylorch
Can't subtract pointers into the same array
enhancement
New feature or request
#11
opened Mar 18, 2021 by
jaylorch
Generated files hard to distinguish from developer-written ones
enhancement
New feature or request
#10
opened Mar 18, 2021 by
jaylorch
Customizations are per-lemma, not per-instruction
enhancement
New feature or request
#8
opened Mar 18, 2021 by
jaylorch
Can't express well-formedness of an expression
enhancement
New feature or request
#7
opened Mar 17, 2021 by
jaylorch
Can't customize a lemma by removing preconditions
enhancement
New feature or request
#6
opened Mar 17, 2021 by
jaylorch
Can't specify inductive invariant sets
enhancement
New feature or request
#5
opened Mar 17, 2021 by
jaylorch
Some emitted proof elements aren't needed
enhancement
New feature or request
#4
opened Mar 17, 2021 by
jaylorch
ProTip!
Add no:assignee to see everything that’s not assigned.