Release notes

Noteworthy new features and improvements in this release include:

(#581,#585) Data plane oscillation detection and recovery
(#497) Parse Aruba configurations
(#531,#549) Parse IOS routing tables
(#515) Implement remove-private-as
(#488) (credit to @dspicuzzbbn) Improved Iptables-to-ACL translation
(#450) Data model support for BGP authentication configuration
(#539) Provide parsing report for BGP tables
(#472,#481,#538,#551,#563,#567,#568,#569,#574,#575,#576,#577,#579,#580,#586) Improved Cisco-like configuration parsing

Bug fixes

(#585,#586,#589,#590) Fix BGP tie-breaking bugs
(#528) Fix iBGP neighbors allowing advertisements containing own AS in path
(#541) Fix bug where eBGP neighbor would fail to send advertisement to neighbor with same router-id as neighbor from which original advertisement was received (should only be suppressed for iBGP)
(#511) Fix BgpSessionCheck ignoring mismatched AS numbers
(#524) Fix stale cache when deleting and recreating testrig with same name
(#543,#571) (credit to @buehlert) Fix Juniper route-filter lines not allowing prefix-length > 32 (for IPv6)
(#479) Fix broken text serialization

Breaking changes

(#513) Changes to FlowHistory JSON serialization - traces now organized by environment name inside of paths element. Affects traceroute and reachability type questions.

Installation

Using APT:

(Ubuntu 16.04 ONLY)
echo 'deb https://apt.batfish.org/batfish/debian xenial main' | sudo tee /etc/apt/sources.list.d/batfish.list

(Ubuntu 14.04 ONLY)
echo 'deb https://apt.batfish.org/batfish/debian trusty main' | sudo tee /etc/apt/sources.list.d/batfish.list

sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 5CC0F927C4237ED5
sudo apt-get update
sudo apt-get install batfish-0.32

The .rpm and .deb files include Z3 binaries.
The license for Z3 (MIT) differs from that of Batfish (Apache 2.0).
See https://github.com/Z3Prover/z3/blob/z3-4.5.0/LICENSE.txt