Release notes

Noteworthy new features and improvements in this release include:

(#718, #752) Improvements to VPN link identification and detection and NAT.
(#720, #726) Improved parsing for Amazon Web Services configurations.
(#805) Traceroute now supports providing the destination node hostname in addition to IP address for nodes in the network. Other questions can take advantage of this support using NodesSpecifier.
(#466, thanks @dspicuzzbbn!) Additional support for Cisco ASA configuration language.
(#821) Record all names used for the same interface in the configuration, rather than only the canonical name.
(#729) Significantly reduced memory consumption during parsing.
(#780) Significantly reduced memory consumption of in-memory configurations.
(#840) Significantly reduced memory consumption of the data plane.

Bug fixes

(#708) Fix an issue where static routes would be left out of the FIB in rare cases.
(#738) Reachability question now honors ingressNodeRegex in multipath and reduced modes.
(#816, #853) Upgraded to z3 version 4.6.0 with an additional bugfix that addresses #485.

Breaking changes

The TraceroutedstIp parameter has been renamed to dst as it now supports more than just IP addresses.

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.34

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.6.0/LICENSE.txt