{"push_id":1103014574,"size":373,"distinct_size":204,"ref":"refs/heads/master","head":"c35e1c98524b0f7f9892b905d9434e4397d963b9","before":"640308b5468d0c284f4edfcbfc9e67e02c06f900","commits":[{"sha":"824169da0a68658b68e377697843696c3a788719","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"New OCaml API","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/824169da0a68658b68e377697843696c3a788719"},{"sha":"b99fcb9c8abd343ca31fea8b2bb24e777e7ddce5","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"More new OCaml API","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/b99fcb9c8abd343ca31fea8b2bb24e777e7ddce5"},{"sha":"18c0a3bfafc3ed9746572ab81f190b5e39a40442","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"removed comments","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/18c0a3bfafc3ed9746572ab81f190b5e39a40442"},{"sha":"62cae4186b270508501db852f11bf8e14a6453a6","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"ML API bug fixes","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/62cae4186b270508501db852f11bf8e14a6453a6"},{"sha":"733c11572274d227ce65b51d1dba35a3f731c368","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Merge branch 'master' of https://github.com/Z3Prover/z3 into new-ml-api","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/733c11572274d227ce65b51d1dba35a3f731c368"},{"sha":"0dc85620aa8fb7319bab36b1d55db8f7a27cfbe1","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"ML API bug fix","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/0dc85620aa8fb7319bab36b1d55db8f7a27cfbe1"},{"sha":"0254b1f7fff678c31f7083aae313e00d72d933ad","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"ML API bug fixes","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/0254b1f7fff678c31f7083aae313e00d72d933ad"},{"sha":"0930cfc53f76ac54637f88c16e4520ada361f428","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"ML API build fixes for cygwin","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/0930cfc53f76ac54637f88c16e4520ada361f428"},{"sha":"928858452fda3e8235d3cc2bc894a6f730121118","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Merge branch 'master' of https://github.com/Z3Prover/z3 into new-ml-api","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/928858452fda3e8235d3cc2bc894a6f730121118"},{"sha":"b27977ea90e134c74f8d97e0f5f8fd807fbff6db","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Merge branch 'master' of https://github.com/Z3Prover/z3 into new-ml-api","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/b27977ea90e134c74f8d97e0f5f8fd807fbff6db"},{"sha":"e79960b253e8115627ddf0b01cf278a4f410de31","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Merge branch 'master' of https://github.com/Z3Prover/z3 into new-ml-api","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/e79960b253e8115627ddf0b01cf278a4f410de31"},{"sha":"bd73bd91772b8c715f333965565f7632b9a97845","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Merge branch 'master' of https://github.com/Z3Prover/z3 into new-ml-api","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/bd73bd91772b8c715f333965565f7632b9a97845"},{"sha":"bfd836e911bcfba74572b2aa23a567c74c4f13d6","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Merge branch 'master' of https://github.com/Z3Prover/z3 into new-ml-api","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/bfd836e911bcfba74572b2aa23a567c74c4f13d6"},{"sha":"c9a5676346716d8db90f9831faf3f6fb998cdd84","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Merge branch 'master' of https://github.com/Z3Prover/z3 into new-ml-api","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/c9a5676346716d8db90f9831faf3f6fb998cdd84"},{"sha":"9558dc14fb88bcee3997cba6f42e0b5377861edb","author":{"email":"f02deabc026083422c4080a2a3c0fa14358d5b51@imperial.ac.uk","name":"Dan Liew"},"message":"Refactor ``exec_pyg_scripts()`` so that it is usable externally\nvia a new ``pyg2hpp.py`` script. This will allow other build systems to\ntake ``pyg`` files and generate the corresponding ``hpp`` files.","distinct":false,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/9558dc14fb88bcee3997cba6f42e0b5377861edb"},{"sha":"ef5817946279cbfaacbd137e8ce061964914fe2d","author":{"email":"f02deabc026083422c4080a2a3c0fa14358d5b51@imperial.ac.uk","name":"Dan Liew"},"message":"Refactor ``mk_pat_db()`` so that it is usable externally via a new function\n``mk_pat_db_internal()`` which is called by a new ``mk_pat_db.py`` script. This\nwill allow other build systems to generate the ``database.h`` file.","distinct":false,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/ef5817946279cbfaacbd137e8ce061964914fe2d"},{"sha":"a13438818f31bc8fc5dae0cdefca47c6dea6c884","author":{"email":"f02deabc026083422c4080a2a3c0fa14358d5b51@imperial.ac.uk","name":"Dan Liew"},"message":"Refactor ``mk_install_tactic_cpp()`` so that it is usable externally via a new\nfunction ``mk_install_tactic_cpp_internal()`` which is called by a\nnew ``mk_install_tactic_cpp.py`` script. This will allow other build systems to\ngenerate the ``install_tactic.cpp`` files.","distinct":false,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/a13438818f31bc8fc5dae0cdefca47c6dea6c884"},{"sha":"2f7f02260522d00ca8b091f905e3e4a548b748e5","author":{"email":"f02deabc026083422c4080a2a3c0fa14358d5b51@imperial.ac.uk","name":"Dan Liew"},"message":"Refactor ``mk_mem_initializer_cpp()`` so that it is usable externally via a new\nfunction ``mk_mem_initializer_cpp_internal()`` which is called by a\nnew ``mk_mem_initializer_cpp.py`` script. This will allow other build systems to\ngenerate the ``mem_initializer.cpp`` files.","distinct":false,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/2f7f02260522d00ca8b091f905e3e4a548b748e5"},{"sha":"2b3fe3d02c6c215faad8ca309895bc2c90e406bd","author":{"email":"f02deabc026083422c4080a2a3c0fa14358d5b51@imperial.ac.uk","name":"Dan Liew"},"message":"Refactor ``mk_gparams_register_modules()`` so that it is usable externally via a new\nfunction ``mk_gparams_register_modules_internal()`` which is called by a\nnew ``mk_gparams_register_modules_cpp.py`` script. This will allow other build systems to\ngenerate the ``gparams_register_modules.cpp`` files.","distinct":false,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/2b3fe3d02c6c215faad8ca309895bc2c90e406bd"},{"sha":"db34baa979cc63955b4a9a51a853d5337dd65b3f","author":{"email":"f02deabc026083422c4080a2a3c0fa14358d5b51@imperial.ac.uk","name":"Dan Liew"},"message":"Partially refactor the code in ``update_api.py`` so that it can\nbe used as a script for other build systems and is callable via\na new ``generate_files()`` function from ``mk_util.py``. This removes\nthe horrible ``_execfile()`` hack that was previously in ``mk_util.py``.\n\nUnfortunately lots of bad code is still in ``update_api.py`` but\nfixing all of its problems is too much work right now.","distinct":false,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/db34baa979cc63955b4a9a51a853d5337dd65b3f"}]}