YellowGrass

Tagged @jeffsmits

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