Skip to content

Issues: formalsec/smtml

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

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

Lower bounds CI dependencies Add, remove, or fix dependencies enhancement New feature or request
#111 opened Apr 19, 2024 by filipeom
Rename Seq_ to String_ to avoid exposing solver implementation of string operators bug Something isn't working
#103 opened Apr 3, 2024 by filipeom
1
Bring ECMA-SL's concrete evaluation to encoding enhancement New feature or request high-priority Something that should be given attention to first
#99 opened Mar 25, 2024 by filipeom
1
@filipeom @joaomhmpereira
Crash in symbolic string operations bug Something isn't working
#98 opened Mar 24, 2024 by filipeom
Make the expression type a GADT proposal Proposal for addition or refinements
#88 opened Mar 9, 2024 by filipeom
Add solver get_statistics function enhancement New feature or request
#85 opened Mar 5, 2024 by filipeom
Apply normalization at the constructor level proposal Proposal for addition or refinements
#63 opened Jan 24, 2024 by filipeom
2
1
Model with incorrect symbol bug Something isn't working
#61 opened Jan 24, 2024 by filipeom
Add remaining cases to Expr simplification bug Something isn't working
#60 opened Jan 24, 2024 by filipeom
3
Improve parsing error messages bug Something isn't working
#56 opened Jan 20, 2024 by filipeom
Provide datastructures for hashconsed expressions proposal Proposal for addition or refinements
#53 opened Jan 15, 2024 by filipeom
Test simplifications enhancement New feature or request good first issue Good for newcomers
#51 opened Jan 15, 2024 by filipeom
Fix display of gigantic floats in Model.pp bug Something isn't working
#49 opened Jan 12, 2024 by filipeom
@filipeom
1
Avoid installing Z3 as default solver proposal Proposal for addition or refinements
#46 opened Jan 2, 2024 by filipeom
9
Add Bitwuzla solver enhancement New feature or request
#42 opened Nov 30, 2023 by filipeom
1 of 4 tasks
SMT Arrays proposal Proposal for addition or refinements
#41 opened Nov 29, 2023 by filipeom
4
Nary operators proposal Proposal for addition or refinements
#34 opened Oct 26, 2023 by filipeom
Add support for I8 and I16 bitvectors enhancement New feature or request
#32 opened Oct 16, 2023 by filipeom
1 of 2 tasks
Allow Z3 mappings to create contexts without models bug Something isn't working
#31 opened Oct 14, 2023 by filipeom
4
ProTip! Exclude everything labeled bug with -label:bug.