Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : first work for canonicalisation (get memory area pointed, check if...
-rw-r--r-- 9587 .gitignore
-rw-r--r-- 885 AUTHORS
-rw-r--r-- 9379 CMakeLists.txt
-rw-r--r-- 10967 COPYING
-rw-r--r-- 110132 ChangeLog
-rw-r--r-- 2133 INSTALL
-rw-r--r-- 26530 LICENSE-LGPL-2.1
-rw-r--r-- 10519 NEWS
-rw-r--r-- 527 README
-rw-r--r-- 1451 README.IEEE
-rw-r--r-- 7796 README.coding
-rw-r--r-- 7761 README.git
-rw-r--r-- 1296 README.win32
-rw-r--r-- 1198 SPEC
-rw-r--r-- 5262 TODO
drwxr-xr-x - buildtools
-rwxr-xr-x 177 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
-rw-r--r-- 1124 toolchain.win32
drwxr-xr-x - tools
drwxr-xr-x - win32_test_app