{"push_id":2509492835,"size":28,"distinct_size":1,"ref":"refs/heads/master","head":"55683051425158ae8f4544563ce64907ebc8bb94","before":"451c4a698270ddf5e0c65024eeebdd7089e771ed","commits":[{"sha":"fed9e82918facbb4225dd97245b8454b08015648","author":{"name":"Clément Pit--Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"Small cleanup in FStar_GetOpt.ml and getopt.fs","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/fed9e82918facbb4225dd97245b8454b08015648"},{"sha":"cac7c6ce37574c07805f8416c695018562e143da","author":{"name":"Clément Pit--Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"jsoo: Rewrite readdir using Sys.readdir","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/cac7c6ce37574c07805f8416c695018562e143da"},{"sha":"1675253e1c49c55fc2fc27dfecaf30585620c09a","author":{"name":"Clément Pit--Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"jsoo: Refactor FStar.Interactive","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/1675253e1c49c55fc2fc27dfecaf30585620c09a"},{"sha":"7505ffcb0cb58e8abcb561d7149a2261f8c7e216","author":{"name":"Clément Pit--Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"jsoo: Add an Exit exception in FStar.Main\n\nThis exception is raised by the Javascript version of Sys.exit (used when\ncompiling with js_of_ocaml)","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/7505ffcb0cb58e8abcb561d7149a2261f8c7e216"},{"sha":"2cb1888544bbb442a2d3db9beca350a4d55cb818","author":{"name":"Clément Pit--Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"jsoo: Further adjustments to FStar.Interactive.js","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/2cb1888544bbb442a2d3db9beca350a4d55cb818"},{"sha":"e146b736153f389fd49ae31ba3e15d5f504d93a5","author":{"name":"Clément Pit--Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"jsoo: Use open_{in,out} instead of BatFile.with_{in,out}put_file\n\nBatFile depends on the Unix module, which isn't available in js_of_ocaml.","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/e146b736153f389fd49ae31ba3e15d5f504d93a5"},{"sha":"7edacbbd32c76f09ca312059858036813b87ce42","author":{"name":"Clément Pit--Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"jsoo: Rewrite tryFind, find, and try_find to not use exceptions","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/7edacbbd32c76f09ca312059858036813b87ce42"},{"sha":"61c6976e7d433e88a304769d08666594b79c7e44","author":{"name":"Clément Pit--Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"jsoo: Fix implementation of js_repl_init_opts\n\nThe --ide code assumes that the name of the main file is available as the first\ncommand line file too, so make sure that this holds.","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/61c6976e7d433e88a304769d08666594b79c7e44"},{"sha":"d8ebb9f98472fbe228fd3fc0e92c9c7e08c88d71","author":{"name":"Clément Pit--Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"smtencoding: Simplify the Z3 interface\n\nThis replaces grab + ask_process + release with a single call to ask.  It also\nturns bg_z3_proc into a reference, to allow fstar.js to override it.","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/d8ebb9f98472fbe228fd3fc0e92c9c7e08c88d71"},{"sha":"9f2316d0ba66ac3c231e1a3a55843a4071607e0a","author":{"name":"Clément Pit--Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"jsoo: improve the error message in js_repl_init_opts","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/9f2316d0ba66ac3c231e1a3a55843a4071607e0a"},{"sha":"9b82450d18cef57d9ca6eea312ebd7ad1af65297","author":{"name":"Clément Pit--Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"jsoo: Revert tryFind, find, etc (BatList 2.8 doesn't use exceptions)\n\nThis reverts commit 27aed5cdaa77be664a82ce5f425801e1103a4006.","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/9b82450d18cef57d9ca6eea312ebd7ad1af65297"},{"sha":"85b0027abff410309d879d01820b4c4d6116fc6b","author":{"name":"Clément Pit--Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"jsoo: Rewrite a simple use of Str.regexp in parse_string\n\nThe Str module isn't supported in js_of_ocaml.","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/85b0027abff410309d879d01820b4c4d6116fc6b"},{"sha":"0984a655b4a1a5c3cdeb3a6c2b55e0e0089efa50","author":{"name":"Clément Pit--Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"jsoo: Move hook assignments to a function that fstar.js can call","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/0984a655b4a1a5c3cdeb3a6c2b55e0e0089efa50"},{"sha":"b3f6d78450fe5b347d68de66d70f9b71f45e2dc1","author":{"name":"Clément Pit--Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"dmff: Fix an incorrect use of format (\"%b\" instead of \"%s\")","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/b3f6d78450fe5b347d68de66d70f9b71f45e2dc1"},{"sha":"ce66a8db9ed7c0f4eb496e9b7c8410b8246aef91","author":{"name":"Clément Pit--Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"ide: Add a query ID to messages","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/ce66a8db9ed7c0f4eb496e9b7c8410b8246aef91"},{"sha":"c04552cc7dca107c73cf70d69a83b28be0e0422e","author":{"name":"Clément Pit--Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"jsoo: Refactor Main to make it easier to call the relevant parts from JS","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/c04552cc7dca107c73cf70d69a83b28be0e0422e"},{"sha":"cdb32b0588101c1adb92a799a458e2db4a9990c7","author":{"name":"Clément Pit--Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"jsoo: Make it possible to override the options passed to Z3\n\nThe API I'm using in F*.js can't change auto_config, global-decls, and\nproduce-unsat-cores after the fact — these options must be set when initializing\nthe solver.","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/cdb32b0588101c1adb92a799a458e2db4a9990c7"},{"sha":"46683cde832b220660344550a2ad83b914bce2e8","author":{"name":"Clément Pit--Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"util: Make replace_char faster\n\nThis yields a 10% speed improvement in F*.js","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/46683cde832b220660344550a2ad83b914bce2e8"},{"sha":"81c6225165c2aed972deae3dc851d1c45ce613fb","author":{"name":"Clément Pit--Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"smtencoding: Make sure that all captions fit on one line\n\nThis saves many calls to nsplit, for an ~10% improvement in F*.js.","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/81c6225165c2aed972deae3dc851d1c45ce613fb"},{"sha":"1c62a8b53f5632a92e4f4cf0bf1ad49a0a429f7a","author":{"name":"Clément Pit--Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"typechecker: Remove a dead function","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/1c62a8b53f5632a92e4f4cf0bf1ad49a0a429f7a"}]}
{"actor":{"display_login":"cpitclaudel"}}