Marko Ristin

Remove dependency on Threads

1

Currently, threads are only used for testing framework (and not testing cases themselves). IMO, it's better to shift responsibility for running tests in parallel to the testing environment (`make test...

Conan package

5

Hi, Have you considered making a conan package? If not, would you mind if we make one? In that case, could you please bump the version to 1.0.0 so that...

Wrapping for Python 3

6

Hi, First of all, thanks for the great work! Have you considered making a Python wrapper around the library? If not, would you mind if I paraphrase (and reference) your...

Merge with elm-docstyle?

5

Hi! Since elm-docstyle supports `--validate` flag, would you consider merging that functionality with elm-docstyle? (https://github.com/Parquery/elm-docstyle) If so, I would like to translate it to Python and submit a PR. Thanks...

Currently, the developer has to write a "more restricted" version of the function if large values for one or more arguments result in impractical computation times. For example, ETHZ Eprog...

Current immediate representation (IR) is crude and the strategies are directly inferred on abstract syntax tree (AST). This approach is quite limiting as it is difficult to reason about better...

Document what is executed and how

9

(This is a split from the issue #58 where we started discussing what happens with the side effects.) @pschanely could you describe the current behavior? The symbolic values are passed...

Hi, Is this project still alive? I noticed that there were some errors (_e.g._, `flatiter` does not specify `__next__` _etc._). Should we submit the fixes here as a pull request...

Docs: add an additional example for triggering only when input length >= 3

1

Hi, It is a very common scenario to trigger a search only when the input length is above a certain limit (say, 3 characters), and otherwise show a message that...