https://gitlab.lrde.epita.fr/akheireddine/bmctool
Tip revision: 93e6598916290fbd0570c71285af7b9d5854e9d6 authored by akheireddine on 02 December 2020, 16:19:29 UTC
Update makefile and painless submodule :
Update makefile and painless submodule :
Tip revision: 93e6598
.gitignore
.externalToolBuilders
.project
.settings
*.o
*~
*.a
NuSMV-2.6.0/NuSMV/build/
bmctool
.DS_Store
NuSMV-2.6.0/scripts/html2text.pyc
.vscode/
.so
NuSMV-2.6.0/NuSMV/lib
*.split
*.png
periplo/build/
