Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : improve error message
-rw-r--r-- 481 .classpath
-rw-r--r-- 3566 .cproject
-rw-r--r-- 29415 .gitignore
-rw-r--r-- 808 .project
-rw-r--r-- 885 AUTHORS
-rw-r--r-- 599 CITATION.bib
-rw-r--r-- 8932 CMakeLists.txt
-rw-r--r-- 16671 COPYING
-rw-r--r-- 275 COPYRIGHT.template
-rw-r--r-- 128819 ChangeLog
-rw-r--r-- 2937 ChangeLog.SimGrid-java
-rw-r--r-- 2037 INSTALL
-rw-r--r-- 26530 LICENSE-LGPL-2.1
-rw-r--r-- 13304 NEWS
-rw-r--r-- 851 README
-rw-r--r-- 8175 README.coding
-rw-r--r-- 7759 README.git
-rw-r--r-- 415 README.java
-rw-r--r-- 2129 TODO
drwxr-xr-x - buildtools
-rwxr-xr-x 189 configure
drwxr-xr-x - contrib
drwxr-xr-x - doc
drwxr-xr-x - examples
drwxr-xr-x - include
-rwxr-xr-x 2803 mk_win-dist.sh
drwxr-xr-x - src
drwxr-xr-x - teshsuite
drwxr-xr-x - tools