Issues
- 1
ConsPred rule in CrySL grammar
#36 opened by rbonifacio - 1
Visual Order Editor
#18 opened by kruegers - 1
Fix content assist.
#2 opened by kruegers - 3
Missing error markers for duplicate labels
#9 opened by rakshitkr - 1
- 3
Improve CryptSLRule creation
#34 opened by AnakinRaW - 1
Refactor name of language
#20 opened by kruegers - 0
New Rule Wizard
#17 opened by kruegers - 8
Need OR operation in REQUIRES block
#11 opened by rakshitkr - 0
- 3
- 0
Extra space in notHardCoded block.
#13 opened by sritejakv - 0
- 0
- 1
Implement OR feature for REQUIRES block
#12 opened by johspaeth - 0
The build of CrypsSL fails in Shippable CI
#6 opened by enriozuni - 0
Specifying rules for different libraries: how to import the dependent classes?
#4 opened by rbonifacio - 0
Limit scope to one file.
#1 opened by kruegers