https://gitlab.lrde.epita.fr/akheireddine/bmctool
Revision 93e6598916290fbd0570c71285af7b9d5854e9d6 authored by akheireddine on 02 December 2020, 16:19:29 UTC, committed by akheireddine on 02 December 2020, 16:19:29 UTC
* Makefile,
painless/ : Here.
1 parent 0da1395
History
Tip revision: 93e6598916290fbd0570c71285af7b9d5854e9d6 authored by akheireddine on 02 December 2020, 16:19:29 UTC
Update makefile and painless submodule :
Tip revision: 93e6598
File Mode Size
NuSMV-2.6.0
examples
painless @ e5b9aa7
scripts
src
statistics
tests
.gitignore -rw-r--r-- 193 bytes
.gitlab-ci.yml -rw-r--r-- 235 bytes
.gitmodules -rw-r--r-- 114 bytes
AUTHORS.txt -rw-r--r-- 56 bytes
Dockerfile -rw-r--r-- 557 bytes
Makefile -rwxr-xr-x 3.4 KB
README.md -rw-r--r-- 1.8 KB
bmctool.cc -rw-r--r-- 8.8 KB
bmctool.hh -rw-r--r-- 17 bytes
nusmv_wrapper.hh -rw-r--r-- 1.4 KB
painless_wrapper.hh -rw-r--r-- 720 bytes

README.md

back to top