Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : interleave all enabled processes for each state and apply DPOR only...
-rw-r--r-- 9217 .gitignore
-rw-r--r-- 885 AUTHORS
-rw-r--r-- 8399 CMakeLists.txt
-rw-r--r-- 10969 COPYING
-rw-r--r-- 117078 ChangeLog
-rw-r--r-- 2133 INSTALL
-rw-r--r-- 26530 LICENSE-LGPL-2.1
-rw-r--r-- 11889 NEWS
-rw-r--r-- 524 README
-rw-r--r-- 7505 README.coding
-rw-r--r-- 7761 README.git
-rw-r--r-- 1747 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 - testsuite
drwxr-xr-x - tools