Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
7 years agomodel-checker : create core dump without termination for each acceptance pair
Marion Guthmuller [Tue, 3 Jul 2012 13:42:08 +0000 (15:42 +0200)]
model-checker : create core dump without termination for each acceptance pair

7 years agomodel-checker : pointer detection fixed
Marion Guthmuller [Tue, 3 Jul 2012 13:39:26 +0000 (15:39 +0200)]
model-checker : pointer detection fixed

7 years agomodel-checker : copyright header for safety properties model checking examples
Marion Guthmuller [Mon, 2 Jul 2012 14:40:25 +0000 (16:40 +0200)]
model-checker : copyright header for safety properties model checking examples

7 years agoAdd bittorrent example
Samuel Lepetit [Tue, 3 Jul 2012 16:25:38 +0000 (18:25 +0200)]
Add bittorrent example

7 years agoLittle change in xbt_dynar_to_array doc
Samuel Lepetit [Tue, 3 Jul 2012 16:12:25 +0000 (18:12 +0200)]
Little change in xbt_dynar_to_array doc

7 years agoRevalidate chord.tesh/chord_crosstraffic.tesh
Samuel Lepetit [Tue, 3 Jul 2012 16:09:25 +0000 (18:09 +0200)]
Revalidate chord.tesh/chord_crosstraffic.tesh

7 years agoAdd leave in chord
Samuel Lepetit [Tue, 3 Jul 2012 16:01:42 +0000 (18:01 +0200)]
Add leave in chord

7 years agoFix some warnings in doc
navarro [Tue, 3 Jul 2012 13:21:45 +0000 (15:21 +0200)]
Fix some warnings in doc

7 years agoRemove this files to git
navarro [Tue, 3 Jul 2012 12:40:20 +0000 (14:40 +0200)]
Remove this files to git

7 years agolmm_solve cache cleaning
navarro [Tue, 3 Jul 2012 11:21:19 +0000 (13:21 +0200)]
lmm_solve cache cleaning

7 years agoMinor corrections.
lbobelin [Tue, 3 Jul 2012 09:23:16 +0000 (11:23 +0200)]
Minor corrections.

7 years agoAdd missing test properties for new lua tests.
Arnaud Giersch [Mon, 2 Jul 2012 19:32:18 +0000 (21:32 +0200)]
Add missing test properties for new lua tests.

7 years agoFix indentation.
Arnaud Giersch [Mon, 2 Jul 2012 19:21:46 +0000 (21:21 +0200)]
Fix indentation.

7 years agoDefine macros to make compatibility layer of libagraph vs. libcgraph more legible.
Arnaud Giersch [Fri, 29 Jun 2012 12:33:20 +0000 (14:33 +0200)]
Define macros to make compatibility layer of libagraph vs. libcgraph more legible.

7 years agoAdd lua-bittorrent tesh file
Samuel Lepetit [Mon, 2 Jul 2012 16:21:17 +0000 (18:21 +0200)]
Add lua-bittorrent tesh file

7 years agoAdd lua-kademlia tesh file
Samuel Lepetit [Mon, 2 Jul 2012 16:17:56 +0000 (18:17 +0200)]
Add lua-kademlia tesh file

7 years agoAdd kademlia lua example
Samuel Lepetit [Mon, 2 Jul 2012 16:13:42 +0000 (18:13 +0200)]
Add kademlia lua example

7 years agoTiny corrections in doc.
Arnaud Giersch [Mon, 2 Jul 2012 14:39:55 +0000 (16:39 +0200)]
Tiny corrections in doc.

7 years agomodel-checker: sed 's/m_task_t/msg_task_t/g' on MC examples
Marion Guthmuller [Mon, 2 Jul 2012 14:30:53 +0000 (16:30 +0200)]
model-checker: sed 's/m_task_t/msg_task_t/g' on MC examples

7 years agomodel-checker : extend pointer detection in heap comparison algorithm
Marion Guthmuller [Mon, 2 Jul 2012 13:35:53 +0000 (15:35 +0200)]
model-checker : extend pointer detection in heap comparison algorithm

7 years agomodel-checker : remove unnecessary test
Marion Guthmuller [Sat, 30 Jun 2012 19:37:44 +0000 (21:37 +0200)]
model-checker : remove unnecessary test

7 years agoJust cleaned some stuff to only show undocumented functions refered
lbobelin [Mon, 2 Jul 2012 12:03:41 +0000 (14:03 +0200)]
Just cleaned some stuff to only show undocumented functions refered

7 years agoAdd missing compatibility typedefs.
Arnaud Giersch [Mon, 2 Jul 2012 09:45:51 +0000 (11:45 +0200)]
Add missing compatibility typedefs.

7 years agoMove compatibility typedefs in section MSG_USE_DEPRECATED.
Arnaud Giersch [Mon, 2 Jul 2012 09:45:35 +0000 (11:45 +0200)]
Move compatibility typedefs in section MSG_USE_DEPRECATED.

7 years agoAdd a new test to see how failures are handled by SimDag.
suter [Thu, 28 Jun 2012 13:23:55 +0000 (15:23 +0200)]
Add a new test to see how failures are handled by SimDag.
Seem to raise a bug because unscheduling and rescheduling a FAILED
tasks makes it run in no time.

7 years agoAdded some stuff about deployment to please Fred. Corrected some stuff.
lbobelin [Fri, 29 Jun 2012 20:00:53 +0000 (22:00 +0200)]
Added some stuff about deployment to please Fred. Corrected some stuff.

7 years agoJust added links to tutorials.
lbobelin [Fri, 29 Jun 2012 19:11:31 +0000 (21:11 +0200)]
Just added links to tutorials.

7 years agoMainly cosmetics. I stop for now working on doc.
lbobelin [Fri, 29 Jun 2012 16:28:10 +0000 (18:28 +0200)]
Mainly cosmetics. I stop for now working on doc.

7 years agoOk, I forgot most of the examples in one of my previous commit. Repaired.
lbobelin [Fri, 29 Jun 2012 16:07:33 +0000 (18:07 +0200)]
Ok, I forgot most of the examples in one of my previous commit. Repaired.

7 years agoCosmetics
lbobelin [Fri, 29 Jun 2012 14:57:22 +0000 (16:57 +0200)]
Cosmetics

7 years agoCleaned doc, re-included examples, should be better now.
lbobelin [Fri, 29 Jun 2012 14:36:27 +0000 (16:36 +0200)]
Cleaned doc, re-included examples, should be better now.

7 years agoFix typo in msg reference guide
Samuel Lepetit [Fri, 29 Jun 2012 13:44:03 +0000 (15:44 +0200)]
Fix typo in msg reference guide

7 years agomodel-checker : tests for snapshot comparison
Marion Guthmuller [Fri, 29 Jun 2012 13:17:47 +0000 (15:17 +0200)]
model-checker : tests for snapshot comparison

7 years agomodel-checker : test unit removed
Marion Guthmuller [Fri, 29 Jun 2012 08:19:04 +0000 (10:19 +0200)]
model-checker : test unit removed

7 years agomodel-checker : move functions about snapshot comparison from mc_liveness to mc_check...
Marion Guthmuller [Fri, 29 Jun 2012 08:17:29 +0000 (10:17 +0200)]
model-checker : move functions about snapshot comparison from mc_liveness to mc_checkpoint and declare them static

7 years agomodel-checker : get fragment number like in realloc function
Marion Guthmuller [Thu, 28 Jun 2012 13:52:42 +0000 (15:52 +0200)]
model-checker : get fragment number like in realloc function

7 years agoReindent.
Arnaud Giersch [Wed, 27 Jun 2012 09:16:50 +0000 (11:16 +0200)]
Reindent.

7 years agoUpdate changelog
Samuel Lepetit [Fri, 29 Jun 2012 12:23:46 +0000 (14:23 +0200)]
Update changelog

7 years agoMove a simcall doc from MSG to SIMIX
Samuel Lepetit [Fri, 29 Jun 2012 12:17:49 +0000 (14:17 +0200)]
Move a simcall doc from MSG to SIMIX

7 years agoAdd some doc for SIMIX reference guide
Samuel Lepetit [Fri, 29 Jun 2012 12:13:29 +0000 (14:13 +0200)]
Add some doc for SIMIX reference guide

7 years agoFix issues in documentation
Samuel Lepetit [Fri, 29 Jun 2012 11:42:45 +0000 (13:42 +0200)]
Fix issues in documentation

7 years agoUse msg_error_t instead of MSG_error_t
Samuel Lepetit [Fri, 29 Jun 2012 10:01:07 +0000 (12:01 +0200)]
Use msg_error_t instead of MSG_error_t

7 years agoUse msg_gpu_task_t instead of m_gpu_task_t
Samuel Lepetit [Fri, 29 Jun 2012 09:45:17 +0000 (11:45 +0200)]
Use msg_gpu_task_t instead of m_gpu_task_t

7 years agoUse msg_task_t instead of m_task_t
Samuel Lepetit [Fri, 29 Jun 2012 09:39:13 +0000 (11:39 +0200)]
Use msg_task_t instead of m_task_t

7 years agoUse msg_host_t instead of m_host_t.
Samuel Lepetit [Fri, 29 Jun 2012 09:26:47 +0000 (11:26 +0200)]
Use msg_host_t instead of m_host_t.

7 years agoUse msg_process_t instead of m_process_t
Samuel Lepetit [Fri, 29 Jun 2012 09:14:43 +0000 (11:14 +0200)]
Use msg_process_t instead of m_process_t

7 years agoUpdate tesh files with process autorestart.
Arnaud Giersch [Fri, 29 Jun 2012 07:03:48 +0000 (09:03 +0200)]
Update tesh files with process autorestart.

7 years agoAdd "output sort" in tesh files.
Arnaud Giersch [Fri, 29 Jun 2012 07:03:48 +0000 (09:03 +0200)]
Add "output sort" in tesh files.

7 years agoClean CMakeLists.txt in examples/smpi.
Arnaud Giersch [Fri, 29 Jun 2012 07:03:48 +0000 (09:03 +0200)]
Clean CMakeLists.txt in examples/smpi.

Remove "flags" which is already set in smpicc, and use include_directories for its purpose.

7 years agoDon't mix install and build directories in smpicc.
Arnaud Giersch [Fri, 29 Jun 2012 07:03:47 +0000 (09:03 +0200)]
Don't mix install and build directories in smpicc.

Build directories are already given on command line by cmake.
Ensure that install directories come last in the list so that the correct
directories are used at build time for includes and libraries.

7 years agoMissing include when !HAVE_TRACING.
Arnaud Giersch [Fri, 29 Jun 2012 07:03:47 +0000 (09:03 +0200)]
Missing include when !HAVE_TRACING.

7 years agoUse memcpy() instead of possibly broken aliasing through an union.
Arnaud Giersch [Fri, 29 Jun 2012 07:03:47 +0000 (09:03 +0200)]
Use memcpy() instead of possibly broken aliasing through an union.

According to C standard:
J.1 Unspecified behavior
The following are unspecified:
[...]
-- The value of a union member other than the last one stored into (6.2.6.1).

7 years agoFix in SIMIX_host_add_auto_restart_process
Samuel Lepetit [Thu, 28 Jun 2012 13:48:06 +0000 (15:48 +0200)]
Fix in SIMIX_host_add_auto_restart_process

7 years agoFix an issue in process autorestart
Samuel Lepetit [Thu, 28 Jun 2012 13:16:28 +0000 (15:16 +0200)]
Fix an issue in process autorestart

7 years agoHide cmake variable
navarro [Thu, 28 Jun 2012 12:44:25 +0000 (14:44 +0200)]
Hide cmake variable

7 years agoRemove duplicated declartion of functions. They are in simix.h and not private,
navarro [Thu, 28 Jun 2012 12:41:04 +0000 (14:41 +0200)]
Remove duplicated declartion of functions. They are in simix.h and not private,
they are called by MSG

7 years agoAdd the function autorestart in simix_global
navarro [Thu, 28 Jun 2012 12:28:40 +0000 (14:28 +0200)]
Add the function autorestart in simix_global

7 years agoAdd SIMIX_host_restart_processes
Samuel Lepetit [Thu, 28 Jun 2012 11:59:15 +0000 (13:59 +0200)]
Add SIMIX_host_restart_processes

7 years agoCreate a dict with all hosts with state SURF_RESOURCE_OFF during a SIMIX_process_stop.
navarro [Thu, 28 Jun 2012 11:05:37 +0000 (13:05 +0200)]
Create a dict with all hosts with state SURF_RESOURCE_OFF during a SIMIX_process_stop.

7 years agoTODO comments
navarro [Mon, 25 Jun 2012 13:08:07 +0000 (15:08 +0200)]
TODO comments

7 years agoTest for failed host is wrong for parallel tasks.
Arnaud Giersch [Thu, 28 Jun 2012 09:28:19 +0000 (11:28 +0200)]
Test for failed host is wrong for parallel tasks.

7 years agoAdd dots, and break long lines.
Arnaud Giersch [Thu, 28 Jun 2012 09:10:06 +0000 (11:10 +0200)]
Add dots, and break long lines.

7 years agoChangelog update
Samuel Lepetit [Thu, 28 Jun 2012 08:44:33 +0000 (10:44 +0200)]
Changelog update

7 years agomemcheck_tests.cmake: update.
Arnaud Giersch [Thu, 28 Jun 2012 08:26:40 +0000 (10:26 +0200)]
memcheck_tests.cmake: update.

7 years agoDon't run test when it's not built (!HAVE_GRAPHVIZ).
Arnaud Giersch [Thu, 28 Jun 2012 08:26:40 +0000 (10:26 +0200)]
Don't run test when it's not built (!HAVE_GRAPHVIZ).

7 years agoFix path for out-of-source builds, and kill useless empty lines.
Arnaud Giersch [Thu, 28 Jun 2012 08:26:40 +0000 (10:26 +0200)]
Fix path for out-of-source builds, and kill useless empty lines.

7 years agoUpdate with flex from Debian (includes fixes for ia64).
Arnaud Giersch [Thu, 28 Jun 2012 08:26:40 +0000 (10:26 +0200)]
Update with flex from Debian (includes fixes for ia64).

7 years agoTest the simdag_tracing code that were already there in /examples/simdag
suter [Thu, 28 Jun 2012 07:59:37 +0000 (09:59 +0200)]
Test the simdag_tracing code that were already there in /examples/simdag

7 years agomodel-checker : update supernovae files (automaton_create.c removed with cleanups...
Marion Guthmuller [Wed, 27 Jun 2012 16:33:54 +0000 (18:33 +0200)]
model-checker : update supernovae files (automaton_create.c removed with cleanups done for model-checking configuration)

7 years agomodel-checker : detect valid block or fragment pointer as free function
Marion Guthmuller [Wed, 27 Jun 2012 15:27:21 +0000 (17:27 +0200)]
model-checker : detect valid block or fragment pointer as free function

7 years agomodel-checker : check current_heap before SET_RAW_MEM and restore it after UNSET_RAW_MEM
Marion Guthmuller [Tue, 26 Jun 2012 12:19:44 +0000 (14:19 +0200)]
model-checker : check current_heap before SET_RAW_MEM and restore it after UNSET_RAW_MEM

7 years agoFirst bricks for auto_restart support in SIMIX/MSG.
Samuel Lepetit [Wed, 27 Jun 2012 14:29:56 +0000 (16:29 +0200)]
First bricks for auto_restart support in SIMIX/MSG.

7 years agoChanges in generated files from DTD change.
Samuel Lepetit [Wed, 27 Jun 2012 14:19:46 +0000 (16:19 +0200)]
Changes in generated files from DTD change.

7 years agoChanges in SimGrid DTD files for on_failure support.
Samuel Lepetit [Wed, 27 Jun 2012 14:17:00 +0000 (16:17 +0200)]
Changes in SimGrid DTD files for on_failure support.

7 years agoAdd on_failure for processes to the SimGrid DTD.
Samuel Lepetit [Wed, 27 Jun 2012 14:08:41 +0000 (16:08 +0200)]
Add on_failure for processes to the SimGrid DTD.

7 years agoFix search paths for test "simdag-test-lua".
Arnaud Giersch [Wed, 27 Jun 2012 08:08:45 +0000 (10:08 +0200)]
Fix search paths for test "simdag-test-lua".

The test is still failing, though.

7 years agoUntabify.
Arnaud Giersch [Wed, 27 Jun 2012 07:21:33 +0000 (09:21 +0200)]
Untabify.

7 years agoAvoid to recompile automatonparse_promela.c at each build (maintainer mode).
Arnaud Giersch [Tue, 26 Jun 2012 21:38:03 +0000 (23:38 +0200)]
Avoid to recompile automatonparse_promela.c at each build (maintainer mode).

7 years agoTesting the value is useless here...
Arnaud Giersch [Tue, 26 Jun 2012 17:20:52 +0000 (19:20 +0200)]
Testing the value is useless here...

7 years agoComplete help for logs.
Arnaud Giersch [Tue, 26 Jun 2012 17:15:46 +0000 (19:15 +0200)]
Complete help for logs.

7 years agoRemove obsolete command line arguments from help.
Arnaud Giersch [Tue, 26 Jun 2012 17:15:09 +0000 (19:15 +0200)]
Remove obsolete command line arguments from help.

7 years agoTypo and spaces at EOL.
Arnaud Giersch [Tue, 26 Jun 2012 17:14:11 +0000 (19:14 +0200)]
Typo and spaces at EOL.

7 years agomemcheck_tests.cmake: regenerate.
Arnaud Giersch [Tue, 26 Jun 2012 17:09:55 +0000 (19:09 +0200)]
memcheck_tests.cmake: regenerate.

7 years agoMake generate_memcheck_tests.pl keep indentation (but the two first space).
Arnaud Giersch [Tue, 26 Jun 2012 17:09:13 +0000 (19:09 +0200)]
Make generate_memcheck_tests.pl keep indentation (but the two first space).

7 years agoReindent Cmake files.
Arnaud Giersch [Tue, 26 Jun 2012 15:05:16 +0000 (17:05 +0200)]
Reindent Cmake files.

7 years agoRemove unnecessary spaces and empty lines in tesh files.
Arnaud Giersch [Tue, 26 Jun 2012 14:26:22 +0000 (16:26 +0200)]
Remove unnecessary spaces and empty lines in tesh files.

7 years agotest also the dotloader with a file that comprises a cycle.
suter [Tue, 26 Jun 2012 11:15:56 +0000 (13:15 +0200)]
test also the dotloader with a file that comprises a cycle.

7 years agoeven with DOT, we should whine if cycle are detected and return nothing
suter [Tue, 26 Jun 2012 11:05:33 +0000 (13:05 +0200)]
even with DOT, we should whine if cycle are detected and return nothing

7 years agoinvalid access mode should be tested in the setter not in the dump
suter [Tue, 26 Jun 2012 10:48:51 +0000 (12:48 +0200)]
invalid access mode should be tested in the setter not in the dump
function.

7 years agoadd the simdag-dax-cycle test to the list
suter [Tue, 26 Jun 2012 10:26:53 +0000 (12:26 +0200)]
add the simdag-dax-cycle test to the list

7 years agoadd a new test that loads a DAX with a cycle. It should be detected and
suter [Tue, 26 Jun 2012 10:24:21 +0000 (12:24 +0200)]
add a new test that loads a DAX with a cycle. It should be detected and
the test should abort.

7 years agohave to use basename once again to make tesh happy
suter [Tue, 26 Jun 2012 10:22:54 +0000 (12:22 +0200)]
have to use basename once again to make tesh happy

7 years agoIf the DAX contains a cycle, just miserably die ...
suter [Tue, 26 Jun 2012 09:09:47 +0000 (11:09 +0200)]
If the DAX contains a cycle, just miserably die ...

7 years agoWhen you detect a cycle in a structure supposed to be acyclic, don't
suter [Tue, 26 Jun 2012 09:00:05 +0000 (11:00 +0200)]
When you detect a cycle in a structure supposed to be acyclic, don't
return it the user. Raise an error message and return nothing instead.

7 years agoFix a memory leak.
Samuel Lepetit [Tue, 26 Jun 2012 09:55:50 +0000 (11:55 +0200)]
Fix a memory leak.

7 years agoAdd bittorrent files to the CMakeLists
Samuel Lepetit [Tue, 26 Jun 2012 08:27:21 +0000 (10:27 +0200)]
Add bittorrent files to the CMakeLists

7 years agomodel-checker : keep one bugged1 example for liveness properties
Marion Guthmuller [Tue, 26 Jun 2012 08:59:45 +0000 (10:59 +0200)]
model-checker : keep one bugged1 example for liveness properties

7 years agomodel-checker : update list of examples in CMakeLists
Marion Guthmuller [Tue, 26 Jun 2012 08:58:55 +0000 (10:58 +0200)]
model-checker : update list of examples in CMakeLists

7 years agomodel-checker : remove unused examples
Marion Guthmuller [Tue, 26 Jun 2012 08:58:14 +0000 (10:58 +0200)]
model-checker : remove unused examples

7 years agomodel-checker : cosmetics reindent
Marion Guthmuller [Mon, 25 Jun 2012 05:57:20 +0000 (07:57 +0200)]
model-checker : cosmetics reindent