{"push_id":741618806,"size":15,"distinct_size":15,"ref":"refs/heads/master","head":"cb7a5f1353b09b5d8d3c3e53d10764a2eb42c4de","before":"37c20ba70f3362532498e163577b8d7fd45f436f","commits":[{"sha":"35830b6cf48a86861dd8ef10ba71d8bb74af8988","author":{"email":"29b98eff1c84c99d79c88ec7a04774b9ef644180@d6d8869d-df28-4c9d-b3d8-ddc8926f8a8a","name":"antoinemine"},"message":"fix strdup redefinition [Thibault Suzanne]\n\n\ngit-svn-id: svn://scm.gforge.inria.fr/svnroot/apron/apron/trunk@1055 d6d8869d-df28-4c9d-b3d8-ddc8926f8a8a","distinct":true,"url":"https://api.github.com/repos/nberth/apron4opam/commits/35830b6cf48a86861dd8ef10ba71d8bb74af8988"},{"sha":"ad588d688a2de018714700acb06a327d6f9b7cd2","author":{"email":"29b98eff1c84c99d79c88ec7a04774b9ef644180@d6d8869d-df28-4c9d-b3d8-ddc8926f8a8a","name":"antoinemine"},"message":"fix example compilation\n\n\ngit-svn-id: svn://scm.gforge.inria.fr/svnroot/apron/apron/trunk@1056 d6d8869d-df28-4c9d-b3d8-ddc8926f8a8a","distinct":true,"url":"https://api.github.com/repos/nberth/apron4opam/commits/ad588d688a2de018714700acb06a327d6f9b7cd2"},{"sha":"1d12915eecad318505e598ecb076cf0d0aa7851e","author":{"email":"29b98eff1c84c99d79c88ec7a04774b9ef644180@d6d8869d-df28-4c9d-b3d8-ddc8926f8a8a","name":"antoinemine"},"message":"fixed imprecision in meet_lincon_array missing integer reduction wrt. newpolka)\n\n\ngit-svn-id: svn://scm.gforge.inria.fr/svnroot/apron/apron/trunk@1057 d6d8869d-df28-4c9d-b3d8-ddc8926f8a8a","distinct":true,"url":"https://api.github.com/repos/nberth/apron4opam/commits/1d12915eecad318505e598ecb076cf0d0aa7851e"},{"sha":"7e0f251c925e6a48b722e64a638513e37b7d88be","author":{"email":"29b98eff1c84c99d79c88ec7a04774b9ef644180@d6d8869d-df28-4c9d-b3d8-ddc8926f8a8a","name":"antoinemine"},"message":"improved installation rules when ocamlfind is present, to avoid installing ocaml libraries twice\n\n\ngit-svn-id: svn://scm.gforge.inria.fr/svnroot/apron/apron/trunk@1058 d6d8869d-df28-4c9d-b3d8-ddc8926f8a8a","distinct":true,"url":"https://api.github.com/repos/nberth/apron4opam/commits/7e0f251c925e6a48b722e64a638513e37b7d88be"},{"sha":"610697d6348afcbeaabdc6a010db3976f2931050","author":{"email":"29b98eff1c84c99d79c88ec7a04774b9ef644180@d6d8869d-df28-4c9d-b3d8-ddc8926f8a8a","name":"antoinemine"},"message":"removed some \"unused argument\" warnings that caused compilation to fail in some cases\n\n\ngit-svn-id: svn://scm.gforge.inria.fr/svnroot/apron/apron/trunk@1059 d6d8869d-df28-4c9d-b3d8-ddc8926f8a8a","distinct":true,"url":"https://api.github.com/repos/nberth/apron4opam/commits/610697d6348afcbeaabdc6a010db3976f2931050"},{"sha":"79a2fddcafcc8de40108a2e100af61238238d8db","author":{"email":"29b98eff1c84c99d79c88ec7a04774b9ef644180@d6d8869d-df28-4c9d-b3d8-ddc8926f8a8a","name":"antoinemine"},"message":"- fixed some compilation warnings\n- better compatibility with ocamlfind (strongly recommended)\n\n\ngit-svn-id: svn://scm.gforge.inria.fr/svnroot/apron/apron/trunk@1060 d6d8869d-df28-4c9d-b3d8-ddc8926f8a8a","distinct":true,"url":"https://api.github.com/repos/nberth/apron4opam/commits/79a2fddcafcc8de40108a2e100af61238238d8db"},{"sha":"215f7380f5545eaea7b3c20c8b5fff20598b4eea","author":{"email":"29b98eff1c84c99d79c88ec7a04774b9ef644180@d6d8869d-df28-4c9d-b3d8-ddc8926f8a8a","name":"antoinemine"},"message":"replaced SED scripts with PERL scripts\nshould be more portable on non-GNU systems (espcially on MacOS X)\n\n\ngit-svn-id: svn://scm.gforge.inria.fr/svnroot/apron/apron/trunk@1061 d6d8869d-df28-4c9d-b3d8-ddc8926f8a8a","distinct":true,"url":"https://api.github.com/repos/nberth/apron4opam/commits/215f7380f5545eaea7b3c20c8b5fff20598b4eea"},{"sha":"e0575ba04cbf76fa4516b4d3073c6f5e3828c361","author":{"email":"29b98eff1c84c99d79c88ec7a04774b9ef644180@d6d8869d-df28-4c9d-b3d8-ddc8926f8a8a","name":"antoinemine"},"message":"replaced M4 scripts with PERL scripts, should make it easier to compile on non-GNU systems\n\n\ngit-svn-id: svn://scm.gforge.inria.fr/svnroot/apron/apron/trunk@1062 d6d8869d-df28-4c9d-b3d8-ddc8926f8a8a","distinct":true,"url":"https://api.github.com/repos/nberth/apron4opam/commits/e0575ba04cbf76fa4516b4d3073c6f5e3828c361"},{"sha":"dd1abe2cde396e68ff5c9b56adb9c1a85b61e92b","author":{"email":"29b98eff1c84c99d79c88ec7a04774b9ef644180@d6d8869d-df28-4c9d-b3d8-ddc8926f8a8a","name":"antoinemine"},"message":"now Ocaml IDL files automatically -> make rebuild is no longer necessary\n\n\ngit-svn-id: svn://scm.gforge.inria.fr/svnroot/apron/apron/trunk@1063 d6d8869d-df28-4c9d-b3d8-ddc8926f8a8a","distinct":true,"url":"https://api.github.com/repos/nberth/apron4opam/commits/dd1abe2cde396e68ff5c9b56adb9c1a85b61e92b"},{"sha":"8d2fec070ac51d0e22355bed4474a8fbfa723e3a","author":{"email":"29b98eff1c84c99d79c88ec7a04774b9ef644180@d6d8869d-df28-4c9d-b3d8-ddc8926f8a8a","name":"antoinemine"},"message":"experimental ./configure, to generate Makefile.config automatically\n\n\ngit-svn-id: svn://scm.gforge.inria.fr/svnroot/apron/apron/trunk@1064 d6d8869d-df28-4c9d-b3d8-ddc8926f8a8a","distinct":true,"url":"https://api.github.com/repos/nberth/apron4opam/commits/8d2fec070ac51d0e22355bed4474a8fbfa723e3a"},{"sha":"9f59fdce4f6f2bcee27e0f8c7c264f62a4a0c6cc","author":{"email":"29b98eff1c84c99d79c88ec7a04774b9ef644180@d6d8869d-df28-4c9d-b3d8-ddc8926f8a8a","name":"antoinemine"},"message":"fixed \"make dist\"\nit should build a .tar.gz with all the files necessary to compile the library\nTODO: fix documentation generation\n\n\ngit-svn-id: svn://scm.gforge.inria.fr/svnroot/apron/apron/trunk@1065 d6d8869d-df28-4c9d-b3d8-ddc8926f8a8a","distinct":true,"url":"https://api.github.com/repos/nberth/apron4opam/commits/9f59fdce4f6f2bcee27e0f8c7c264f62a4a0c6cc"},{"sha":"d86eb68f02cb1b0440a471e64f734311ccfb9116","author":{"email":"29b98eff1c84c99d79c88ec7a04774b9ef644180@d6d8869d-df28-4c9d-b3d8-ddc8926f8a8a","name":"antoinemine"},"message":"configure help\n\n\ngit-svn-id: svn://scm.gforge.inria.fr/svnroot/apron/apron/trunk@1066 d6d8869d-df28-4c9d-b3d8-ddc8926f8a8a","distinct":true,"url":"https://api.github.com/repos/nberth/apron4opam/commits/d86eb68f02cb1b0440a471e64f734311ccfb9116"},{"sha":"a7de1c303b6d30a494e15c48fd336f301175d2cd","author":{"email":"29b98eff1c84c99d79c88ec7a04774b9ef644180@d6d8869d-df28-4c9d-b3d8-ddc8926f8a8a","name":"antoinemine"},"message":"\"-undefined suppress\" in configure (for MacOS)\n\n\ngit-svn-id: svn://scm.gforge.inria.fr/svnroot/apron/apron/trunk@1067 d6d8869d-df28-4c9d-b3d8-ddc8926f8a8a","distinct":true,"url":"https://api.github.com/repos/nberth/apron4opam/commits/a7de1c303b6d30a494e15c48fd336f301175d2cd"},{"sha":"b90548a60119c2b199e2099a6a18520bff068a44","author":{"email":"29b98eff1c84c99d79c88ec7a04774b9ef644180@d6d8869d-df28-4c9d-b3d8-ddc8926f8a8a","name":"antoinemine"},"message":"configure fix and added --XXX-prefix and --no-XXX options\n\n\ngit-svn-id: svn://scm.gforge.inria.fr/svnroot/apron/apron/trunk@1068 d6d8869d-df28-4c9d-b3d8-ddc8926f8a8a","distinct":true,"url":"https://api.github.com/repos/nberth/apron4opam/commits/b90548a60119c2b199e2099a6a18520bff068a44"},{"sha":"cb7a5f1353b09b5d8d3c3e53d10764a2eb42c4de","author":{"email":"6b0d31c0d563223024da45691584643ac78c96e8@nberth.space","name":"Nicolas Berthier"},"message":"Merge remote-tracking branch 'remotes/git-svn'","distinct":true,"url":"https://api.github.com/repos/nberth/apron4opam/commits/cb7a5f1353b09b5d8d3c3e53d10764a2eb42c4de"}]}