Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
verimag
synchrone
lustre-v6
Commits
Commit
861b2fb6
authored
Mar 21, 2022
by
erwan
Browse files
feat: check assertions in the generated C code.
parent
de676726
Pipeline
#93936
passed with stages
in 4 minutes and 19 seconds
Changes
3
Pipelines
2