{"push_id":1137690500,"size":6,"distinct_size":6,"ref":"refs/heads/lean3","head":"032750f4cbf6265dde5060136e7b87b61ec16bcf","before":"3a4a2828d2c48caab231b1227f741ac27b74dd16","commits":[{"sha":"4e5b8e8d0ef673fb09c693481e537d9db67175be","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"fix(library/string): conversion from std::string to lean expr","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/4e5b8e8d0ef673fb09c693481e537d9db67175be"},{"sha":"e843062be7bdc78d86112b343e9cada2f9a1e6d8","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"feat(library/vm/vm): add support to builtin c-like functions that use the system stack to pass arguments","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/e843062be7bdc78d86112b343e9cada2f9a1e6d8"},{"sha":"25903645a753c13a6eeca694af3bfbc04c6c1f2e","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"feat(library/vm/vm): add some sanity checking","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/25903645a753c13a6eeca694af3bfbc04c6c1f2e"},{"sha":"faf70ed58c293d0b4758a6529e4191121fa0e351","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"feat(library/vm/vm): add support for declaring builtin cfunctions","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/faf70ed58c293d0b4758a6529e4191121fa0e351"},{"sha":"b31a7bd3e717ad8e455e660b8eab069507f757a5","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"feat(library/vm): use cfunction style for nat and IO primitives","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/b31a7bd3e717ad8e455e660b8eab069507f757a5"},{"sha":"032750f4cbf6265dde5060136e7b87b61ec16bcf","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"feat(library/vm/vm): add dynamic declare_vm_builtin","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/032750f4cbf6265dde5060136e7b87b61ec16bcf"}]}
{"actor":{"display_login":"leodemoura"}}