Markus Zimmermann
Markus Zimmermann
Introduce an option for delta-debugging (on by default) which does the following: - record how long the execution of the original input takes to execute - take this time, increase...
```tavor $Even Sequence = start: 0, step: 2 START = A A = "The first " $B.Count " even Integers are:" B B = +4,10($Even.Next " ") ``` results into...
It is a.) more common, b.) the command in the binary is called reducing and c.) wayyy easier to say, remember and straight-forward Keep delta-debugging as a synonym in the...
``` tavor START = Number " + " Number " = " ${x + y} Number = [1-9]*([\d]) ``` Generates always the same numbers for x and y. However, the...
Remove all testing code of type ``` go Implements(t, tok, &ConstantInt{}) ``` With ``` go ... // Token interface methods var _ Token = (*ConstantInt)(nil) ... ``` Do this in...
This should be minified since it becomes more difficult with more entries: ``` Token = (A | B | @(A | B) ``` This token can hold A, B, AB...
It would be nice to have a version of Tavor online for different stages of Tavor: - Format definition editor - Visualization of different stages using D3 - Generation in...
It would be useful to add support for loading data from external sources e.g. a external CSV file could be loaded and be made available in the Tavor format. This...
The amount of permutations can get big very fast. Currently we use uint64 where we can but there is no rand.Uint64n only a rand.Int63n which often fails because of the...
Additional to generating, parsing and reducing an additional operation should be implemented: transforming This should be similar to [XSLT](https://en.wikipedia.org/wiki/XSLT). The first main goal should be to read simple source code...