Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / bmw-software-engineering/trlc issues and pull requests

#96 - changes the codeowner team name

Pull Request - State: closed - Opened by christophkloeffel 5 months ago

#95 - Update to PyVCG 1.0.7 and CVC 1.2.0

Pull Request - State: closed - Opened by florianschanda 6 months ago
Labels: topic: core, topic: packaging

#94 - trlc crash when used in pipeline

Issue - State: open - Opened by florianschanda 6 months ago
Labels: bug, topic: core

#93 - Fixed typo in TUTORIAL-PACKAGE.md

Pull Request - State: closed - Opened by mleegwt 7 months ago
Labels: documentation

#92 - Fix typo in TUTORIAL-BASIC.md

Pull Request - State: closed - Opened by mleegwt 7 months ago
Labels: documentation

#91 - defines specific versions for the linting

Pull Request - State: closed - Opened by christophkloeffel 8 months ago

#90 - Iteration api by section

Pull Request - State: open - Opened by mugdhadhole1 8 months ago - 1 comment

#89 - allow . separators

Issue - State: open - Opened by florianschanda 8 months ago
Labels: topic: LRM, topic: core, large

#88 - Sync with Florian's fork

Pull Request - State: closed - Opened by florianschanda 8 months ago

#87 - Sync with florian's fork

Pull Request - State: closed - Opened by florianschanda 8 months ago - 3 comments

#86 - new structure for checks

Issue - State: open - Opened by florianschanda 8 months ago
Labels: topic: LRM, topic: core, large

#85 - new variadic function one_of

Issue - State: closed - Opened by florianschanda 9 months ago
Labels: topic: LRM, topic: core

#84 - adds iter_record_objects_by_file

Pull Request - State: closed - Opened by christophkloeffel 10 months ago

#83 - returns exit code "1" if there are any error messages

Pull Request - State: closed - Opened by christophkloeffel 10 months ago

#82 - Exit code "0" when there are errors

Issue - State: closed - Opened by christophkloeffel 10 months ago
Labels: bug, topic: API

#81 - iteration API (By File) added

Pull Request - State: closed - Opened by akashsurwase1 10 months ago - 1 comment

#80 - splits dependencies into prod and dev

Pull Request - State: closed - Opened by christophkloeffel 10 months ago

#79 - upgrade of the CI workflow

Pull Request - State: closed - Opened by christophkloeffel 10 months ago

#78 - Linter produces OS dependant output

Issue - State: closed - Opened by christophkloeffel 10 months ago - 1 comment
Labels: topic: analysis

#77 - Introduce Bazel

Pull Request - State: closed - Opened by castler 11 months ago

#76 - adds CODEOWNERS

Pull Request - State: closed - Opened by christophkloeffel 11 months ago

#75 - Remove warnings regarding duplicate late declaration of packages

Pull Request - State: closed - Opened by mugdhadhole1 11 months ago

#74 - remove deprecated feature: check files

Pull Request - State: closed - Opened by ankushsonare1 11 months ago - 4 comments

#73 - build dep graph with tuples instead of #

Pull Request - State: closed - Opened by akashsurwase1 11 months ago

#72 - Warnings regarding duplicate late declaration of packages are not needed

Issue - State: closed - Opened by christophkloeffel 11 months ago
Labels: topic: core, good first issue

#71 - Adjusted method get_end_location to handle additional edge cases

Pull Request - State: closed - Opened by markusrosskopf about 1 year ago

#69 - ICE error message provided, but should not

Issue - State: closed - Opened by phiwuu about 1 year ago - 1 comment
Labels: bug, topic: core

#68 - Nested Tuples allowed by LRM, but should not

Issue - State: closed - Opened by phiwuu about 1 year ago - 1 comment
Labels: invalid, topic: LRM

#67 - adds tracing for markup strings

Pull Request - State: open - Opened by christophkloeffel about 1 year ago

#66 - adds tracing for names

Pull Request - State: open - Opened by christophkloeffel about 1 year ago

#65 - adds tracing for quantification

Pull Request - State: closed - Opened by christophkloeffel about 1 year ago

#64 - adds tracing for record object declarations

Pull Request - State: closed - Opened by christophkloeffel about 1 year ago

#62 - Requirement "Name_resolution LRM.Sufficiently_Distinct" not met

Issue - State: closed - Opened by christophkloeffel about 1 year ago - 2 comments
Labels: bug, topic: LRM, topic: core

#61 - Add Token_Stream class as new lexer and ast_link to every token

Pull Request - State: closed - Opened by markusrosskopf about 1 year ago - 1 comment
Labels: topic: core

#60 - keep the whole token stream and link each token to the most appropriate AST object

Issue - State: closed - Opened by markusrosskopf about 1 year ago
Labels: topic: core, large

#59 - add vcg check for checks that are always false

Issue - State: open - Opened by florianschanda over 1 year ago
Labels: topic: analysis, good first issue

#58 - new linter check to find duplicate types

Issue - State: open - Opened by florianschanda over 1 year ago
Labels: large, topic: analysis, good first issue

#57 - linter should not include frozen components in counter-example

Issue - State: open - Opened by florianschanda over 1 year ago
Labels: topic: analysis, good first issue

#56 - see if we can unify implicit_null and null_literal

Issue - State: open - Opened by florianschanda over 1 year ago
Labels: topic: core, large

#55 - build dep graph with tuples instead of #

Issue - State: closed - Opened by florianschanda over 1 year ago
Labels: topic: core, good first issue

#54 - change default operation

Issue - State: closed - Opened by florianschanda over 1 year ago - 2 comments
Labels: topic: core, good first issue

#53 - remove deprecated feature: check files

Issue - State: closed - Opened by florianschanda over 1 year ago
Labels: topic: LRM, topic: core, topic: analysis, topic: API, good first issue

#52 - removes the builtin function syntax

Pull Request - State: closed - Opened by christophkloeffel over 1 year ago - 2 comments

#51 - remove deprecated builtin function syntax

Issue - State: closed - Opened by florianschanda over 1 year ago - 1 comment
Labels: topic: LRM, topic: core, good first issue

#50 - add api to use pre-calculated include file locations

Issue - State: open - Opened by florianschanda over 1 year ago
Labels: topic: API, good first issue

#49 - linter should warn on unused import

Issue - State: open - Opened by florianschanda over 1 year ago
Labels: topic: analysis, good first issue

#48 - partial parsing (unsound)

Issue - State: open - Opened by florianschanda over 1 year ago
Labels: topic: core, large, topic: API

#47 - partial parsing (sound)

Issue - State: closed - Opened by florianschanda over 1 year ago
Labels: topic: core, large, topic: API

#46 - adds tracing for TRLC files

Pull Request - State: closed - Opened by christophkloeffel over 1 year ago

#45 - '''' should not be malformed

Issue - State: closed - Opened by florianschanda over 1 year ago
Labels: bug, invalid, topic: core, good first issue

#44 - Tracing/chapter 20

Pull Request - State: closed - Opened by florianschanda over 1 year ago

#43 - TRLC performance analysis and improvements

Issue - State: open - Opened by florianschanda over 1 year ago
Labels: topic: core

#42 - nested packages

Issue - State: open - Opened by florianschanda over 1 year ago
Labels: topic: LRM, topic: core, topic: API

#41 - adds tracing for sections

Pull Request - State: closed - Opened by christophkloeffel over 1 year ago

#40 - adds tracing for conditional expressions

Pull Request - State: closed - Opened by christophkloeffel over 1 year ago

#39 - adds tracing for null values

Pull Request - State: closed - Opened by christophkloeffel over 1 year ago - 1 comment

#38 - adds tracing for expressions

Pull Request - State: closed - Opened by christophkloeffel over 1 year ago

#37 - Catch LRM errors in CI

Issue - State: closed - Opened by florianschanda over 1 year ago
Labels: invalid

#36 - Relax ordering constraints for check blocks

Issue - State: open - Opened by florianschanda over 1 year ago
Labels: bug, topic: analysis

#35 - adds tracing for check files

Pull Request - State: closed - Opened by christophkloeffel over 1 year ago

#34 - adds tracing for checks

Pull Request - State: closed - Opened by christophkloeffel over 1 year ago - 1 comment

#33 - combined linting + evaluation

Issue - State: closed - Opened by florianschanda over 1 year ago
Labels: topic: core, topic: API

#32 - Add file_content argument

Pull Request - State: closed - Opened by markusrosskopf over 1 year ago

#31 - deprecate .check files

Issue - State: closed - Opened by florianschanda over 1 year ago
Labels: documentation, topic: LRM, topic: core

#30 - Add location pointing to the end of a source

Pull Request - State: closed - Opened by markusrosskopf over 1 year ago

#29 - deal with longer user-defined errors

Issue - State: closed - Opened by florianschanda over 1 year ago
Labels: topic: LRM, topic: core

#28 - remove "import" feature from symbol table, use scope stack instead

Issue - State: closed - Opened by florianschanda over 1 year ago - 1 comment
Labels: invalid

#27 - Validate counter-examples

Issue - State: open - Opened by florianschanda over 1 year ago
Labels: topic: core, large, topic: analysis

#26 - Translate regular expressions

Issue - State: open - Opened by florianschanda over 1 year ago
Labels: topic: LRM, topic: core, large, topic: analysis

#25 - Constraints for Markup_String

Issue - State: open - Opened by florianschanda over 1 year ago
Labels: large, topic: analysis

#24 - Emit constraints for tuples in arrays

Issue - State: open - Opened by florianschanda over 1 year ago
Labels: topic: analysis

#23 - alternative modelling of decimals

Issue - State: open - Opened by florianschanda over 1 year ago - 1 comment
Labels: topic: analysis

#22 - unify nested lexer / parser of LRM generator with trlc

Issue - State: open - Opened by florianschanda over 1 year ago
Labels: topic: core

#21 - let expressions in checks

Issue - State: open - Opened by florianschanda over 1 year ago
Labels: topic: LRM, topic: core, large, topic: analysis

#19 - mark types as abstract

Issue - State: closed - Opened by florianschanda almost 2 years ago
Labels: topic: lrm, topic: python implementation

#18 - --verbose mode that shows list of files processed

Issue - State: closed - Opened by florianschanda almost 2 years ago
Labels: topic: python implementation

#17 - filter out bazel-* directories (especially on windows)

Issue - State: closed - Opened by florianschanda almost 2 years ago
Labels: topic: python implementation

#16 - better messages for duplicate definitions

Issue - State: closed - Opened by florianschanda almost 2 years ago
Labels: topic: python implementation

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

Issue - State: closed - Opened by florianschanda almost 2 years ago
Labels: topic: python implementation

#14 - new type: Decimal

Issue - State: closed - Opened by florianschanda almost 2 years ago
Labels: topic: lrm, topic: python implementation, large

#13 - string subtype allowing references

Issue - State: closed - Opened by florianschanda almost 2 years ago
Labels: topic: lrm, topic: python implementation, large

#12 - new iteration api: by section

Issue - State: open - Opened by florianschanda almost 2 years ago
Labels: topic: API, good first issue

#11 - new iteration api: by file

Issue - State: open - Opened by florianschanda almost 2 years ago
Labels: topic: API, good first issue

#10 - talking about specific records in checks

Issue - State: closed - Opened by florianschanda almost 2 years ago - 1 comment
Labels: topic: LRM, topic: core, topic: analysis

#9 - membership tests for arrays

Issue - State: closed - Opened by florianschanda almost 2 years ago
Labels: topic: lrm, topic: python implementation

#8 - pypi readme relative links are dead

Issue - State: closed - Opened by florianschanda almost 2 years ago
Labels: documentation

#7 - corner-case for ''' strings

Issue - State: open - Opened by florianschanda almost 2 years ago
Labels: topic: LRM, topic: core, good first issue

#6 - type extensions with frozen components

Issue - State: closed - Opened by florianschanda about 2 years ago
Labels: topic: lrm, topic: python implementation, large

#5 - --brief mode for CI

Issue - State: closed - Opened by florianschanda about 2 years ago
Labels: topic: python implementation

#4 - allow checks in rsl files

Issue - State: closed - Opened by florianschanda about 2 years ago
Labels: topic: lrm

#3 - extended integer domain

Issue - State: closed - Opened by florianschanda about 2 years ago - 1 comment
Labels: topic: LRM, topic: core, large

#2 - tuples

Issue - State: closed - Opened by florianschanda about 2 years ago
Labels: topic: lrm, topic: python implementation, large

#1 - simpler builtin functions

Issue - State: closed - Opened by florianschanda about 2 years ago
Labels: topic: lrm