gitlab.inria.fr topics: static analysis
gitlabci_gallery/pipelines/complete_cpp_example
A complete gitlab-ci pipeline example with a C++ project. Keywords: gitlabci, c++, cmake, static analysis, lint, sonarqube, pages, package, release, docker, macosx, windows, badges.
Last synced at: about 1 month ago - Stars: 0 - Forks: 0
bmontagu/function_graphs
Abstract domain for function graphs, and fixpoint solvers based on them
Last synced at: 10 months ago - Stars: 0 - Forks: 0
gitlabci_gallery/pipelines/cmake_googletest_cppcheck
Simple example of pipelines with two stages. Keywords: gitlabci, c++, cmake, static analysis, cppcheck, googletest
Last synced at: 10 months ago - Stars: 1 - Forks: 0