Dominic Steinhöfel comments

Results 19 comments of


                                            Dominic Steinhöfel

[BUG] Solving arithmetic constraints takes very long

And it might make sense to use `count(, "", "6")` instead of `(= 6 str.len(start))`.

[BUG] Solving arithmetic constraints takes very long

And what do you expect from the equation of the elements of types `` and ``, which can only attain single character (non-numeric) values, with an arithmetic expression?

[BUG] Solving arithmetic constraints takes very long

> As far as I understand, `str.to.code` works on characters, i.e. it converts characters (singleton strings) such as 'A' to 0x41. `str.to.int` converts strings that consist exclusively of digits to...

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

I see. It would make sense to offer something like that. One way could be to use `int2bv` chained with `str.to.int` (a little ugly, but we could also add some...

inconsistent result for evaluate()/solve() when changing order of variables and constants in (+) operands

Hi Michael, ISLa can unfortunately only handle the binary version of "+" it seems. I added a test case and a TODO for the issue. In the meantime, you could...

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

This is indeed a bug. I will put it on hold for a while. I don't consider mixing the S-expr and "mathematical" style a good "feature" and want to prevent...

failure when trying to parse expressions containing nested `and`-`not` in prefix notation

Thanks for reporting this. For the record (Michael knows this already): Expressing the constraint in infix/prefix syntax (without S-expressions!) circumvents this problem.

[FEATURE] Language syntax wishlist

Sounds doable, will keep it in mind :)

Fix typo in README

Thanks for the correction!