-
Notifications
You must be signed in to change notification settings - Fork 11
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
Label
Projects
Milestones
Assignee
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
Creating a component association for a specific attribute in a record_object_declaration is currently allowed more than once
topic: core
Affects lexer/parser/infrastructure
topic: LRM
Affects the Language Reference Manual
#110
opened Oct 18, 2024 by
christophkloeffel
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
iter_record_objects_by_section() should not iterate over sections and divide by files
#118
opened Nov 28, 2024 by
BlueAndi
ProTip!
Exclude everything labeled
bug
with -label:bug.