[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