{"push_id":1845457532,"size":4,"distinct_size":1,"ref":"refs/heads/less_init_plugins","head":"fc58591af0a9f639f77acc254fbcadd0cf0da74f","before":"c3699752284373c9d6b9bce91042d3919b8cbb02","commits":[{"sha":"dff22ef6d855973e0e0f05c7203a6bfa9a4cf01a","author":{"name":"Xavier Leroy","email":"4ad87b85d0c02a43fd9242bca4fc9319cd501395@inria.fr"},"message":"Extend builtin arguments with a pointer addition operator\n\nThis extension enables more addressing modes to be encoded as builtin arguments and used in conjunction with volatile memory accesses.\n\nCurrent status: x86 port only, the only new addressing mode handled is reg + offset.","distinct":false,"url":"https://api.github.com/repos/letouzey/CompCert/commits/dff22ef6d855973e0e0f05c7203a6bfa9a4cf01a"},{"sha":"2ff53c2361773f28027ccc8332e1830686d5bbc6","author":{"name":"Xavier Leroy","email":"4ad87b85d0c02a43fd9242bca4fc9319cd501395@inria.fr"},"message":"Extend builtin arguments with a pointer addition operator, continued\n\n- Add support for PowerPC, with all addressing modes.\n- Add support for ARM, with \"reg + ofs\" addressing mode.\n- Add support for RISC-V, with the one addressing mode.\n- Constprop.v: forgot to recurse in BA_addptr\n- volatile4 test: more tests","distinct":false,"url":"https://api.github.com/repos/letouzey/CompCert/commits/2ff53c2361773f28027ccc8332e1830686d5bbc6"},{"sha":"a8a59e25447e61f4250d54187854cc3a36038c37","author":{"name":"Xavier Leroy","email":"4ad87b85d0c02a43fd9242bca4fc9319cd501395@inria.fr"},"message":"Add a -ignore-coq-version flag to configure (continued)\n\nThese Coq people have version \"numbers\" that look nothing like numbers, such as \"trunk\".  Also, they didn't test their pull request #188.  Fixing this.","distinct":false,"url":"https://api.github.com/repos/letouzey/CompCert/commits/a8a59e25447e61f4250d54187854cc3a36038c37"},{"sha":"fc58591af0a9f639f77acc254fbcadd0cf0da74f","author":{"name":"Pierre Letouzey","email":"7f57ef47d7df4bda39ff7662fedf6b8fbea1832c@inria.fr"},"message":"Coqlib: an extra Require Export FunInd\n\n See PR #220 https://github.com/coq/coq/pull/220 :\n The \"functional induction\" (Function & co) isn't loaded by default anymore.\n Note that the extraction isn't loaded by default anymore, but provided\n here by the Require ExtrOcamlBasic, so nothing to adapt here.","distinct":true,"url":"https://api.github.com/repos/letouzey/CompCert/commits/fc58591af0a9f639f77acc254fbcadd0cf0da74f"}]}
{"actor":{"display_login":"letouzey"}}