Dominic Steinhöfel
Dominic Steinhöfel
**Describe the bug** The ProbabilisticGeneratorGrammarCoverageFuzzer is over 30 times slower than GeneratorGrammarFuzzer when fuzzing 100 inputs from a CSV grammar (without generators or probabilities). I do not know whether this...
**Describe the bug** I tried the `GrammarReducer` (version 0.8.1 from PyPi) of the "Reducing Failure-Inducing Inputs" chapter with an example of processing CSV files, and get a really strange result....
Hey -- I don't know whether it's off topic, probably it is, but I created a LibreOffice Impress template for metropolis since I like the design, but sometimes don't want...
This PR makes the "duration" column *numerically* sortable, such that, e.g., "2.0" appears *before* "100.0" and not after as in an alphabetic sort. I consider this very important to track...
An alternative way to solve ISLa constraints following a "fuzz'n'repair" approach.
**Describe the bug** Some seemingly innocuous ISLa formulas with XPath-style shortcuts don't parse. **To Reproduce** Consider the following code: ```python from isla import __version__ from isla.solver import ISLaSolver print(__version__) #...
Implement solving SMT formulas by grammatical case distinction: A predicate holds iff it holds for all direct children of an involved variable. Several issues need to be resolved for this,...
Many problems in ISLa's frontend parser (e.g., #3, #72) originate in the mixture of S-expressions and "mathematical" syntax in ISLa's concrete syntax. Supporting both correctly is difficult; the necessity of...
The queue-based approach with the highly problem-specific cost function is a central pain point in the ISLa solver. It might be the most significant performance barrier in ISLa. The old...