{"push_id":2514271146,"size":689,"distinct_size":689,"ref":"refs/heads/master","head":"3f844ab6cd5b7b82e5fd43a21d8afd92e47a1677","before":"da47f6913e77a5c304ad1fc37e8087755e6819ba","commits":[{"sha":"fc1bee140be584174865a3993f0b6269569dda61","author":{"name":"David Allsopp","email":"c9f3edd67895121805b8da006fd27cc8ebcfeb7e@metastack.com"},"message":"Test 4.06.0 as a system switch on Travis/Linux\n\nUse the new INSTALL_LOCAL option to build OCaml 4.06.0 in /usr/local and\ntreat it as a system switch.","distinct":true,"url":"https://api.github.com/repos/jacquev6/opam-repository/commits/fc1bee140be584174865a3993f0b6269569dda61"},{"sha":"eba59ad3f3c77a334cbfb9ad745388a5f1065288","author":{"name":"David Allsopp","email":"c9f3edd67895121805b8da006fd27cc8ebcfeb7e@metastack.com"},"message":"Warn if num installed to a broken system compiler\n\nIf the num library was installed in a system switch where the user had\nwrite permissions to the system compiler's lib directory before #11207\nwas merged, then *fresh* installations of the ocamlfind package will\ndetect this \"system\" installation of num and create a META file for it.\nThis in turn will cause the num package installation to fail.\nAnnoyingly, this failure only appears once because opam then executes\nocamlfind remove num so a subsequent attempt to install the num package\nwill appear to have worked.\n\nThis patch displays a comprehensive error message the first time,\nstrongly suggesting that the user manually delete the files which were\nincorrectly installed previously.","distinct":true,"url":"https://api.github.com/repos/jacquev6/opam-repository/commits/eba59ad3f3c77a334cbfb9ad745388a5f1065288"},{"sha":"2c942b0dfa0e982354a61b28448682f0a087fdc8","author":{"name":"Vincent Bernardoff","email":"a72009d09fde24ffc25075c5a4574a1b5c69fda4@luminar.eu.org"},"message":"+bip32.0.2","distinct":true,"url":"https://api.github.com/repos/jacquev6/opam-repository/commits/2c942b0dfa0e982354a61b28448682f0a087fdc8"},{"sha":"a4b69d54f446b2ba092369089f9a815cdb34dc99","author":{"name":"Marcello Seri","email":"34fd14c67154e888f6587d5c0e7eadd13aaf7ca7@citrix.com"},"message":"vhd-format-*: release 0.9.2\n\nSigned-off-by: Marcello Seri <marcello.seri@citrix.com>","distinct":true,"url":"https://api.github.com/repos/jacquev6/opam-repository/commits/a4b69d54f446b2ba092369089f9a815cdb34dc99"},{"sha":"2af6b6f9ff6768c96db3872aa41b16af330c5614","author":{"name":"Simon Cruanes","email":"47be9ca2e7a60d0a01d349006f6bef4b7f0d6788@m4x.org"},"message":"jupyter-kernel.0.3 - via opam-publish","distinct":true,"url":"https://api.github.com/repos/jacquev6/opam-repository/commits/2af6b6f9ff6768c96db3872aa41b16af330c5614"},{"sha":"bb1bee8062b62c5bb53667dc2f4a59e3d3c500b9","author":{"name":"Simon Cruanes","email":"47be9ca2e7a60d0a01d349006f6bef4b7f0d6788@m4x.org"},"message":"calculon.0.2 - via opam-publish","distinct":true,"url":"https://api.github.com/repos/jacquev6/opam-repository/commits/bb1bee8062b62c5bb53667dc2f4a59e3d3c500b9"},{"sha":"77ac033b0ea4a8ac253d758f51c991e6928acf43","author":{"name":"Simon Cruanes","email":"47be9ca2e7a60d0a01d349006f6bef4b7f0d6788@m4x.org"},"message":"calculon-web.0.2 - via opam-publish","distinct":true,"url":"https://api.github.com/repos/jacquev6/opam-repository/commits/77ac033b0ea4a8ac253d758f51c991e6928acf43"},{"sha":"cb4d449af0eed016a06cd31eda7bdf6e97a71ee4","author":{"name":"Ivan Gotovchits","email":"f3bc570231618d80ad00b7e09ba8c6a7454670b4@ieee.org"},"message":"BAP 1.4 Release\n\nRelease Notes\n=============\n\nFeatures\n--------\n\n- PR#762 MIPS and MIPS64 lifters\n- PR#739 PowerPC and PowerPC64 lifters\n- PR#744 LLVM 5.0 compatibility\n- PR#734 BARE Binary Analysis Rule Engine\n- PR#734 New Taint Analysis Framework\n- PR#734 Primus Lisp 2.0 with symbols and methods\n- PR#734 Recipes\n- PR#734 Primus Test Framework\n- PR#734 Dataflow and Abstract Interpretation Framework\n- PR#734 Progress Reports and Profilers\n- PR#773 New primitives for BML\n\nBug fixes\n---------\n\n- PR#782 Incorrect error handling in x86 lifter\n- PR#734 Failure to decode ICC binaries\n- PR#772 Fixes equiv type in Graphlib\n- PR#771 Unhardcodes llvm backed in the linear sweep disassembler\n- PR#770 Fixes the memory printer\n- PR#761 Fixes handling relocations in reconstructor\n- PR#759 Fixes race condition in the source merge procedure\n- PR#758 Restores the source-type command line option\n- PR#755 Proper handling of tail calls in IR lifter\n- PR#754 Fixes segment registers in mov instruction\n- PR#746 Fixes xor in the BIL simplfication procedure\n- PR#728 Fixes flag calculation in the x86 sub instruction\n- PR#727 Fixes numerous missed sign extensions in x86 lifter\n- PR#725 Adds modulo operation to x86 rot/rol instructions\n- PR#724 Fixes operands order in the x86 xadd instruction\n- PR#723 Fixes segment duplication","distinct":true,"url":"https://api.github.com/repos/jacquev6/opam-repository/commits/cb4d449af0eed016a06cd31eda7bdf6e97a71ee4"},{"sha":"ed687058e5349e47c63c91ed3115baba9548123d","author":{"name":"Ivan Gotovchits","email":"f3bc570231618d80ad00b7e09ba8c6a7454670b4@ieee.org"},"message":"switches to LLVM-3.8, adds more constraints\n\n1) tries to use llvm-3.8 on debian distributions\n2) adds constraints to all packages in the current release to\n   bap-std.1.4.0 (those that are indeed dependent on it), we\n   don't want to support backward compatibility between new libraries\n   and old Bap.Std (only vice verse)","distinct":true,"url":"https://api.github.com/repos/jacquev6/opam-repository/commits/ed687058e5349e47c63c91ed3115baba9548123d"},{"sha":"d9cbf959d19d055c7e6e1f8d8aa012d8ba11580d","author":{"name":"Ivan Gotovchits","email":"f3bc570231618d80ad00b7e09ba8c6a7454670b4@ieee.org"},"message":"fixes bap-frames constraint","distinct":true,"url":"https://api.github.com/repos/jacquev6/opam-repository/commits/d9cbf959d19d055c7e6e1f8d8aa012d8ba11580d"},{"sha":"ae45ed470ff14acba3e961daef4684a018b01f5c","author":{"name":"Ivan Gotovchits","email":"f3bc570231618d80ad00b7e09ba8c6a7454670b4@ieee.org"},"message":"constraints primus dependency on graphlib\n\nwe need the latest version, that provides the data flow framework.","distinct":true,"url":"https://api.github.com/repos/jacquev6/opam-repository/commits/ae45ed470ff14acba3e961daef4684a018b01f5c"},{"sha":"73d56985baa120bd7ca7258eacc36e2bd7118e9f","author":{"name":"Ivan Gotovchits","email":"f3bc570231618d80ad00b7e09ba8c6a7454670b4@ieee.org"},"message":"restores constraints for bap-elf and drops bap-elf.1.4\n\nProbably we didn't merge back the constraints for bap-elf, or somehow\nmessed with the merge. Fortunately, the CI captured this.\n\nConcerning the bap-elf.1.4, we are skipping it, as it doesn't compile\nwith this version due to:\n\n- https://github.com/BinaryAnalysisPlatform/bap/issues/756\n- https://github.com/janestreet/ppx_driver/issues/14\n\nWe need to wait until the latest ppx_driver is released and also\nupdate our suite to core v0.10, that won't happen until the 1.5\nrelease.","distinct":true,"url":"https://api.github.com/repos/jacquev6/opam-repository/commits/73d56985baa120bd7ca7258eacc36e2bd7118e9f"},{"sha":"7978616b05f6713e42417dc28d3580575d128497","author":{"name":"Ivan Gotovchits","email":"f3bc570231618d80ad00b7e09ba8c6a7454670b4@ieee.org"},"message":"makes find-ida to soft-fail if IDA is not found\n\nSo far, we didn't allow the opam users to install bap-ida if conf-ida\nis not installed. That's usual for opam packages that somehow rely on\nexternal system packages on availability of other software on a\nsystem.\n\nOur IDA integration is a little bit different, as it allows\nspecification of IDA path later, moreover it supports multiple IDA\ninstallations. So, the conf-ida should not imply such strict policies\nand prevent people from installing IDA integration even when IDA is\nnot present (or not foundable - e.g. when it is containerized in\nDocker).","distinct":true,"url":"https://api.github.com/repos/jacquev6/opam-repository/commits/7978616b05f6713e42417dc28d3580575d128497"},{"sha":"18a80e9c452238d09e9445e759d804ad0cbb9b00","author":{"name":"Jacques-Pascal Deplaix","email":"26c8999589b092eb29da6fdfecc4a3ccf3e2c78f@gmail.com"},"message":"Add llvm.6.0.0","distinct":true,"url":"https://api.github.com/repos/jacquev6/opam-repository/commits/18a80e9c452238d09e9445e759d804ad0cbb9b00"},{"sha":"5dee1c03828965d87e79b77553353a639921db31","author":{"name":"Ivan Gotovchits","email":"f3bc570231618d80ad00b7e09ba8c6a7454670b4@ieee.org"},"message":"adds proper constraints to bap-frames","distinct":true,"url":"https://api.github.com/repos/jacquev6/opam-repository/commits/5dee1c03828965d87e79b77553353a639921db31"},{"sha":"13bd65fa2702399d53ad822bf23cc8be61132e8e","author":{"name":"Ivan Gotovchits","email":"f3bc570231618d80ad00b7e09ba8c6a7454670b4@ieee.org"},"message":"constains bap-symbol-reader lower bound of OCaml version","distinct":true,"url":"https://api.github.com/repos/jacquev6/opam-repository/commits/13bd65fa2702399d53ad822bf23cc8be61132e8e"},{"sha":"ab41a567befa07aff548fb21ef46f4d268e324d2","author":{"name":"Ivan Gotovchits","email":"f3bc570231618d80ad00b7e09ba8c6a7454670b4@ieee.org"},"message":"constraints compiler version of all bap packages\n\nmost of them still rely at least on regular, the few rest are still\nuntested, so it would be unfair to claim that they work. We will add\nsupport for 4.06 in the next, 1.5 release of BAP","distinct":true,"url":"https://api.github.com/repos/jacquev6/opam-repository/commits/ab41a567befa07aff548fb21ef46f4d268e324d2"},{"sha":"867e0f73729b75a68b74f1ac3f4f21398b75209a","author":{"name":"Ivan Gotovchits","email":"f3bc570231618d80ad00b7e09ba8c6a7454670b4@ieee.org"},"message":"drops core-lwt.0.2 in favor of core-lwt.0.2.0","distinct":true,"url":"https://api.github.com/repos/jacquev6/opam-repository/commits/867e0f73729b75a68b74f1ac3f4f21398b75209a"},{"sha":"8d5908d25a94a5f5bfa3db9762c7f2376f2b3a20","author":{"name":"Calascibetta Romain","email":"d214647c516db0ffadc34cc1e3a019f40be08a80@gmail.com"},"message":"emile.0.2 - via opam-publish","distinct":true,"url":"https://api.github.com/repos/jacquev6/opam-repository/commits/8d5908d25a94a5f5bfa3db9762c7f2376f2b3a20"},{"sha":"1c3c2c5caf0bdb91ae3e271bfbf520745847a100","author":{"name":"Kate","email":"26c8999589b092eb29da6fdfecc4a3ccf3e2c78f@gmail.com"},"message":"Merge pull request #11539 from dinosaure/opam-publish-emile.0.2\n\nPackage emile.0.2","distinct":true,"url":"https://api.github.com/repos/jacquev6/opam-repository/commits/1c3c2c5caf0bdb91ae3e271bfbf520745847a100"}]}
{"actor":{"display_login":"jacquev6"}}