keremispirli

``` this.promise = new Promise((resolve, reject) => { this.resolve = resolve; this.reject = reject; let a = 42; }); ``` _Abracadabra!_ (triggers **extension.refactorix.ArrowFunction.ToggleSingleStatementBlockExpression**) `this.promise = new Promise((resolve, reject) => this.resolve...

Shrinking / Isolating the defect

5

When a issue is found the trace might contain unnecessary steps and data. For example, •loops might be removed while the bug still occurs. •only the x and y values...

Additional check for cstrAnd

2

For `cstrAnd'` in \sys\defs\src\ValExprImpls.hs, also check : ``` 0

LPE

11

Jan Friso Groote has theory LPE (Linear Process Equations)... see e.g. https://link.springer.com/content/pdf/10.1007%2F978-3-540-73938-8_6.pdf

LPE can create multiple processes with same name

6

1) Load Echo model 2) `lpe proc` -> creates LPE version of proc (`LPE_proc`) 3) `show procdef LPE_proc` -> ``` ( LPE_proc, PROCESS [ In Out ] [ pc$proc proc$gnf1$In$Out$x...

Unify how Benchmark, examples, model exploration and integration tests are run

5

There are slight differences between how Benchmark, examples, model exploration and integration tests are running; we should make them the same. See TestBenchmarkSanity.hs and compare with others.

Incorporate support for Real Numbers

3

Add Real to basic datatypes Real is unlimited accurate rational number. Possible representation (a, p :: Integer) -> a * 10^p