batfish 0.31.1

• (#491) Restore JsonPathResultEntry.concretePath in JsonPath question answers.

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

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

batfish 0.31.0

Release notes

Noteworthy new features and improvements in this release include:

• (#459) Import Cisco VRRP configuration to the vendor-neutral data model.
• (#468) Fix a crash when a VRRP is configured but unusable.
• (#459) Break ties deterministically between multiple best VRRP candidates.
• (#462,#338, thanks @dspicuzzbbn) Add support for iptables on routers. Previously, iptables were assumed to be only on non-routing end hosts.
• (#392) Support XR as-path is-local.
• (#455) Additional parsing support for Arista DHCP relay configuration.
• (#408,#411) Support for Cadant routers.
• (#412) Improved accounting for used and unused references.
• (#449) Switch to weak references for in-memory caches of large objects. This can prevent OOM errors and GC-induced slowdowns when a server processes many different testrigs.
• (#429,#422) Serialize/deserialize data structures directly to/from output/input streams, rather than materializing the entire serialized structure in memory. This improves performance, reduces memory usage, and prevents crashes when object serialized size exceeds 2 GiB.

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

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

batfish 0.30.1

Release notes

Noteworthy new features and improvements in this release include:

• (#404) Support EOS auto AS specifier, which is used in route-map set as-path prepend
• (#387) Fix resource leaks
• (#381,#384,#385,#388,#391,#393,#395,#396,#401) Various parsing additions, fixes
• (#403) Fix handling of no aaa new-model for Cisco configurations
• (#386) Validate allowed values in Client
• (#383) Fix -DskipTests option in batfish_build_all

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

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

batfish-0.30.0

Release notes

Noteworthy new features and improvements in this release include:

• (#340, #311) The way that environments are created has been overhauled. The batfish-client commands get environmentcreation and init-delta-environment have been removed. Instead, use the init-environment command, which additionally will validate the created environment. Use help init-environment to learn how to use the new command.
• (#356) Support for multiple source NAT rules on the same interface.
• (#354, thanks @dspicuzzbbn!) The reachability question can now verify that traffic does or does not transit through specified nodes.
• (#342) More shell-like behavior in batfish-client, which now uses Ctrl-C to stop editing the current command and begin a new one. Ctrl-D will still exit the shell as before.
• (#241, #344) Improved APIs: New API call to check the status of a container; status returned rather than error when deleting non-existent container.
• (#286) Faster dataplane generation (20% on medium-size benchmarks).
• (#294, thanks @virtuald!) Handling of incomplete iptables files.
• (#266, #318) Miscellaneous improvements and bug fixes to the Batfish dataplane.
• (#363) Fixed a bug when computing the data plane using some Juniper configurations with BGP.
• (#298) Fixed a bug where the last answer in an analysis would contain extra metadata.
• (#370) ~70% smaller RPM and DEB packages when installing Batfish.

Breaking changes in this release include:

• (#347) The internal file structure of containers has been changed: testrigs are now stored in the <container>/testrigs/ subfolder instead of the root container folder. Users are recommended to begin with fresh containers; but may also forward-port an existing container by moving existing testrigs into the new location.
• (#343) The batfish-client macros (like get #checkprotection) have been removed. Instead, users can use JSON question templates.
• (#340, #311) The way that environments are created has been overhauled. The batfish-client commands get environmentcreation and init-delta-environment have been removed. Instead, use the init-environment command, which additionally will validate the created environment. Use help init-environment to learn how to use the new command.
• (#342) More shell-like behavior in batfish-client, which now uses Ctrl-C to stop editing the current command and begin a new one. Ctrl-D will still exit the shell as before.

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

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

batfish-0.29.3

Key changes in 0.29.3:

• Fix bug in installed versions causing properties files in /etc/batfish to be ignored
• Fix bug in installed versions causing classpath in /etc/batfish/coordinator.classpath to be ignored

BREAKING CHANGE: The subset JsonPath operator is now subsetof since 0.29.0

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

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

batfish-0.29.2: Merge pull request #257 from batfish/ari-dhcp-helper-ciscolike-fix

BREAKING CHANGE: The subset JsonPath operator is now subsetof since 0.29.0

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

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

batfish-0.29.1: Merge pull request #248 from batfish/unstable

BREAKING CHANGE: The subset JsonPath operator is now subsetof since 0.29.0

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

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

batfish-0.29.0: Merge pull request #247 from batfish/unstable

BREAKING CHANGE: The subset JsonPath operator is now subsetof since 0.29.0

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

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

batfish-0.28.1: Merge pull request #174 from batfish/unstable

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

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

batfish-0.28.0: Merge pull request #169 from batfish/unstable

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

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