rindPHI/isla issues and pull requests

#95 - [BUG] Recursion limit exceeded when mutating tar derivation tree

Issue - State: open - Opened by Kristopher38 8 days ago - 1 comment

#94 - Fix level predicate

Pull Request - State: closed - Opened by vasylenson 5 months ago - 1 comment

#93 - Fix typo in README

Pull Request - State: open - Opened by MaGaroo 6 months ago - 1 comment

#92 - [BUG] Unparseable XPath-style Formula

Issue - State: open - Opened by rindPHI 9 months ago
Labels: bug, medium, parser

#91 - [BUG] Runtime differences between equivalent constraints

Issue - State: open - Opened by ju-klein 10 months ago - 2 comments

#90 - RepairSolver

Pull Request - State: open - Opened by rindPHI 11 months ago

#89 - dev

Pull Request - State: open - Opened by rindPHI 11 months ago

#88 - dev

Pull Request - State: closed - Opened by rindPHI about 1 year ago

#87 - [FEATURE] Replace homegrown Maybe/Exceptional types

Issue - State: closed - Opened by rindPHI over 1 year ago

#86 - [BUG] ISLaSolver.check() and evaluate() return wrong output

Issue - State: closed - Opened by martineberlein over 1 year ago

#85 - ISLa 2.0

Pull Request - State: open - Opened by rindPHI over 1 year ago

#84 - [FEATURE] Grammatical Case Distinction for SMT Formulas

Issue - State: open - Opened by rindPHI over 1 year ago
Labels: SMT-LIB, minor, completeness

#83 - [BUG] Timeout in str.indexof -1

Issue - State: closed - Opened by leonbett over 1 year ago - 6 comments

#82 - [QUESTION] Fuzzing as part of a parser generator?

Issue - State: closed - Opened by Lotes over 1 year ago - 3 comments

#81 - [FEATURE] Consolidate Concrete Syntax

Issue - State: open - Opened by rindPHI over 1 year ago
Labels: enhancement, minor, parser

#80 - [FEATURE] Replace queue/cost function solver approach by coverage-guided random choice + backtracking

Issue - State: open - Opened by rindPHI over 1 year ago
Labels: enhancement, critical

#79 - [FEATURE] Language Extension: Higher-Order and External Functions

Issue - State: open - Opened by rindPHI over 1 year ago
Labels: enhancement, medium, parser

#78 - Supporting negative int literals in concrete syntax

Pull Request - State: closed - Opened by rindPHI over 1 year ago

#77 - Improved support signed padded str to int

Pull Request - State: closed - Opened by rindPHI over 1 year ago

#76 - [BUG] Complex x..y..z xpath triggers assertion error

Issue - State: open - Opened by andreas-zeller over 1 year ago

#75 - [BUG] ISLaSolver.check() error message reports wrong start symbol

Issue - State: open - Opened by andreas-zeller over 1 year ago

#74 - [FEATURE] Discussion: Compatibility with "theory of fixed size bit-vectors"

Issue - State: open - Opened by leonbett over 1 year ago - 1 comment
Labels: enhancement, medium

#73 - [BUG] ISLa ignores constraints if solution length is not stated explicitly

Issue - State: closed - Opened by leonbett over 1 year ago - 4 comments

#72 - [BUG] Correct result with infix AND, incorrect result with s-expr AND

Issue - State: open - Opened by leonbett over 1 year ago - 1 comment
Labels: medium, parser

#71 - [FEATURE] Expose timeout_ms to user

Issue - State: open - Opened by leonbett over 1 year ago
Labels: enhancement, minor

#70 - [FEATURE] Language syntax wishlist

Issue - State: open - Opened by leonbett over 1 year ago - 1 comment
Labels: enhancement, minor, parser

#69 - dev

Pull Request - State: closed - Opened by rindPHI over 1 year ago

#68 - [BUG] Solving arithmetic constraints takes very long

Issue - State: open - Opened by leonbett over 1 year ago - 6 comments
Labels: medium, completeness

#67 - dev

Pull Request - State: closed - Opened by rindPHI over 1 year ago

#66 - 1.13.0: Improvements in `count` and `ISLaSolver.extract_regular_expre…

Pull Request - State: closed - Opened by rindPHI over 1 year ago

#65 - Change in count predicate (see CHANGELOG)

Pull Request - State: closed - Opened by rindPHI over 1 year ago

#64 - v1.11.2

Pull Request - State: closed - Opened by rindPHI over 1 year ago

#63 - Documentation

Pull Request - State: closed - Opened by rindPHI over 1 year ago

#62 - Added docu TODO page

Pull Request - State: closed - Opened by rindPHI over 1 year ago

#61 - documentation

Pull Request - State: closed - Opened by rindPHI over 1 year ago

#60 - dev

Pull Request - State: closed - Opened by rindPHI over 1 year ago

#59 - documentation

Pull Request - State: closed - Opened by rindPHI over 1 year ago

#58 - Issue 53

Pull Request - State: closed - Opened by rindPHI over 1 year ago

#57 - Solver outputs solution for unsatisfiable formula with three quantifiers

Issue - State: closed - Opened by mojung over 1 year ago - 3 comments

#56 - dev

Pull Request - State: closed - Opened by rindPHI over 1 year ago

#55 - dev

Pull Request - State: closed - Opened by rindPHI over 1 year ago

#54 - dev

Pull Request - State: closed - Opened by rindPHI almost 2 years ago

#53 - RecursionError when using an implication in forall

Issue - State: closed - Opened by leonbett almost 2 years ago - 3 comments

#52 - Right-hand side of disjunction not always considered

Issue - State: closed - Opened by mojung almost 2 years ago - 5 comments

#51 - dev

Pull Request - State: closed - Opened by rindPHI almost 2 years ago

#50 - Completeness bug: Solver does not terminate for forall-exists formula with recursive bound variable types

Issue - State: open - Opened by rindPHI almost 2 years ago
Labels: bug, medium, completeness

#49 - SyntaxError when trying to parse formula with shortened paths

Issue - State: open - Opened by mojung almost 2 years ago
Labels: bug, parser

#48 - StopIteration exception when using quantifier within sub-formula

Issue - State: closed - Opened by mojung almost 2 years ago - 1 comment

#47 - ISLa v1.10.0

Pull Request - State: closed - Opened by rindPHI almost 2 years ago

#46 - Issue 40: `None` is default value for `formula` in `ISLaSolver`

Pull Request - State: closed - Opened by rindPHI almost 2 years ago - 1 comment

#45 - BNF parsing translates terminals that "look like" fuzzing book nonterminals into nonterminals

Issue - State: closed - Opened by rindPHI almost 2 years ago - 1 comment
Labels: good first issue, minor, parser

#44 - Implemented start_symbol feature (Issue #38)

Pull Request - State: closed - Opened by rindPHI almost 2 years ago

#43 - Issue 36

Pull Request - State: closed - Opened by rindPHI almost 2 years ago

#42 - Issue 39

Pull Request - State: closed - Opened by rindPHI almost 2 years ago

#41 - Issue 37

Pull Request - State: closed - Opened by rindPHI almost 2 years ago

#40 - How do I create an ISLa solver with _no_ constraints?

Issue - State: closed - Opened by andreas-zeller almost 2 years ago - 3 comments
Labels: enhancement, minor

#39 - How does count() work?

Issue - State: closed - Opened by andreas-zeller almost 2 years ago - 5 comments
Labels: bug, documentation, medium

#38 - Have a `start_symbol` parameter in ISLaSolver.init()

Issue - State: closed - Opened by andreas-zeller almost 2 years ago
Labels: minor

#37 - Error parsing SMT formula when combining Path and SMT-Lib syntax

Issue - State: closed - Opened by andreas-zeller almost 2 years ago - 2 comments
Labels: invalid

#36 - Constraints not satisfied in complex derivation tree

Issue - State: closed - Opened by andreas-zeller almost 2 years ago - 3 comments
Labels: bug, critical

#35 - dev

Pull Request - State: closed - Opened by rindPHI almost 2 years ago

#34 - dev

Pull Request - State: closed - Opened by rindPHI almost 2 years ago

#33 - dev

Pull Request - State: closed - Opened by rindPHI almost 2 years ago

#32 - ISLa v1.9.6

Pull Request - State: closed - Opened by rindPHI almost 2 years ago