Skip to content

Issues: rindPHI/isla

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

[BUG] Recursion limit exceeded when mutating tar derivation tree
#95 opened Nov 22, 2024 by Kristopher38
1
[BUG] Unparseable XPath-style Formula bug Something isn't working medium Bugs/issues of medium importance parser ISLa-Parser related issues
#92 opened Mar 4, 2024 by rindPHI
@rindPHI
[BUG] Runtime differences between equivalent constraints
#91 opened Jan 22, 2024 by ju-klein
2
[FEATURE] Grammatical Case Distinction for SMT Formulas completeness minor Bugs/issues of minor importance SMT-LIB Bugs related to ISLa's handling of SMT-LIB formulas.
#84 opened Aug 7, 2023 by rindPHI
[FEATURE] Consolidate Concrete Syntax enhancement New feature or request minor Bugs/issues of minor importance parser ISLa-Parser related issues
#81 opened Jul 11, 2023 by rindPHI ISLa 2.0
[FEATURE] Replace queue/cost function solver approach by coverage-guided random choice + backtracking critical Important/Critical bugs / issues. enhancement New feature or request
#80 opened Jul 11, 2023 by rindPHI ISLa 2.0
[FEATURE] Language Extension: Higher-Order and External Functions enhancement New feature or request medium Bugs/issues of medium importance parser ISLa-Parser related issues
#79 opened Jul 11, 2023 by rindPHI ISLa 2.0
[BUG] Complex x..y..z xpath triggers assertion error
#76 opened May 22, 2023 by andreas-zeller
[BUG] ISLaSolver.check() error message reports wrong start symbol
#75 opened May 20, 2023 by andreas-zeller
[FEATURE] Discussion: Compatibility with "theory of fixed size bit-vectors" enhancement New feature or request medium Bugs/issues of medium importance
#74 opened May 2, 2023 by leonbett
1
[BUG] Correct result with infix AND, incorrect result with s-expr AND medium Bugs/issues of medium importance parser ISLa-Parser related issues
#72 opened Apr 27, 2023 by leonbett
1
[FEATURE] Expose timeout_ms to user enhancement New feature or request minor Bugs/issues of minor importance
#71 opened Apr 27, 2023 by leonbett
[FEATURE] Language syntax wishlist enhancement New feature or request minor Bugs/issues of minor importance parser ISLa-Parser related issues
#70 opened Apr 27, 2023 by leonbett
1
[BUG] Solving arithmetic constraints takes very long completeness medium Bugs/issues of medium importance
#68 opened Apr 27, 2023 by leonbett
6
Completeness bug: Solver does not terminate for forall-exists formula with recursive bound variable types bug Something isn't working completeness medium Bugs/issues of medium importance
#50 opened Jan 9, 2023 by rindPHI
SyntaxError when trying to parse formula with shortened paths bug Something isn't working parser ISLa-Parser related issues
#49 opened Jan 6, 2023 by mojung
Formula with same variable bound by different quantifiers and using XPath expressions not parseable bug Something isn't working minor Bugs/issues of minor importance parser ISLa-Parser related issues
#17 opened Sep 29, 2022 by rindPHI
@rindPHI
failure when trying to parse expressions containing nested and-not in prefix notation bug Something isn't working medium Bugs/issues of medium importance parser ISLa-Parser related issues
#3 opened Aug 27, 2022 by michaelmera
@rindPHI
1
inconsistent result for evaluate()/solve() when changing order of variables and constants in (+) operands bug Something isn't working medium Bugs/issues of medium importance SMT-LIB Bugs related to ISLa's handling of SMT-LIB formulas.
#2 opened Aug 27, 2022 by michaelmera
@rindPHI
1
ProTip! Mix and match filters to narrow down what you’re looking for.