Skip to content

Issues: bmw-software-engineering/trlc

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort

Issues list

add api to use pre-calculated include file locations good first issue Fairly self-contained issue that is ideal as a first contribution topic: API Affects the user-facing API
#50 opened Oct 30, 2023 by florianschanda
let expressions in checks large topic: analysis Affects the Linter or VCG topic: core Affects lexer/parser/infrastructure topic: LRM Affects the Language Reference Manual
#21 opened Jul 6, 2023 by florianschanda
unify nested lexer / parser of LRM generator with trlc topic: core Affects lexer/parser/infrastructure
#22 opened Jul 17, 2023 by florianschanda
alternative modelling of decimals topic: analysis Affects the Linter or VCG
#23 opened Jul 17, 2023 by florianschanda
Emit constraints for tuples in arrays topic: analysis Affects the Linter or VCG
#24 opened Jul 17, 2023 by florianschanda
Constraints for Markup_String large topic: analysis Affects the Linter or VCG
#25 opened Jul 17, 2023 by florianschanda
Translate regular expressions large topic: analysis Affects the Linter or VCG topic: core Affects lexer/parser/infrastructure topic: LRM Affects the Language Reference Manual
#26 opened Jul 17, 2023 by florianschanda
Validate counter-examples large topic: analysis Affects the Linter or VCG topic: core Affects lexer/parser/infrastructure
#27 opened Jul 17, 2023 by florianschanda
Relax ordering constraints for check blocks bug Something isn't working topic: analysis Affects the Linter or VCG
#36 opened Oct 9, 2023 by florianschanda
nested packages topic: API Affects the user-facing API topic: core Affects lexer/parser/infrastructure topic: LRM Affects the Language Reference Manual
#42 opened Oct 20, 2023 by florianschanda
TRLC performance analysis and improvements topic: core Affects lexer/parser/infrastructure
#43 opened Oct 23, 2023 by florianschanda
2 of 5 tasks
partial parsing (unsound) large topic: API Affects the user-facing API topic: core Affects lexer/parser/infrastructure
#48 opened Oct 24, 2023 by florianschanda
3 tasks
corner-case for ''' strings good first issue Fairly self-contained issue that is ideal as a first contribution topic: core Affects lexer/parser/infrastructure topic: LRM Affects the Language Reference Manual
#7 opened Feb 15, 2023 by florianschanda
linter should warn on unused import good first issue Fairly self-contained issue that is ideal as a first contribution topic: analysis Affects the Linter or VCG
#49 opened Oct 27, 2023 by florianschanda
see if we can unify implicit_null and null_literal large topic: core Affects lexer/parser/infrastructure
#56 opened Oct 31, 2023 by florianschanda
linter should not include frozen components in counter-example good first issue Fairly self-contained issue that is ideal as a first contribution topic: analysis Affects the Linter or VCG
#57 opened Nov 2, 2023 by florianschanda
new linter check to find duplicate types good first issue Fairly self-contained issue that is ideal as a first contribution large topic: analysis Affects the Linter or VCG
#58 opened Nov 8, 2023 by florianschanda
add vcg check for checks that are always false good first issue Fairly self-contained issue that is ideal as a first contribution topic: analysis Affects the Linter or VCG
#59 opened Nov 8, 2023 by florianschanda
new structure for checks large topic: core Affects lexer/parser/infrastructure topic: LRM Affects the Language Reference Manual
#86 opened Jun 5, 2024 by florianschanda
allow . separators large topic: core Affects lexer/parser/infrastructure topic: LRM Affects the Language Reference Manual
#89 opened Jun 11, 2024 by florianschanda
LRM must specify that the API shall keep the order of record declarations bug Something isn't working topic: LRM Affects the Language Reference Manual
#116 opened Nov 7, 2024 by phiwuu
ProTip! Exclude everything labeled bug with -label:bug.