{"push_id":1702930537,"size":30,"distinct_size":30,"ref":"refs/heads/P805-023__marking","head":"6c8e2d16178f06adf8d8932fd7fb2301f8a07342","before":"41248dfe79de08c2bbc86076de32ec7bf6e909f9","commits":[{"sha":"d2fe75b6408f99a2d4110af59299ef6e33388cbd","author":{"name":"Piotr Trojanek","email":"5cdbd7acc4487b43aeff10ffa86dcd9454b78b1c@altran.com"},"message":"minor simplification and style cleanups\n\n* gnat2why/flow/flow-analysis-sanity.adb\n(State_Partially_Written): cleanup; in particular, avoid repeated membership\n test in Actual_Writes.\n\nChange-Id: Ic6c684ae2f44b1dd77fb83923dba1da131863cae","distinct":true,"url":"https://api.github.com/repos/kanigsson/spark2014/commits/d2fe75b6408f99a2d4110af59299ef6e33388cbd"},{"sha":"704db2ab5e010448846d8b87843e342594abb14e","author":{"name":"Piotr Trojanek","email":"5cdbd7acc4487b43aeff10ffa86dcd9454b78b1c@altran.com"},"message":"simplify up-projection of Flow_Ids\n\nVariant (i.e. In_View/Out_View) is now not affected by up-projection. This\nsimplifies the code and makes it faster.\n\n* gnat2why/flow/flow_utility.ads\n* gnat2why/flow/flow_utility.adb\n(Up_Project_Constituent): now preserves the Flow_Id variant.\n\n* gnat2why/flow/flow-analysis-sanity.adb\n(Up_Project_Flow_Set): remove variant argument (because now it is preserved\n while calling the up-projection support routine).\n\n(no-tn-check)\n\nChange-Id: Ib55cfc3ac41734e2885f373bd72f9f9d30e06edd","distinct":true,"url":"https://api.github.com/repos/kanigsson/spark2014/commits/704db2ab5e010448846d8b87843e342594abb14e"},{"sha":"ad4d114dc4fbf578106b3156f6168072b3bb2f48","author":{"name":"Piotr Trojanek","email":"5cdbd7acc4487b43aeff10ffa86dcd9454b78b1c@altran.com"},"message":"fix meaningless check\n\nGlobals are represented either by entire variables known either by Entity_Id\nor Entity_Name, never by record fields.\n\n* gnat2why/flow/flow-analysis-sanity.adb\n(Extended_Set_Contains): fix useless check for Record_Field; crash on\n unexpected Flow_Id kinds.\n\n(no-tn-check)\n\nChange-Id: I40463e39fabc02cb76719a65e4ef492ddba1b42e","distinct":true,"url":"https://api.github.com/repos/kanigsson/spark2014/commits/ad4d114dc4fbf578106b3156f6168072b3bb2f48"},{"sha":"f7df961cf22f414c8c4eb0a779119839e1b3c4e8","author":{"name":"Sylvain Dailler","email":"d4a4860a20390187cc1afa712690669099b5d1b9@adacore.com"},"message":"PA31-008 Remove static constant from counterex\n\nWe remove static constant from printed counterexamples by checking if\nan entity corresponding to a counterex is both Compile_Time_Known and\ndefined with the keyword Constant.\n\n* gnat2why/why/gnat2why-counterexamples.adb\n(Refine_Value): This function becomes a local function to Refine which\nchecks Compile_Time_Known_And_Constant. Refine_Value cannot be called from\noutside Refine on purpose.\n(Refine): Same as refine_value except that it checks if Compile time known\nand constant before calling refine_value.\n(Get_CNT_Element_Value): Replaced Refine_Value with Refine.\n\nChange-Id: I4a0a7a51a6223fb9d302973e0e944414d91e2d0f","distinct":true,"url":"https://api.github.com/repos/kanigsson/spark2014/commits/f7df961cf22f414c8c4eb0a779119839e1b3c4e8"},{"sha":"608ef8e5bb0964ab2e4150e4a9c80c3b3b5eda09","author":{"name":"Yannick Moy","email":"46cdcbe2f5d468626706b34dbc83bef7aa93e530@adacore.com"},"message":"PA31-008 Minor style fixes (alphabetization, spaces, layout)\n\nChange-Id: I36b01fcbc276149f1cff22ee38d8ef2dc854998e","distinct":true,"url":"https://api.github.com/repos/kanigsson/spark2014/commits/608ef8e5bb0964ab2e4150e4a9c80c3b3b5eda09"},{"sha":"c3676579940ca266df2b5aeba586d6b863900140","author":{"name":"Johannes Kanig","email":"19a95c91d399ff8c1bef037aa1b7ab3a4ac47970@adacore.com"},"message":"minor tmp\n\nChange-Id: I0f6ef429178a45ef71a99c9f258333e49085fe62","distinct":true,"url":"https://api.github.com/repos/kanigsson/spark2014/commits/c3676579940ca266df2b5aeba586d6b863900140"},{"sha":"f5ad20dc6628d4b47c894f3b46eac05173acd660","author":{"name":"Johannes Kanig","email":"19a95c91d399ff8c1bef037aa1b7ab3a4ac47970@adacore.com"},"message":"minor ignore external axioms private part in flow\n\nChange-Id: I0368342690fb1e31b1f4e3690ace531540cbb228","distinct":true,"url":"https://api.github.com/repos/kanigsson/spark2014/commits/f5ad20dc6628d4b47c894f3b46eac05173acd660"},{"sha":"fa6e9df79f09fbca541affe25d192d80e2b22c52","author":{"name":"Johannes Kanig","email":"19a95c91d399ff8c1bef037aa1b7ab3a4ac47970@adacore.com"},"message":"need to mark parent type of subtype and derived type\n\nChange-Id: I99ebcf21e9d15e33edd5d0f95de4b290023b430f","distinct":true,"url":"https://api.github.com/repos/kanigsson/spark2014/commits/fa6e9df79f09fbca541affe25d192d80e2b22c52"},{"sha":"1daad3a57be27311d1cd9717f8a8b417c7c258ca","author":{"name":"Johannes Kanig","email":"19a95c91d399ff8c1bef037aa1b7ab3a4ac47970@adacore.com"},"message":"minor mark more priority entities\n\nChange-Id: I28dcf737e8eea11eabdabda19d5701d3a8d98705","distinct":true,"url":"https://api.github.com/repos/kanigsson/spark2014/commits/1daad3a57be27311d1cd9717f8a8b417c7c258ca"},{"sha":"79a7061d95ecd00fc366690450923f22bb462ef2","author":{"name":"Johannes Kanig","email":"19a95c91d399ff8c1bef037aa1b7ab3a4ac47970@adacore.com"},"message":"improve SPARK_Pragma_OF_Type\n\nChange-Id: Ic0765174d529a3bae7b3803b12d6debb71b67857","distinct":true,"url":"https://api.github.com/repos/kanigsson/spark2014/commits/79a7061d95ecd00fc366690450923f22bb462ef2"},{"sha":"ad0109e4f872c76f93eb8d2d547483935d92f8d3","author":{"name":"Johannes Kanig","email":"19a95c91d399ff8c1bef037aa1b7ab3a4ac47970@adacore.com"},"message":"minor * add hack to make named_numbers work\n\n* remove error from test output that was previously reported twice\n\nChange-Id: I8df00165f54985b30218b96209233285da93a718","distinct":true,"url":"https://api.github.com/repos/kanigsson/spark2014/commits/ad0109e4f872c76f93eb8d2d547483935d92f8d3"},{"sha":"cd527904e6d181e2a677f16925342a893ead3b80","author":{"name":"Johannes Kanig","email":"19a95c91d399ff8c1bef037aa1b7ab3a4ac47970@adacore.com"},"message":"minor test output update\n\nChange-Id: I845ff35e99ad0b4c1e3d962730465d58a9f337c7","distinct":true,"url":"https://api.github.com/repos/kanigsson/spark2014/commits/cd527904e6d181e2a677f16925342a893ead3b80"},{"sha":"d5db94066ce929c1fc8877333b39c1fc797ee214","author":{"name":"Johannes Kanig","email":"19a95c91d399ff8c1bef037aa1b7ab3a4ac47970@adacore.com"},"message":"tmp\n\nChange-Id: I60cea7012c15c9dd1b6b52a6e407812e229413b5","distinct":true,"url":"https://api.github.com/repos/kanigsson/spark2014/commits/d5db94066ce929c1fc8877333b39c1fc797ee214"},{"sha":"0ca094181fd7da80fa6e954c0d1ed1a80232568e","author":{"name":"Johannes Kanig","email":"19a95c91d399ff8c1bef037aa1b7ab3a4ac47970@adacore.com"},"message":"mark real time clock when marking delay\n\nChange-Id: I778eae30f0c31be50fecdb95b1ea75b4a7b994d2","distinct":true,"url":"https://api.github.com/repos/kanigsson/spark2014/commits/0ca094181fd7da80fa6e954c0d1ed1a80232568e"},{"sha":"2758ebf024073c1ed5a5f0ec80271eaceb546a16","author":{"name":"Johannes Kanig","email":"19a95c91d399ff8c1bef037aa1b7ab3a4ac47970@adacore.com"},"message":"update testsuite\n\nChange-Id: I99e2cd9baad2dd24d0434231f769e605f08ee4c1","distinct":true,"url":"https://api.github.com/repos/kanigsson/spark2014/commits/2758ebf024073c1ed5a5f0ec80271eaceb546a16"},{"sha":"73a8aab3e89e28c760a5d2dbdd44cf13291459e6","author":{"name":"Johannes Kanig","email":"19a95c91d399ff8c1bef037aa1b7ab3a4ac47970@adacore.com"},"message":"fill in map on markind the entity, not the declaration\n\nChange-Id: I7b026d8187f9f826a082b98b48d9e903111803e3","distinct":true,"url":"https://api.github.com/repos/kanigsson/spark2014/commits/73a8aab3e89e28c760a5d2dbdd44cf13291459e6"},{"sha":"2ddfc9dce489f425bde669d8d448db9f2d6d6df8","author":{"name":"Johannes Kanig","email":"19a95c91d399ff8c1bef037aa1b7ab3a4ac47970@adacore.com"},"message":"fixup for functions\n\nChange-Id: Iada781da6222fb4d6f3d6e0af0ff650dd568db76","distinct":true,"url":"https://api.github.com/repos/kanigsson/spark2014/commits/2ddfc9dce489f425bde669d8d448db9f2d6d6df8"},{"sha":"3c2cba364a828bc0aadd611757be4eea397a8f8a","author":{"name":"Johannes Kanig","email":"19a95c91d399ff8c1bef037aa1b7ab3a4ac47970@adacore.com"},"message":"fix loop parameters\n\nChange-Id: Ib34ea3d1aeb4fbb548731cda1ae69ab8da87365c","distinct":true,"url":"https://api.github.com/repos/kanigsson/spark2014/commits/3c2cba364a828bc0aadd611757be4eea397a8f8a"},{"sha":"2ab7d9152329672144a59ef8c9b00d3b17b33c7e","author":{"name":"Johannes Kanig","email":"19a95c91d399ff8c1bef037aa1b7ab3a4ac47970@adacore.com"},"message":"now also marking pragmas when processing an entity\n\nChange-Id: I1f11b523e95269cf2b40d2bbe36a563e68a03946","distinct":true,"url":"https://api.github.com/repos/kanigsson/spark2014/commits/2ab7d9152329672144a59ef8c9b00d3b17b33c7e"},{"sha":"8c0ed98b55340ddc49434c9fe33feeaac29ce5ce","author":{"name":"Johannes Kanig","email":"19a95c91d399ff8c1bef037aa1b7ab3a4ac47970@adacore.com"},"message":"marking of subprograms now happens top-down\n\nthat means, Mark_Subprogram_Body and Mark_Subprogram_Decl are called\nfrom Mark_Subprogram_Entity.\n\nTo make sure that all subprograms of a unit are marked, call Mark_Entity\nwhen declarations or bodies are encountered.\n\nChange-Id: Iefcf4213c6629c6b34908ebc51ec02a38d19e3f4","distinct":true,"url":"https://api.github.com/repos/kanigsson/spark2014/commits/8c0ed98b55340ddc49434c9fe33feeaac29ce5ce"}]}
{"actor":{"display_login":"kanigsson"}}