batfish-0.29.3
arifogel
released this
27 Jul 08:27
·
8774 commits
to master
since this release
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 JsonPath operator is now subset
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