Dan Halperin

Hey everyone here! We have shipped the first release of Batfish that includes (fairly basic) Fortigate support. We included the ability to change firewall policy (including services and addresses) with...

Can you also supply the version string? EOS has changed its syntax a lot :)

As of #3467 we stop ignoring the physical layer configuration in the physical layer devices :). (The fix to #3442). Right now, Batfish doesn't ever show protocol MTUs, it only...

Hi @Katsuya414 - thanks for another contribution! This is really interesting, and you can see more discussion on [your issue](https://github.com/batfish/batfish/issues/8335) as well. The big question from our end: how did...

Please let us when you are ready with a solution to #3005 that meets the requirements in there, not just your one snapshot. Thanks, and we look forward to this...

``` 9121 Inbound distribute-list is not supported for EIGRP 12542 Global distribute-list not supported for EIGRP ``` Both supported now.

IPv6 (and anything related like ospf3) is not something we've worked on for Batfish yet. On Thu, May 19, 2022 at 9:37 AM Epiq Sty ***@***.***> wrote: > Hi, there!...

Thanks for filing this issue. We don't have a timeline on which we'll work on this, but we'll update here if we do.

+1 here as well. @cgabard @waylan if you have some pointers about your plan and/or example similar code, I may be able to take a stab at the new implementation....

(My particular issue is in the attached gist: https://gist.github.com/dhalperi/5d0f7c8fc780a14495a4). Specifically, that line 27 does not render the same as line 12, which works fine. In the attached screenshot, line 27...