[opam-commits] Failed: BinaryAnalysisPlatform/opam-repository#128 (bap-1.4-PR - 3f3e9a0)
Travis CI
builds at travis-ci.org
Fri Mar 2 14:06:59 GMT 2018
Build Update for BinaryAnalysisPlatform/opam-repository
-------------------------------------
Build: #128
Status: Failed
Duration: 29 minutes and 27 seconds
Commit: 3f3e9a0 (bap-1.4-PR)
Author: Ivan Gotovchits
Message: BAP 1.4 Release
Release Notes
=============
Features
--------
PR#762 MIPS and MIPS64 lifters
PR#739 PowerPC and PowerPC64 lifters
PR#744 LLVM 5.0 compatibility
PR#734 BARE Binary Analysis Rule Engine
PR#734 New Taint Analysis Framework
PR#734 Primus Lisp 2.0 with symbols and methods
PR#734 Recipes
PR#734 Primus Test Framework
PR#734 Dataflow and Abstract Interpretation Framework
PR#734 Progress Reports and Profilers
PR#773 New primitives for BML
Bug fixes
---------
- PR#700 LLVM-4.0 is now supported
- PR#688 Primus - the microexecution framework
- PR#688 BIL type checker and normalizer
- PR#688 New constant folding with effect analysis
- PR#688 SSA transformation plugin
- PR#688 Dead code elimination plugin
- PR#688 New pretty-printer for BIL and bitvectors
- PR#684 Support for cmdliner 1.0
- PR#682 Severely reduces memory consumption
- PR#680 New thin bitvector representation
- PR#663 Adds topic tags to bundle
- PR#654 New OGRE based loader that supports:
- Linux Kernel Modules
- MachO Kernel Bundles (LLVM 3.8+ only)
- Plain object files
- Shared libraries
- PR#630 Enhancments in IDA plugin
View the changeset: https://github.com/BinaryAnalysisPlatform/opam-repository/compare/656c46e7defb...3f3e9a0345a7
View the full build log and details: https://travis-ci.org/BinaryAnalysisPlatform/opam-repository/builds/348234916?utm_source=email&utm_medium=notification
--
You can configure recipients for build notifications in your .travis.yml file. See https://docs.travis-ci.com/user/notifications
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ocaml.org/pipermail/opam-commits/attachments/20180302/8277f414/attachment-0001.html>
More information about the Opam-commits
mailing list