pullrequests Search Results · topic:python org:facebook fork:true language:OCaml
Filter by
1.1k results
infacebook (press backspace or delete to remove)The topic qualifier is not supported when searching pull requests. Try searching for repositories instead?
Bumps http-proxy-middleware from 2.0.9 to 2.0.10. details summary Release notes /summary p em Sourced from a href=
https://github.com/chimurai/http-proxy-middleware/releases http-proxy-middleware s releases ...
CLA Signed
dependencies
javascript
This PR improves the Python b006/b007 migration equivalence checker (infer semdiff --semdiff-b00{6,7}-migration): it
fixes several conversion crashes and a large class of false positives found by replaying ...
CLA Signed
Calculation uses the word size in bits, but doesn t multiply the number of bytes by 8.
Please see CONTRIBUTING.md for how to set up your development environment and run tests.
CLA Signed
Classic min/max inversion.
Please see CONTRIBUTING.md for how to set up your development environment and run tests.
CLA Signed
Registers the Tree Borrows checker and the TREE_BORROWS_UB issue type.
CLA Signed
First step towards a Tree Borrows checker for the Rust frontend.
Charon already distinguishes references ( / mut) from raw pointers (*const/*mut), and mutable from const, but that
information was discarded ...
CLA Signed
Differential Revision: D109862215
cla signed
Merged
meta-exported
Bumps form-data from 4.0.4 to 4.0.6. details summary Changelog /summary p em Sourced from a href=
https://github.com/form-data/form-data/blob/master/CHANGELOG.md form-data s changelog /a . /em /p blockquote ...
cla signed
dependencies
javascript
Merged
Bumps http-proxy-middleware from 2.0.9 to 2.0.10. details summary Release notes /summary p em Sourced from a href=
https://github.com/chimurai/http-proxy-middleware/releases http-proxy-middleware s releases ...
cla signed
dependencies
javascript
Merged
Bumps the github-actions group with 2 updates: actions/checkout and actions/setup-python.
Updates actions/checkout from 6.0.1 to 7.0.0 details summary Release notes /summary p em Sourced from a href= ...
cla signed
dependencies
github_actions
Merged