FlowSpec issues on YellowGrass.org

21

Jul '18

Missing a rule for CFG construction should never be silentimprovement @jeffsmits

20

Jun '18

Rename "occurrence" to locationimprovement @jeffsmits

19

Jun '18

Provide built-in `this` in property rules toofeature @jeffsmits

18

Jun '18

Allow creation of CFG nodes that aren't directly AST nodes?feature @jeffsmits

17

Jun '18

Allow rules to reference ASTnode.entry/exit instead of just CFG nodes?feature @jeffsmits

16

Jun '18

Provide filter on which analyses are run through Stratego interfacefeature @jeffsmits

15

Jun '18

Add static checks of the type systemimprovement @jeffsmits

14

Jun '18

Support definitions spread over multiple filesfeature @jeffsmits

13

Jun '18

Support language contributions (multiple projects add to same definition)feature @jeffsmits

12

Jan '18

Support flow-insensitive dataflow propertiesfeature @jeffsmits

11

Dec '17

Add primitives to go from AST node (usually string) to occurrenceimprovement @jeffsmits

10

Dec '17

Add preliminary results interfacefeature @jeffsmits

9

Dec '17

Support start/end initialisation rulesimprovement @jeffsmits

8

Nov '17

Add dynamic error during constraint collection when CFG root is inside another CFGimprovement @jeffsmits

7

Nov '17

Export the used lattice per property in the static export filefeature @jeffsmits

6

Nov '17

Read in the lattice definitions from the static code export filefeature @jeffsmits

5

Nov '17

Export lattice definitions to ATerm file that already has the transfer functionsimprovement @jeffsmits

4

Nov '17

Treat `name` type as an occurence instead of a stringerror @jeffsmits

3

Nov '17

Use NaBL2 analysis in set comprehensions to enforce linear dependency order between sourcesimprovement @jeffsmits

2

Nov '17

Support set comprehensionsfeature @jeffsmits

1

Nov '17

Implement pattern matching in the interpreterfeature @jeffsmits