suter [Mon, 26 Nov 2012 15:21:29 +0000 (16:21 +0100)]
revalidate tesh output for tracing ms and simdag
suter [Mon, 26 Nov 2012 15:15:10 +0000 (16:15 +0100)]
revalidate tesh output for token ring
suter [Mon, 26 Nov 2012 15:10:02 +0000 (16:10 +0100)]
revalidate tesh outputs for masterslave
suter [Mon, 26 Nov 2012 15:00:31 +0000 (16:00 +0100)]
revalidate tesh output for bittorrent
suter [Mon, 26 Nov 2012 14:44:24 +0000 (15:44 +0100)]
revalidate tesh output for actions
suter [Mon, 26 Nov 2012 14:30:24 +0000 (15:30 +0100)]
revalidate tesh outputs for chord
suter [Mon, 26 Nov 2012 13:15:21 +0000 (14:15 +0100)]
revalidate tesh outputs for icomms, pmm, sendrecv
suter [Mon, 26 Nov 2012 12:46:06 +0000 (13:46 +0100)]
revalidate tesh outputs for simdag tests
suter [Mon, 26 Nov 2012 12:45:16 +0000 (13:45 +0100)]
revalidate (ans simplify) tesh outputs
suter [Mon, 26 Nov 2012 12:44:27 +0000 (13:44 +0100)]
change default value of tcp_gamma to use something more realistic than
20K. Use 4MiB now
suter [Mon, 26 Nov 2012 11:18:06 +0000 (12:18 +0100)]
better description of the basic simdag tests + cosmetics
suter [Mon, 26 Nov 2012 11:17:17 +0000 (12:17 +0100)]
oops removed the AS
suter [Mon, 26 Nov 2012 11:03:49 +0000 (12:03 +0100)]
get rid of useless spaces and tabs
suter [Mon, 26 Nov 2012 10:31:14 +0000 (11:31 +0100)]
add a description of the scenario
suter [Mon, 26 Nov 2012 10:28:50 +0000 (11:28 +0100)]
Add a description of the scenario
suter [Mon, 26 Nov 2012 09:04:41 +0000 (10:04 +0100)]
add a description of the scenario and expected result
Martin Quinson [Mon, 26 Nov 2012 13:15:26 +0000 (14:15 +0100)]
doxygen is sooooo roten, it drives me crazy
Martin Quinson [Mon, 26 Nov 2012 13:08:25 +0000 (14:08 +0100)]
add xbt_fifo_search(), to search an item with a user-provided comparison function
Martin Quinson [Sun, 25 Nov 2012 14:15:52 +0000 (15:15 +0100)]
move sg_cmdline to xbt/virtu.h module, and rename it to xbt_cmdline
Martin Quinson [Sun, 25 Nov 2012 14:07:45 +0000 (15:07 +0100)]
xbt_os_procname and xbt_binary_name are the same -- keep only one of them
Martin Quinson [Sun, 25 Nov 2012 13:29:43 +0000 (14:29 +0100)]
Apparently, I'm not allowed to free the memory here
I'm not sure of why I MUST free it in the other path, 10 lines above,
if I don't want to leak and why I MUST NOT free it here, but anyway.
All test pass this way, let's be pragmatic and move forward.
Martin Quinson [Sun, 25 Nov 2012 13:21:06 +0000 (14:21 +0100)]
plug a (damn) memleak. Gosh, this one was hard to get, too
Martin Quinson [Sun, 25 Nov 2012 11:37:58 +0000 (12:37 +0100)]
plug a memleak in that example
Martin Quinson [Sun, 25 Nov 2012 11:09:00 +0000 (12:09 +0100)]
Remove all traces of chord_before_dsend
This was an attempt at working around bugs in the model-checker, but
it turned out that the bugs were not due to dsend, making the work
around useless.
Martin Quinson [Sun, 25 Nov 2012 11:02:33 +0000 (12:02 +0100)]
further eradicate all traces of GRAS existance
Martin Quinson [Sun, 25 Nov 2012 10:38:20 +0000 (11:38 +0100)]
don't polute my disk with your crappy test files
Martin Quinson [Sat, 24 Nov 2012 17:57:39 +0000 (18:57 +0100)]
document one of the major change of the upcoming release
Arnaud Giersch [Fri, 23 Nov 2012 15:45:59 +0000 (16:45 +0100)]
Remove doc items about gras.
Arnaud Giersch [Fri, 23 Nov 2012 15:44:53 +0000 (16:44 +0100)]
These files are automatically regenerated at another place.
Remove them.
Arnaud Giersch [Fri, 23 Nov 2012 15:20:42 +0000 (16:20 +0100)]
Remove deprecated figures.
Arnaud Giersch [Fri, 23 Nov 2012 15:17:22 +0000 (16:17 +0100)]
Remove old pictures.
The files seem to be corrupted anyway.
Arnaud Giersch [Fri, 23 Nov 2012 15:11:56 +0000 (16:11 +0100)]
Remove binary file!
Arnaud Giersch [Fri, 23 Nov 2012 14:18:30 +0000 (15:18 +0100)]
Remove fixme comment.
We cannot use an assert here, since test simdag_reinit_costs tries
to call xbt_init twice.
Arnaud Giersch [Fri, 23 Nov 2012 14:17:27 +0000 (15:17 +0100)]
Log priorities were renamed a long time ago.
Arnaud Giersch [Fri, 23 Nov 2012 14:15:45 +0000 (15:15 +0100)]
Eradicate gras further.
Arnaud Giersch [Fri, 23 Nov 2012 11:43:21 +0000 (12:43 +0100)]
Merge XBT_SG_SRC with XBT_SRC, and fix make dist.
Arnaud Giersch [Fri, 23 Nov 2012 11:35:33 +0000 (12:35 +0100)]
Re-add file (wrongly removed).
Augustin Degomme [Fri, 23 Nov 2012 10:58:55 +0000 (11:58 +0100)]
fix distcheck to handle mpich-test
Arnaud Giersch [Fri, 23 Nov 2012 10:24:55 +0000 (11:24 +0100)]
Merge branch 'killgraskill'
Arnaud Giersch [Fri, 23 Nov 2012 10:19:05 +0000 (11:19 +0100)]
Update ChangeLog.
Arnaud Giersch [Fri, 23 Nov 2012 10:04:17 +0000 (11:04 +0100)]
Fix make dist.
make distcheck is still broken, though.
Arnaud Giersch [Tue, 20 Nov 2012 10:20:29 +0000 (11:20 +0100)]
Finalize coverage for swag.c.
Arnaud Giersch [Fri, 23 Nov 2012 09:41:53 +0000 (10:41 +0100)]
Kill more references to GRAS.
Arnaud Giersch [Fri, 23 Nov 2012 09:36:26 +0000 (10:36 +0100)]
This hack is not needed since gras is killed.
Arnaud Giersch [Fri, 23 Nov 2012 09:20:12 +0000 (10:20 +0100)]
Rename gras_config to internal_config.
Arnaud Giersch [Fri, 23 Nov 2012 09:15:46 +0000 (10:15 +0100)]
Kill xbt_dynar_dopar().
Keep it as a separated commit, to make a potential revert easier.
Arnaud Giersch [Fri, 23 Nov 2012 08:57:35 +0000 (09:57 +0100)]
Use real threads for xbt_dynar_dopar.
Arnaud Giersch [Fri, 23 Nov 2012 08:40:34 +0000 (09:40 +0100)]
Revert "use MSG_init instead of xbt_init since someone wrongly create mutexes"
This reverts commit
becf2ff78c488808dcb55883271ca759ac0ca492
since it's not needed anymore.
Arnaud Giersch [Fri, 23 Nov 2012 08:34:07 +0000 (09:34 +0100)]
Move check at another place where it doesn't break the log machinery.
Martin Quinson [Fri, 23 Nov 2012 00:03:17 +0000 (01:03 +0100)]
try to fix 'make dist' after GRAS murder (SMPI test still break it)
Martin Quinson [Thu, 22 Nov 2012 23:52:31 +0000 (00:52 +0100)]
adapt the links of this figure to the fact that the doc is splited in 3 parts (fixes #15069)
Martin Quinson [Thu, 22 Nov 2012 23:49:06 +0000 (00:49 +0100)]
remove GRAS and AMOK from the module picture
Martin Quinson [Thu, 22 Nov 2012 23:42:28 +0000 (00:42 +0100)]
further remove GRAS and friends (from the doxygen config files)
Martin Quinson [Thu, 22 Nov 2012 23:15:48 +0000 (00:15 +0100)]
useless cosmetic
Martin Quinson [Thu, 22 Nov 2012 23:04:19 +0000 (00:04 +0100)]
comments, debugs and other minor glitches
Martin Quinson [Thu, 22 Nov 2012 23:01:05 +0000 (00:01 +0100)]
use OS threads and not simix ones to run the test in parallel
Martin Quinson [Thu, 22 Nov 2012 22:50:35 +0000 (23:50 +0100)]
a public xbt header wasnt included from xbt.h
Martin Quinson [Thu, 22 Nov 2012 22:49:52 +0000 (23:49 +0100)]
ignore some of the recently added generated files
Martin Quinson [Thu, 22 Nov 2012 22:41:11 +0000 (23:41 +0100)]
these examples were moved as tesh tests
Martin Quinson [Thu, 22 Nov 2012 22:03:52 +0000 (23:03 +0100)]
kill synchronized dynars: we don't need them and they are a mess to keep (sorry, users)
Martin Quinson [Thu, 22 Nov 2012 22:01:36 +0000 (23:01 +0100)]
use MSG_init instead of xbt_init since someone wrongly create mutexes
There should not be necessary to call MSG_init to create xbt_mutexes,
but since this creation induces a simcall, we'd better initialize
simix.
This is not sufficient though, as maestro_context does not seem to be
initialized this way, leading to a try to dereference the host of the
current process, that was never set.
Martin Quinson [Thu, 22 Nov 2012 21:39:04 +0000 (22:39 +0100)]
how did that cruft manage to live that long?
suter [Thu, 22 Nov 2012 17:24:37 +0000 (18:24 +0100)]
typo--
suter [Thu, 22 Nov 2012 17:24:04 +0000 (18:24 +0100)]
some things do not have to be done by each process
Arnaud Giersch [Thu, 22 Nov 2012 17:03:02 +0000 (18:03 +0100)]
We want host name here, not process name.
Arnaud Giersch [Thu, 22 Nov 2012 16:46:46 +0000 (17:46 +0100)]
Remove further references to gras in buildtools/.
Arnaud Giersch [Thu, 22 Nov 2012 16:31:45 +0000 (17:31 +0100)]
Remove references to amok in builtools/.
Arnaud Giersch [Thu, 22 Nov 2012 16:31:17 +0000 (17:31 +0100)]
These tests don't exist anymore.
Arnaud Giersch [Thu, 22 Nov 2012 16:07:29 +0000 (17:07 +0100)]
xbt/time.h dows not exist anymore.
Arnaud Giersch [Thu, 22 Nov 2012 16:02:20 +0000 (17:02 +0100)]
Link against simgrid instead of gras.
Arnaud Giersch [Thu, 22 Nov 2012 16:01:48 +0000 (17:01 +0100)]
Use xbt_os_time() instead of gras_os_time().
Arnaud Giersch [Thu, 22 Nov 2012 15:48:09 +0000 (16:48 +0100)]
Remove more references to gras.
Arnaud Giersch [Thu, 22 Nov 2012 15:48:58 +0000 (16:48 +0100)]
Add missing files to build.
Arnaud Giersch [Thu, 22 Nov 2012 15:46:09 +0000 (16:46 +0100)]
Define xbt_os_procname().
Arnaud Giersch [Thu, 22 Nov 2012 15:45:48 +0000 (16:45 +0100)]
xbt_trp and xbt_datadesc were removed.
Arnaud Giersch [Thu, 22 Nov 2012 15:44:49 +0000 (16:44 +0100)]
Make tesh build (?).
Arnaud Giersch [Thu, 22 Nov 2012 15:31:49 +0000 (16:31 +0100)]
Kill gras_modinter.h.
Arnaud Giersch [Thu, 22 Nov 2012 15:25:02 +0000 (16:25 +0100)]
Log category gras_trp_sg does not exist anymore.
suter [Thu, 22 Nov 2012 15:33:36 +0000 (16:33 +0100)]
remove some leaks in verbose replay
Martin Quinson [Thu, 22 Nov 2012 14:33:49 +0000 (15:33 +0100)]
first try at killing GRAS -- does not compile yet
Martin Quinson [Thu, 22 Nov 2012 12:55:48 +0000 (13:55 +0100)]
remove gras from the main documentation
Martin Quinson [Thu, 22 Nov 2012 12:58:02 +0000 (13:58 +0100)]
merge changes: modify GRAS vs. kill GRAS, kill wins
paul bedaride [Thu, 22 Nov 2012 10:41:27 +0000 (11:41 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
paul bedaride [Thu, 22 Nov 2012 10:41:21 +0000 (11:41 +0100)]
Change links in doc
Marion Guthmuller [Thu, 22 Nov 2012 08:34:15 +0000 (09:34 +0100)]
model-checker : increase timeout in tesh chord_neverjoin
Marion Guthmuller [Thu, 22 Nov 2012 08:33:03 +0000 (09:33 +0100)]
model-checker : increase timeout in tesh snapshot_comparison[1-5]
Augustin Degomme [Wed, 21 Nov 2012 16:23:18 +0000 (17:23 +0100)]
secure the stack size parameter for thread,
to avoid some segfaults when the value is not right
Augustin Degomme [Wed, 21 Nov 2012 15:06:53 +0000 (16:06 +0100)]
there was a mistake that prevented examples dir from being used in coverage reports.
As they are meant to be used by users, we want to include them for release builds
Augustin Degomme [Tue, 20 Nov 2012 09:50:03 +0000 (10:50 +0100)]
Switch some globals to DATA, this shouldn't change anything for now
Augustin Degomme [Tue, 13 Nov 2012 10:27:30 +0000 (11:27 +0100)]
seriously ...
Marion Guthmuller [Wed, 21 Nov 2012 16:47:12 +0000 (17:47 +0100)]
model-checker: take snapshot if property file set
Martin Quinson [Wed, 21 Nov 2012 16:04:15 +0000 (17:04 +0100)]
s/lastest/latest/ (stupid me)
Marion Guthmuller [Wed, 21 Nov 2012 14:49:37 +0000 (15:49 +0100)]
model-checker : abort if acceptance cycle detected
Marion Guthmuller [Wed, 21 Nov 2012 14:42:24 +0000 (15:42 +0100)]
model-checker : remove automatic activation of MC if a value of cfg flag about MC is modified
Marion Guthmuller [Tue, 20 Nov 2012 18:10:02 +0000 (19:10 +0100)]
model-checker : new tesh for snapshot comparison tests
Marion Guthmuller [Tue, 20 Nov 2012 17:27:42 +0000 (18:27 +0100)]
model-checker : rename cfg flag for state comparison reduction with storage of visited states (stateful->visited)
Marion Guthmuller [Tue, 20 Nov 2012 17:13:42 +0000 (18:13 +0100)]
model-checker : use xbt_cfg_setdefault instead of default_value in surf_config (incorrect display with --help)
Marion Guthmuller [Tue, 20 Nov 2012 15:41:55 +0000 (16:41 +0100)]
model-checker : ignore coverage variables
Marion Guthmuller [Tue, 20 Nov 2012 15:17:14 +0000 (16:17 +0100)]
model-checker : abort if popen failed
Marion Guthmuller [Mon, 19 Nov 2012 14:50:51 +0000 (15:50 +0100)]
model-checker : fix compilation error (with optimizations) with commit
d90a41491cfb04188c4469729fa60d01ec0ff693