DIVINE issueshttps://gitlab.fi.muni.cz/paradise/DIVINE/-/issues2016-06-19T12:47:27+02:00https://gitlab.fi.muni.cz/paradise/DIVINE/-/issues/18Objective C/C++ verification with DIVINE2016-06-19T12:47:27+02:00Jiří BarnatObjective C/C++ verification with DIVINEThe goal of the project is to explore the possibilities of verification of Objective C/C++ through clang native support of these programming languages.The goal of the project is to explore the possibilities of verification of Objective C/C++ through clang native support of these programming languages.Futurehttps://gitlab.fi.muni.cz/paradise/DIVINE/-/issues/2cc: Add annotation to preserve symbols by Linker::prune.2017-03-29T07:29:38+02:00Vladimír Štillcc: Add annotation to preserve symbols by Linker::prune.So that we don't need to add everything to roots.So that we don't need to add everything to roots.v4.0Vladimír ŠtillVladimír Štill