Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / p4lang/p4-constraints issues and pull requests
#100 - Add section on well-formedness constraints and their connection to P4Runtime to the language spec
Pull Request -
State: closed - Opened by smolkaj over 1 year ago
- 1 comment
#100 - Add section on well-formedness constraints and their connection to P4Runtime to the language spec
Pull Request -
State: closed - Opened by smolkaj over 1 year ago
- 1 comment
#99 - Support constraints on actions and their parameters in @entry_constraint
Issue -
State: open - Opened by smolkaj over 1 year ago
Labels: enhancement
#99 - Support constraints on actions and their parameters in @entry_constraint
Issue -
State: open - Opened by smolkaj over 1 year ago
Labels: enhancement
#98 - Support "@action_restriction"
Issue -
State: closed - Opened by smolkaj over 1 year ago
- 10 comments
Labels: enhancement, good first issue
#98 - Support "@action_restriction"
Issue -
State: closed - Opened by smolkaj over 1 year ago
- 10 comments
Labels: enhancement, good first issue
#97 - Update ci-native.yml
Pull Request -
State: closed - Opened by smolkaj over 1 year ago
#97 - Update ci-native.yml
Pull Request -
State: closed - Opened by smolkaj over 1 year ago
#96 - Update p4-constraints to RE2 release `2023-06-01`.
Pull Request -
State: closed - Opened by smolkaj over 1 year ago
#96 - Update p4-constraints to RE2 release `2023-06-01`.
Pull Request -
State: closed - Opened by smolkaj over 1 year ago
#95 - PUBLIC: [P4-Constraints] Add a version of TypeBandwidth that returns a status on error.
Pull Request -
State: closed - Opened by jonathan-dilorenzo almost 2 years ago
#95 - PUBLIC: [P4-Constraints] Add a version of TypeBandwidth that returns a status on error.
Pull Request -
State: closed - Opened by jonathan-dilorenzo almost 2 years ago
#94 - PUBLIC: [P4-Constraints] Add a FindPtrOrStatus function to gutils.
Pull Request -
State: closed - Opened by jonathan-dilorenzo almost 2 years ago
#94 - PUBLIC: [P4-Constraints] Add a FindPtrOrStatus function to gutils.
Pull Request -
State: closed - Opened by jonathan-dilorenzo almost 2 years ago
#93 - Move away from deprecated contructor.
Pull Request -
State: closed - Opened by smolkaj almost 2 years ago
#93 - Move away from deprecated contructor.
Pull Request -
State: closed - Opened by smolkaj almost 2 years ago
#92 - Remove deprecated Bazel flag --distinct_host_configuration.
Pull Request -
State: closed - Opened by smolkaj almost 2 years ago
#92 - Remove deprecated Bazel flag --distinct_host_configuration.
Pull Request -
State: closed - Opened by smolkaj almost 2 years ago
#91 - [p4-constraints] Upgrade dependencies, fix includes, use C++17.
Pull Request -
State: closed - Opened by smolkaj almost 2 years ago
#91 - [p4-constraints] Upgrade dependencies, fix includes, use C++17.
Pull Request -
State: closed - Opened by smolkaj almost 2 years ago
#90 - [p4-constraints] Upgrade dependencies, fix includes, use C++17.
Pull Request -
State: closed - Opened by smolkaj almost 2 years ago
#90 - [p4-constraints] Upgrade dependencies, fix includes, use C++17.
Pull Request -
State: closed - Opened by smolkaj almost 2 years ago
#89 - [p4-constraint] Don't parse table entry if there is no constraint to check.
Pull Request -
State: closed - Opened by smolkaj almost 2 years ago
#89 - [p4-constraint] Don't parse table entry if there is no constraint to check.
Pull Request -
State: closed - Opened by smolkaj almost 2 years ago
#88 - Don't parse table entry if there is no constraint to check.
Pull Request -
State: closed - Opened by smolkaj almost 2 years ago
#88 - Don't parse table entry if there is no constraint to check.
Pull Request -
State: closed - Opened by smolkaj almost 2 years ago
#87 - Fix bazel version to 5.4.0
Pull Request -
State: closed - Opened by smolkaj about 2 years ago
#87 - Fix bazel version to 5.4.0
Pull Request -
State: closed - Opened by smolkaj about 2 years ago
#86 - Constraint error handling
Issue -
State: closed - Opened by fruffy over 2 years ago
- 5 comments
#86 - Constraint error handling
Issue -
State: closed - Opened by fruffy over 2 years ago
- 5 comments
#85 - [p4_constrsints]Refactor Eval to use QuoteConstraint instead of QuoteSourceLocation. Remove QuoteSourceLocation
Pull Request -
State: closed - Opened by verios-google over 2 years ago
#85 - [p4_constrsints]Refactor Eval to use QuoteConstraint instead of QuoteSourceLocation. Remove QuoteSourceLocation
Pull Request -
State: closed - Opened by verios-google over 2 years ago
#84 - [p4_constraints] Adding proto equality function
Pull Request -
State: closed - Opened by verios-google over 2 years ago
#84 - [p4_constraints] Adding proto equality function
Pull Request -
State: closed - Opened by verios-google over 2 years ago
#83 - [p4_constraints] Refactor parser to use QuoteConstraint instead of QuoteSourceLocation.
Pull Request -
State: closed - Opened by verios-google over 2 years ago
#83 - [p4_constraints] Refactor parser to use QuoteConstraint instead of QuoteSourceLocation.
Pull Request -
State: closed - Opened by verios-google over 2 years ago
#82 - Change Tokenize input to ConstraintSource instead of string and location.
Pull Request -
State: closed - Opened by verios-google over 2 years ago
#82 - Change Tokenize input to ConstraintSource instead of string and location.
Pull Request -
State: closed - Opened by verios-google over 2 years ago
#81 - Refactor Typechecker to use QuoteSubConstraint instead of QuoteSourceLocation
Pull Request -
State: closed - Opened by verios-google over 2 years ago
#81 - Refactor Typechecker to use QuoteSubConstraint instead of QuoteSourceLocation
Pull Request -
State: closed - Opened by verios-google over 2 years ago
#80 - Refactored interpreter_test.cc to decouple from parser and lexer
Pull Request -
State: closed - Opened by verios-google over 2 years ago
#80 - Refactored interpreter_test.cc to decouple from parser and lexer
Pull Request -
State: closed - Opened by verios-google over 2 years ago
#79 - [p4-constraints] Improve failure explanation by only referencing relevant keys.
Pull Request -
State: closed - Opened by verios-google over 2 years ago
#79 - [p4-constraints] Improve failure explanation by only referencing relevant keys.
Pull Request -
State: closed - Opened by verios-google over 2 years ago
#78 - [p4 constraints] Updated ast_constructor/parser `::` is properly captured when quoting metadata access
Pull Request -
State: closed - Opened by verios-google over 2 years ago
#78 - [p4 constraints] Updated ast_constructor/parser `::` is properly captured when quoting metadata access
Pull Request -
State: closed - Opened by verios-google over 2 years ago
#77 - Update p4-constraints to build on github.
Pull Request -
State: closed - Opened by verios-google over 2 years ago
#77 - Update p4-constraints to build on github.
Pull Request -
State: closed - Opened by verios-google over 2 years ago
#76 - Changed e2e test to use ReasonEntryViolatesConstraint instead of EntryMeetsConstraint. Formatted output of valid constraint tests
Pull Request -
State: closed - Opened by verios-google over 2 years ago
#76 - Changed e2e test to use ReasonEntryViolatesConstraint instead of EntryMeetsConstraint. Formatted output of valid constraint tests
Pull Request -
State: closed - Opened by verios-google over 2 years ago
#75 - Implemented QuoteString which mimics QuoteSourceLocation but uses string with offset as source
Pull Request -
State: closed - Opened by verios-google over 2 years ago
#75 - Implemented QuoteString which mimics QuoteSourceLocation but uses string with offset as source
Pull Request -
State: closed - Opened by verios-google over 2 years ago
#74 - Revert "Implemented QuoteString which mimics QuoteSourceLocation but uses string with offset as source"
Pull Request -
State: closed - Opened by smolkaj over 2 years ago
- 1 comment
#74 - Revert "Implemented QuoteString which mimics QuoteSourceLocation but uses string with offset as source"
Pull Request -
State: closed - Opened by smolkaj over 2 years ago
- 1 comment
#73 - Implemented QuoteString which mimics QuoteSourceLocation but uses string with offset as source
Pull Request -
State: closed - Opened by verios-google over 2 years ago
#73 - Implemented QuoteString which mimics QuoteSourceLocation but uses string with offset as source
Pull Request -
State: closed - Opened by verios-google over 2 years ago
#72 - Changed build file to have proper golden test targets
Pull Request -
State: closed - Opened by verios-google over 2 years ago
#72 - Changed build file to have proper golden test targets
Pull Request -
State: closed - Opened by verios-google over 2 years ago
#71 - Implemented ReasonEntryViolatesConstraint
Pull Request -
State: closed - Opened by verios-google over 2 years ago
#71 - Implemented ReasonEntryViolatesConstraint
Pull Request -
State: closed - Opened by verios-google over 2 years ago
#70 - Implemented SizeOfAST
Pull Request -
State: closed - Opened by verios-google over 2 years ago
#70 - Implemented SizeOfAST
Pull Request -
State: closed - Opened by verios-google over 2 years ago
#69 - Refactor Eval to take optional pointer for caching results
Pull Request -
State: closed - Opened by verios-google over 2 years ago
#69 - Refactor Eval to take optional pointer for caching results
Pull Request -
State: closed - Opened by verios-google over 2 years ago
#68 - Programming language agnostic API?
Issue -
State: open - Opened by adibrastegarnia over 2 years ago
- 4 comments
Labels: enhancement
#68 - Programming language agnostic API?
Issue -
State: open - Opened by adibrastegarnia over 2 years ago
- 4 comments
Labels: enhancement
#67 - [p4-constraints] Reproduce regression.
Pull Request -
State: closed - Opened by smolkaj almost 3 years ago
#67 - [p4-constraints] Reproduce regression.
Pull Request -
State: closed - Opened by smolkaj almost 3 years ago
#66 - [p4-constraints] Remove inclusion of ast.proto.h
Pull Request -
State: closed - Opened by kheradmandG about 3 years ago
- 1 comment
#66 - [p4-constraints] Remove inclusion of ast.proto.h
Pull Request -
State: closed - Opened by kheradmandG about 3 years ago
- 1 comment
#65 - ci-native.yml doesn't run
Issue -
State: closed - Opened by smolkaj about 3 years ago
- 1 comment
#65 - ci-native.yml doesn't run
Issue -
State: closed - Opened by smolkaj about 3 years ago
- 1 comment
#64 - [p4-constraints] Add support for priority constraints.
Pull Request -
State: closed - Opened by kheradmandG about 3 years ago
- 1 comment
#64 - [p4-constraints] Add support for priority constraints.
Pull Request -
State: closed - Opened by kheradmandG about 3 years ago
- 1 comment
#63 - Avoid relying on undefined output in golden test.
Pull Request -
State: closed - Opened by smolkaj about 3 years ago
- 6 comments
#63 - Avoid relying on undefined output in golden test.
Pull Request -
State: closed - Opened by smolkaj about 3 years ago
- 6 comments
#62 - Cosmetic change
Pull Request -
State: closed - Opened by smolkaj over 3 years ago
- 2 comments
#62 - Cosmetic change
Pull Request -
State: closed - Opened by smolkaj over 3 years ago
- 2 comments
#61 - Lowercase "BUILD" in example codeblock.
Pull Request -
State: closed - Opened by gravypod over 3 years ago
- 3 comments
#60 - Use abseil-version of RE2.
Pull Request -
State: closed - Opened by smolkaj almost 4 years ago
#60 - Use abseil-version of RE2.
Pull Request -
State: closed - Opened by smolkaj almost 4 years ago
#59 - DO NOT SUBMIT
Pull Request -
State: closed - Opened by smolkaj almost 4 years ago
#59 - DO NOT SUBMIT
Pull Request -
State: closed - Opened by smolkaj almost 4 years ago
#58 - [p4-constraints] Add support for optional match kind.
Pull Request -
State: closed - Opened by smolkaj almost 4 years ago
#57 - Simplify API, returning StatusOr instead of status vector.
Pull Request -
State: closed - Opened by smolkaj about 4 years ago
#57 - Simplify API, returning StatusOr instead of status vector.
Pull Request -
State: closed - Opened by smolkaj about 4 years ago
#56 - Simplify API, returning StatusOr instead of status vector.
Pull Request -
State: closed - Opened by smolkaj about 4 years ago
#56 - Simplify API, returning StatusOr instead of status vector.
Pull Request -
State: closed - Opened by smolkaj about 4 years ago
#55 - Migrate to absl::StatusOr
Pull Request -
State: closed - Opened by smolkaj about 4 years ago
#54 - Remove unnecessary comment that triggers some security tools.
Pull Request -
State: closed - Opened by smolkaj about 4 years ago
#54 - Remove unnecessary comment that triggers some security tools.
Pull Request -
State: closed - Opened by smolkaj about 4 years ago
#53 - Remove unncessary comments that trigger our leak checker.
Pull Request -
State: closed - Opened by smolkaj about 4 years ago
#53 - Remove unncessary comments that trigger our leak checker.
Pull Request -
State: closed - Opened by smolkaj about 4 years ago
#52 - [p4-constraints] Migrate to absl::StatusOr.
Pull Request -
State: closed - Opened by smolkaj about 4 years ago
#52 - [p4-constraints] Migrate to absl::StatusOr.
Pull Request -
State: closed - Opened by smolkaj about 4 years ago
#51 - Replace hyphens with underscores, as hypens cause issues on some plattforms.
Pull Request -
State: closed - Opened by smolkaj about 4 years ago
#51 - Replace hyphens with underscores, as hypens cause issues on some plattforms.
Pull Request -
State: closed - Opened by smolkaj about 4 years ago
#50 - [p4-constraints] Migrate to absl::StatusOr.
Pull Request -
State: closed - Opened by smolkaj about 4 years ago
#50 - [p4-constraints] Migrate to absl::StatusOr.
Pull Request -
State: closed - Opened by smolkaj about 4 years ago
#49 - [p4-constraints] Migrate to absl::StatusOr.
Pull Request -
State: closed - Opened by smolkaj about 4 years ago