Skip to content

batfish 0.30.1
Compare
Choose a tag to compare
@arifogel arifogel released this 03 Sep 02:58
· 8435 commits to master since this release
batfish-0.30.1
4db636c

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

Assets 6