Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix tracing options ignored when set in xml config file [#14853]
-rw-r--r-- 481 .classpath
-rw-r--r-- 3566 .cproject
-rw-r--r-- 29368 .gitignore
-rw-r--r-- 808 .project
-rw-r--r-- 885 AUTHORS
-rw-r--r-- 599 CITATION.bib
-rw-r--r-- 8871 CMakeLists.txt
-rw-r--r-- 16671 COPYING
-rw-r--r-- 275 COPYRIGHT.template
-rw-r--r-- 126969 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-- 8580 README.coding
-rw-r--r-- 7759 README.git
-rw-r--r-- 415 README.java
-rw-r--r-- 1404 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