Dan Halperin

incomplete update for bazel-skylib rules

2

https://github.com/batfish/batfish/pull/9050/files Today, `bazel-steward` only updates 3 of the 4 references to the old version. It works because there are two mirrors, with a warning. I believe we are using the...

TransferBDD: clear unreachable paths earlier

2

This is a no-op in the long run, because answerers make sure to present reachable paths with examples. But it will improve efficiency, especially if we later add richer input...

Juniper: policy terms should use slots instead of a list of PsFrom/PsThen

2

The following 3 lines can be typed at an SRX console: ``` set policy-options policy-statement POLICY-NAME term TERM then metric 10 set policy-options policy-statement POLICY-NAME term TERM then metric add...

Juniper community regex parsing needs improvements and testing

2

The full expressiveness of Juniper regular expressions is not yet fully supported by Batfish. Currently, in `JuniperConfiguration#communityRegexToJavaRegex`: ```java private static String communityRegexToJavaRegex(String regex) { String out = regex; out =...

How to check IntelliJ project into version control?

14

For our open source project https://github.com/batfish/batfish, we would like to check in project configuration like shared scopes, run configurations, format settings, required plugins, etc. But I can't figure out how...

Bazel rules should use the python headers from the python toolchain

19

### Is your feature request related to a problem? Please describe. The recommend way to use Python with Bazel is by providing a [Python toolchain](https://github.com/bazelbuild/bazel/blob/master/tools/python/toolchain.bzl#L65). gRPC's `cython_library` rule, however, uses...

docs(routing-policy): add comprehensive BGP attribute handling documentation

2

This commit adds comprehensive documentation for BGP attribute handling properties in routing policy invariants, covering the three core properties: _useOutputAttributes, _readFromIntermediateBgpAttributes, and _writeToIntermediateBgpAttributes. Key deliverables: - Complete documentation suite (7...

Junos: parse and extract BGP group local-preference

2

Adds support for configuring local-preference value on routes advertised to a BGP group or neighbor. This is distinct from preference (admin distance) and from local-preference manipulation via routing policy. ---...

Junos: support metric add/subtract

2

Add support for `set policy-options policy-statement PS term TERM then metric add/subtract `. Refactor metric grammar to use subrules per token for LL(1) compliance, matching the pattern used for preference...

Junos: support metric2 add/subtract parsing

2

Add parsing and extraction for `set policy-options policy-statement PS term TERM then metric2 add/subtract `. Refactor metric2 grammar to use subrules per token for LL(1) compliance, matching the pattern used...