bmw-software-engineering/trlc

Issues

• Creating a component association for a specific attribute in a record_object_declaration is currently allowed more than once

  #110 opened 2 months ago by christophkloeffel
  0

• AssertionError for empty 'imports' list in CU when 'is_visible' is called during parsing

  #70 opened 4 months ago by markusrosskopf
  3

• trlc crash when used in pipeline

  #94 opened 4 months ago by florianschanda
  2

• TRLC UnboundLocalError: cannot access local variable 'n_name' where it is not associated with a value

  #98 opened 4 months ago by christophkloeffel
  1

• Linter produces OS dependant output

  #78 opened 4 months ago by christophkloeffel
  1

• allow . separators

  #89 opened 7 months ago by florianschanda
  0

• new structure for checks

  #86 opened 7 months ago by florianschanda
  0

• remove deprecated feature: check files

  #53 opened 7 months ago by florianschanda
  0

• Requirement "Name_resolution LRM.Sufficiently_Distinct" not met

  #62 opened 7 months ago by christophkloeffel
  2

• new variadic function one_of

  #85 opened 7 months ago by florianschanda
  0

• keep the whole token stream and link each token to the most appropriate AST object

  #60 opened 7 months ago by markusrosskopf
  0

• alternative modelling of decimals

  #23 opened a year ago by florianschanda
  1

• Nested Tuples allowed by LRM, but should not

  #68 opened 7 months ago by phiwuu
  1

• ICE error message provided, but should not

  #69 opened 7 months ago by phiwuu
  1

• Warnings regarding duplicate late declaration of packages are not needed

  #72 opened 8 months ago by christophkloeffel
  0

• Exit code "0" when there are errors

  #82 opened 8 months ago by christophkloeffel
  0

• build dep graph with tuples instead of #

  #55 opened 9 months ago by florianschanda
  0

• remove deprecated builtin function syntax

  #51 opened 10 months ago by florianschanda
  1

• change default operation

  #54 opened 10 months ago by florianschanda
  2

• Linter "expression is always true [vcg-always-true]" falsely thrown when using "exists" in checks

  #63 opened a year ago by christophkloeffel
  2

• add vcg check for checks that are always false

  #59 opened a year ago by florianschanda
  0

• new linter check to find duplicate types

  #58 opened a year ago by florianschanda
  0

• linter should not include frozen components in counter-example

  #57 opened a year ago by florianschanda
  0

• see if we can unify implicit_null and null_literal

  #56 opened a year ago by florianschanda
  0

• '''' should not be malformed

  #45 opened a year ago by florianschanda
  0

• add api to use pre-calculated include file locations

  #50 opened a year ago by florianschanda
  0

• TRLC performance analysis and improvements

  #43 opened a year ago by florianschanda
  0

• linter should warn on unused import

  #49 opened a year ago by florianschanda
  0

• partial parsing (sound)

  #47 opened a year ago by florianschanda
  0

• partial parsing (unsound)

  #48 opened a year ago by florianschanda
  0

• nested packages

  #42 opened a year ago by florianschanda
  0

• Catch LRM errors in CI

  #37 opened a year ago by florianschanda
  0

• Relax ordering constraints for check blocks

  #36 opened a year ago by florianschanda
  0

• combined linting + evaluation

  #33 opened a year ago by florianschanda
  0

• deal with longer user-defined errors

  #29 opened a year ago by florianschanda
  0

• deprecate .check files

  #31 opened a year ago by florianschanda
  0

• remove "import" feature from symbol table, use scope stack instead

  #28 opened a year ago by florianschanda
  1

• Validate counter-examples

  #27 opened a year ago by florianschanda
  0

• Translate regular expressions

  #26 opened a year ago by florianschanda
  0

• Constraints for Markup_String

  #25 opened a year ago by florianschanda
  0

• Emit constraints for tuples in arrays

  #24 opened a year ago by florianschanda
  0

• unify nested lexer / parser of LRM generator with trlc

  #22 opened a year ago by florianschanda
  0

• let expressions in checks

  #21 opened a year ago by florianschanda
  0

• better error messages for import of locally declared package

  #20 opened 2 years ago by florianschanda
  0

• mark types as abstract

  #19 opened 2 years ago by florianschanda
  0

• --verbose mode that shows list of files processed

  #18 opened 2 years ago by florianschanda
  0

• filter out bazel-* directories (especially on windows)

  #17 opened 2 years ago by florianschanda
  0

• new type: Decimal

  #14 opened 2 years ago by florianschanda
  0

• better messages for duplicate definitions

  #16 opened 2 years ago by florianschanda
  0

• allow more than one thing to be passed on the command-line

  #15 opened 2 years ago by florianschanda
  0