suter [Fri, 11 Jun 2010 15:28:48 +0000 (15:28 +0000)]
Modify the examples and tests to cope with the new return type of
SD_Simulate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7841
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
suter [Fri, 11 Jun 2010 15:27:34 +0000 (15:27 +0000)]
change the return type of SD_simulate
Why convert a dynar into a NULL terminated array?
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7840
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
suter [Fri, 11 Jun 2010 14:28:15 +0000 (14:28 +0000)]
Add a new test of SimDag to the list
Corresponds to the example of the use of the sequential access mode
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7839
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
suter [Fri, 11 Jun 2010 13:59:49 +0000 (13:59 +0000)]
Don't forget to update the changlog
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7838
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
suter [Fri, 11 Jun 2010 13:56:44 +0000 (13:56 +0000)]
These one ara also part of ctest. Take the INFO->VERB into account too
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7837
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
suter [Fri, 11 Jun 2010 13:56:03 +0000 (13:56 +0000)]
Uptade the teshsuite of SimDag to take the INFO -> VERB change
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7836
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
suter [Fri, 11 Jun 2010 13:55:15 +0000 (13:55 +0000)]
Change the way a task is considered as ready
Instead of removing dependencies when a task is done, a counter is
decreased
This way, it is always possible to reach ancestors thanks to
the SD_taks_get_parents function.
Change the level of some logs in sd_global from INFO to VERB
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7835
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
pini [Mon, 7 Jun 2010 10:58:12 +0000 (10:58 +0000)]
Bad idea to acquire a semaphore that is already hold. Split cleanup code from waiting code instead.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7834
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Fri, 4 Jun 2010 16:04:32 +0000 (16:04 +0000)]
Protect EWOULDBLOCK, EINPROGRESS, ETIMEDOUT macro definitions since Visual C already defines them.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7833
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Fri, 4 Jun 2010 16:04:31 +0000 (16:04 +0000)]
Protect macro definitions for VA_COPY. They should probably all be removed from this file actually...
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7832
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Fri, 4 Jun 2010 16:04:30 +0000 (16:04 +0000)]
Portable definition of inline for windows visual C
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7831
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Fri, 4 Jun 2010 16:04:29 +0000 (16:04 +0000)]
Correct macro declaration for VA_COPY so that it does not fool cpp and works on windows...
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7830
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Fri, 4 Jun 2010 16:04:28 +0000 (16:04 +0000)]
This file should not be tracked. It is automatically generated by Cmake.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7829
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Fri, 4 Jun 2010 16:04:27 +0000 (16:04 +0000)]
Use a portable inline and declare variables at the beginning
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7828
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Fri, 4 Jun 2010 16:04:26 +0000 (16:04 +0000)]
Use a portable inline
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7827
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Fri, 4 Jun 2010 16:04:25 +0000 (16:04 +0000)]
Do not declare variable in the middle of nowhere!
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7826
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Fri, 4 Jun 2010 16:04:23 +0000 (16:04 +0000)]
Incorrect use of conditionnal expressions
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7825
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Fri, 4 Jun 2010 11:13:53 +0000 (11:13 +0000)]
Set some variables and flags for windows.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7824
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
alegrand [Thu, 3 Jun 2010 21:25:41 +0000 (21:25 +0000)]
I need this to compile on my machine. It may break on others systems but I don't know how to use pipol yet.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7823
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Thu, 3 Jun 2010 09:49:28 +0000 (09:49 +0000)]
Now supernovae mode works out of project directory.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7822
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Wed, 2 Jun 2010 13:25:02 +0000 (13:25 +0000)]
Cosmetics for Windows
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7821
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
alegrand [Wed, 2 Jun 2010 13:11:54 +0000 (13:11 +0000)]
Revert "Make gras compil with Visual C++." This commit is too large/unreadable. It should be split and have a smaller payload. :)
This reverts commit
eae1f516d7042d8a589b3d4150cc2721dc146a24.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7820
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Tue, 1 Jun 2010 15:19:23 +0000 (15:19 +0000)]
Make gras compil with Visual C++.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7819
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Tue, 1 Jun 2010 13:24:09 +0000 (13:24 +0000)]
Save script for pipol.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7818
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Tue, 1 Jun 2010 13:24:08 +0000 (13:24 +0000)]
Solve variable init value for windows.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7817
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Mon, 31 May 2010 14:08:06 +0000 (14:08 +0000)]
No more mail.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7816
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Mon, 31 May 2010 12:52:40 +0000 (12:52 +0000)]
Memcheck timeout set to 300s.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7815
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Mon, 31 May 2010 12:14:28 +0000 (12:14 +0000)]
Memcheck mode.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7814
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Mon, 31 May 2010 11:50:34 +0000 (11:50 +0000)]
On Mac set smpi to off by default.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7813
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Mon, 31 May 2010 11:39:42 +0000 (11:39 +0000)]
OUps.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7812
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Mon, 31 May 2010 11:38:02 +0000 (11:38 +0000)]
Add notes to cdash.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7811
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Mon, 31 May 2010 08:53:42 +0000 (08:53 +0000)]
Add a forget s to an variable and Cosmetics.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7810
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Thu, 27 May 2010 17:12:57 +0000 (17:12 +0000)]
Cosmetics
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7809
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Thu, 27 May 2010 17:11:26 +0000 (17:11 +0000)]
Add full path for some files.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7808
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Thu, 27 May 2010 16:35:20 +0000 (16:35 +0000)]
Cosmetics
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7807
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Thu, 27 May 2010 16:13:12 +0000 (16:13 +0000)]
Maintainer mode works without project directory.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7806
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Thu, 27 May 2010 15:25:57 +0000 (15:25 +0000)]
Remove the transitions from the model-checker's setset before deleting it.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7805
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Thu, 27 May 2010 15:25:56 +0000 (15:25 +0000)]
Remove the reference count of the elements from the setset container. This allow to exploit the bit parallelism of the processor, which results in a faster execution and in a cleaner implementation.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7804
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Thu, 27 May 2010 15:25:52 +0000 (15:25 +0000)]
Improve setset iterator
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7803
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Thu, 27 May 2010 14:32:18 +0000 (14:32 +0000)]
Add a variable HAVE_MC for enable model-checking.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7802
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Thu, 27 May 2010 07:59:51 +0000 (07:59 +0000)]
Transform transitions of type "mc_waitany" into multiple "wait" transitions.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7801
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Wed, 26 May 2010 15:09:44 +0000 (15:09 +0000)]
Transform random transitions into multiple // transitions one for each value in the rage of the random. This avoids having special cases in the dpor algorithm.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7800
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Wed, 26 May 2010 13:18:14 +0000 (13:18 +0000)]
Add logging for transitions
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7799
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Wed, 26 May 2010 13:18:13 +0000 (13:18 +0000)]
Add MC support for processes with multiple enabled transitions per state
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7798
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Wed, 26 May 2010 13:18:07 +0000 (13:18 +0000)]
Bugfix: setset cursors were incorrectly implemented. Now they work fine.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7797
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Tue, 25 May 2010 15:35:15 +0000 (15:35 +0000)]
MAJ FAQ.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7796
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Tue, 25 May 2010 14:29:28 +0000 (14:29 +0000)]
Generate tests for memcheck.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7795
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Tue, 25 May 2010 12:57:28 +0000 (12:57 +0000)]
Disable make test if memcheck, now make memcheck tests.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7794
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Tue, 25 May 2010 12:13:24 +0000 (12:13 +0000)]
Change perl script for valgrind path.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7793
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Tue, 25 May 2010 12:13:23 +0000 (12:13 +0000)]
Test if valgrind is found for enable memcheck.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7792
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
coldpeace [Fri, 21 May 2010 14:24:38 +0000 (14:24 +0000)]
tricky way to bypass XML parser and setup the environment from lua code
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7791
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Fri, 21 May 2010 13:39:17 +0000 (13:39 +0000)]
Add a path to smpicc for find libsimgrid.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7790
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Fri, 21 May 2010 13:39:15 +0000 (13:39 +0000)]
Make to file in project_directory for the moment.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7789
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Fri, 21 May 2010 13:01:34 +0000 (13:01 +0000)]
Cosmetics and generate lib links for bindings correctely.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7788
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Fri, 21 May 2010 09:15:07 +0000 (09:15 +0000)]
And path to testing progams too.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7787
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Fri, 21 May 2010 09:15:06 +0000 (09:15 +0000)]
Changes path to find cmake files.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7786
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Fri, 21 May 2010 09:15:01 +0000 (09:15 +0000)]
Reorganize cmake directory.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7785
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Fri, 21 May 2010 08:16:39 +0000 (08:16 +0000)]
Improve support for WaitAny transitions, not usable yet but closer.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7784
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Thu, 20 May 2010 14:29:43 +0000 (14:29 +0000)]
Rework MC transition interception/creation. Now it is more modular.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7783
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Thu, 20 May 2010 14:29:35 +0000 (14:29 +0000)]
Compile fix, size_t != int in 64 bits
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7782
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Thu, 20 May 2010 14:05:16 +0000 (14:05 +0000)]
Add stdarg.h for va_list.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7781
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Thu, 20 May 2010 13:53:34 +0000 (13:53 +0000)]
Cosmetics and again windows compilation.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7780
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
schnorr [Thu, 20 May 2010 11:15:05 +0000 (11:15 +0000)]
bug fixes: correct use of xbt dictionaries and arrays
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7779
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
schnorr [Thu, 20 May 2010 11:15:04 +0000 (11:15 +0000)]
correct duplication of a variable
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7778
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Wed, 19 May 2010 18:38:12 +0000 (18:38 +0000)]
fix a bunch of issues found by make distcheck
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7777
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Wed, 19 May 2010 16:19:48 +0000 (16:19 +0000)]
Delete error in windows.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7776
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Wed, 19 May 2010 16:08:45 +0000 (16:08 +0000)]
Again for windows.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7775
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Wed, 19 May 2010 15:25:13 +0000 (15:25 +0000)]
Prepare to windows.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7774
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Wed, 19 May 2010 10:16:09 +0000 (10:16 +0000)]
Kill old README, now in the FAQ.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7773
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Wed, 19 May 2010 10:12:20 +0000 (10:12 +0000)]
Be compatible with all plateforms.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7772
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Tue, 18 May 2010 12:41:43 +0000 (12:41 +0000)]
Rename some variales and cosmetics.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7771
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Tue, 18 May 2010 12:05:41 +0000 (12:05 +0000)]
Generate files correctely with gras_stub_generator.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7770
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Tue, 18 May 2010 09:34:16 +0000 (09:34 +0000)]
Fix problem on merge from svn
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7769
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Tue, 18 May 2010 09:34:15 +0000 (09:34 +0000)]
Import portability macro in mmalloc
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7768
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Tue, 18 May 2010 09:28:00 +0000 (09:28 +0000)]
Import portability macros in mmalloc
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7767
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Tue, 18 May 2010 09:27:58 +0000 (09:27 +0000)]
Ongoing work to port GRAS to smx_network. Not working yet
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7766
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Tue, 18 May 2010 09:15:00 +0000 (09:15 +0000)]
Add option enable_modele-checking.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7765
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Tue, 18 May 2010 08:55:01 +0000 (08:55 +0000)]
Clean old command install-simgrid.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7764
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Tue, 18 May 2010 07:44:04 +0000 (07:44 +0000)]
Print install doc IGNORED if it is necessary.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7763
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Tue, 18 May 2010 07:44:01 +0000 (07:44 +0000)]
This commit
590f9c7e65ce6a64705272d79443599877d5cb72 add a segfault to compilation.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7762
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Tue, 18 May 2010 01:13:32 +0000 (01:13 +0000)]
Damn, once again, I forgot do document my changes
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7761
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Tue, 18 May 2010 00:57:12 +0000 (00:57 +0000)]
A working 'make install' target
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7760
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Tue, 18 May 2010 00:56:51 +0000 (00:56 +0000)]
further cleanups to the cmake files. We now have a manual but properly working 'make dist' target.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7759
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Tue, 18 May 2010 00:56:30 +0000 (00:56 +0000)]
Document last changes
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7758
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Mon, 17 May 2010 16:15:02 +0000 (16:15 +0000)]
Little cleanups to the install target. Still a long way to go, unfortunately
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7757
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Mon, 17 May 2010 16:15:00 +0000 (16:15 +0000)]
install MSG_colorize.pl under the name simgrid-colorizer
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7756
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Mon, 17 May 2010 16:14:49 +0000 (16:14 +0000)]
Install the libraries carefully so that we have a link from .so to .so.version
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7755
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Mon, 17 May 2010 16:14:47 +0000 (16:14 +0000)]
Rebuild the jar file only on need. The examples are still always rebuilt on make all, but they are smaller and the jar was rebuilt even on make simgrid
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7754
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Mon, 17 May 2010 14:29:54 +0000 (14:29 +0000)]
Initial FAQ section for using the model-checking mode.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7753
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Mon, 17 May 2010 14:29:52 +0000 (14:29 +0000)]
Add dead-lock detection to MC
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7752
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Mon, 17 May 2010 12:25:51 +0000 (12:25 +0000)]
Improve comments on examples
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7751
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Mon, 17 May 2010 12:25:48 +0000 (12:25 +0000)]
Add new example: "Shared buffer between asynchronous receives".
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7750
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Mon, 17 May 2010 09:05:26 +0000 (09:05 +0000)]
Improve independence detection of transitions (more reduction of state space)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7749
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Mon, 17 May 2010 09:05:21 +0000 (09:05 +0000)]
Bugfix: Do not copy the communication data in the model-checker's main loop, it is already done by the communication API.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7748
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Mon, 17 May 2010 08:25:56 +0000 (08:25 +0000)]
No error if there is no file into doc/html.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7747
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Mon, 17 May 2010 08:12:12 +0000 (08:12 +0000)]
Add verification before install doc. Cosmetics.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7746
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Fri, 14 May 2010 12:41:57 +0000 (12:41 +0000)]
Free MC memory on exit
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7745
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Fri, 14 May 2010 12:41:54 +0000 (12:41 +0000)]
Bugfix: destroy all the sets when destroying a setset data structure.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7744
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Wed, 12 May 2010 17:44:20 +0000 (17:44 +0000)]
Bugfix: delete the set of created transitions, otherwise we leak a lot of memory
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7743
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Wed, 12 May 2010 17:44:16 +0000 (17:44 +0000)]
Bugfix: do not assume that the object still exists when removing an element, it might be already deleted by the user.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7742
48e7efb5-ca39-0410-a469-
dd3cf9ba447f