{"push_id":1374507695,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"08d4465e1dbde345fd96a2df13640388ff20b85f","before":"eee940b2a1b2ed269898bf7ee1bae560570f755d","commits":[{"sha":"46592ffdd928af0946dfff6a75e6bfaf56600611","author":{"name":"Andrzej Kotulski","email":"de0407ed4655060bd5c4304df49ac591254b7189@fb.com"},"message":"[backend] Split construction of builtin pnames and builtin registration\n\nSummary:\nthis makes frontends no longer depend on SymExec.ml. `ModelBuiltins` was split into two modules:\n  - `BuiltinDecl` with procnames for builtins (used to determine whether some function is a builtin)\n  - `BuiltinDefn` with implementations used by `SymExec`\n  - they both have similar type defined in `BUILTINS.S` which makes sure that new builtin gets added into both modules.\n\nDuring the refactor I ran some scripts:\n`BuiltinDecl.ml`:\n  let X = create_procname \"X\"\n  cat BuiltinDecl.ml | grep \"create_procname\" |  tail -70 | awk ' { print $1,$2,$3,$4,\"\\42\"$2\"\\42\"} '\n  then manually confirm string match. Exceptions:\n  \"__exit\" -> \"_exit\"\n  \"objc_cpp_throw\" -> \"__infer_objc_cpp_throw\"\n  __objc_dictionary_literal\n  nsArray_arrayWithObjects\n  nsArray_arrayWithObjectsCount\n\n`BuiltinDefn.ml`:\n  let X = Builtin.register BuiltinDecl.X execute_X\n  cat BuiltinDecl.ml | grep \"create_procname\" |  tail -70 | awk ' { print $1,$2,$3,\"Builtin.register BuiltinDecl.\"$2,\"execute_\"$2} '\n  then, fix all compilation problems\n\nReviewed By: jberdine\n\nDifferential Revision: D3951035\n\nfbshipit-source-id: f059602","distinct":true,"url":"https://api.github.com/repos/facebook/infer/commits/46592ffdd928af0946dfff6a75e6bfaf56600611"},{"sha":"08d4465e1dbde345fd96a2df13640388ff20b85f","author":{"name":"Andrzej Kotulski","email":"de0407ed4655060bd5c4304df49ac591254b7189@fb.com"},"message":"[refactor] Refactor SymExec Sil.Call pattern match\n\nReviewed By: jeremydubreil\n\nDifferential Revision: D4095871\n\nfbshipit-source-id: d496776","distinct":true,"url":"https://api.github.com/repos/facebook/infer/commits/08d4465e1dbde345fd96a2df13640388ff20b85f"}]}
{"actor":{"display_login":"facebook-github-bot"}}