Marion Guthmuller [Sat, 30 Jun 2012 19:37:44 +0000 (21:37 +0200)]
model-checker : remove unnecessary test
lbobelin [Mon, 2 Jul 2012 12:03:41 +0000 (14:03 +0200)]
Just cleaned some stuff to only show undocumented functions refered
Arnaud Giersch [Mon, 2 Jul 2012 09:45:51 +0000 (11:45 +0200)]
Add missing compatibility typedefs.
Arnaud Giersch [Mon, 2 Jul 2012 09:45:35 +0000 (11:45 +0200)]
Move compatibility typedefs in section MSG_USE_DEPRECATED.
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.
lbobelin [Fri, 29 Jun 2012 20:00:53 +0000 (22:00 +0200)]
Added some stuff about deployment to please Fred. Corrected some stuff.
lbobelin [Fri, 29 Jun 2012 19:11:31 +0000 (21:11 +0200)]
Just added links to tutorials.
lbobelin [Fri, 29 Jun 2012 16:28:10 +0000 (18:28 +0200)]
Mainly cosmetics. I stop for now working on doc.
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.
lbobelin [Fri, 29 Jun 2012 14:57:22 +0000 (16:57 +0200)]
Cosmetics
lbobelin [Fri, 29 Jun 2012 14:36:27 +0000 (16:36 +0200)]
Cleaned doc, re-included examples, should be better now.
Samuel Lepetit [Fri, 29 Jun 2012 13:44:03 +0000 (15:44 +0200)]
Fix typo in msg reference guide
Marion Guthmuller [Fri, 29 Jun 2012 13:17:47 +0000 (15:17 +0200)]
model-checker : tests for snapshot comparison
Marion Guthmuller [Fri, 29 Jun 2012 08:19:04 +0000 (10:19 +0200)]
model-checker : test unit removed
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
Marion Guthmuller [Thu, 28 Jun 2012 13:52:42 +0000 (15:52 +0200)]
model-checker : get fragment number like in realloc function
Arnaud Giersch [Wed, 27 Jun 2012 09:16:50 +0000 (11:16 +0200)]
Reindent.
Samuel Lepetit [Fri, 29 Jun 2012 12:23:46 +0000 (14:23 +0200)]
Update changelog
Samuel Lepetit [Fri, 29 Jun 2012 12:17:49 +0000 (14:17 +0200)]
Move a simcall doc from MSG to SIMIX
Samuel Lepetit [Fri, 29 Jun 2012 12:13:29 +0000 (14:13 +0200)]
Add some doc for SIMIX reference guide
Samuel Lepetit [Fri, 29 Jun 2012 11:42:45 +0000 (13:42 +0200)]
Fix issues in documentation
Samuel Lepetit [Fri, 29 Jun 2012 10:01:07 +0000 (12:01 +0200)]
Use msg_error_t instead of MSG_error_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
Samuel Lepetit [Fri, 29 Jun 2012 09:39:13 +0000 (11:39 +0200)]
Use msg_task_t instead of m_task_t
Samuel Lepetit [Fri, 29 Jun 2012 09:26:47 +0000 (11:26 +0200)]
Use msg_host_t instead of m_host_t.
Samuel Lepetit [Fri, 29 Jun 2012 09:14:43 +0000 (11:14 +0200)]
Use msg_process_t instead of m_process_t
Arnaud Giersch [Fri, 29 Jun 2012 07:03:48 +0000 (09:03 +0200)]
Update tesh files with process autorestart.
Arnaud Giersch [Fri, 29 Jun 2012 07:03:48 +0000 (09:03 +0200)]
Add "output sort" in tesh files.
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.
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.
Arnaud Giersch [Fri, 29 Jun 2012 07:03:47 +0000 (09:03 +0200)]
Missing include when !HAVE_TRACING.
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).
Samuel Lepetit [Thu, 28 Jun 2012 13:48:06 +0000 (15:48 +0200)]
Fix in SIMIX_host_add_auto_restart_process
Samuel Lepetit [Thu, 28 Jun 2012 13:16:28 +0000 (15:16 +0200)]
Fix an issue in process autorestart
navarro [Thu, 28 Jun 2012 12:44:25 +0000 (14:44 +0200)]
Hide cmake variable
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
navarro [Thu, 28 Jun 2012 12:28:40 +0000 (14:28 +0200)]
Add the function autorestart in simix_global
Samuel Lepetit [Thu, 28 Jun 2012 11:59:15 +0000 (13:59 +0200)]
Add SIMIX_host_restart_processes
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.
navarro [Mon, 25 Jun 2012 13:08:07 +0000 (15:08 +0200)]
TODO comments
Arnaud Giersch [Thu, 28 Jun 2012 09:28:19 +0000 (11:28 +0200)]
Test for failed host is wrong for parallel tasks.
Arnaud Giersch [Thu, 28 Jun 2012 09:10:06 +0000 (11:10 +0200)]
Add dots, and break long lines.
Samuel Lepetit [Thu, 28 Jun 2012 08:44:33 +0000 (10:44 +0200)]
Changelog update
Arnaud Giersch [Thu, 28 Jun 2012 08:26:40 +0000 (10:26 +0200)]
memcheck_tests.cmake: update.
Arnaud Giersch [Thu, 28 Jun 2012 08:26:40 +0000 (10:26 +0200)]
Don't run test when it's not built (!HAVE_GRAPHVIZ).
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.
Arnaud Giersch [Thu, 28 Jun 2012 08:26:40 +0000 (10:26 +0200)]
Update with flex from Debian (includes fixes for ia64).
suter [Thu, 28 Jun 2012 07:59:37 +0000 (09:59 +0200)]
Test the simdag_tracing code that were already there in /examples/simdag
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)
Marion Guthmuller [Wed, 27 Jun 2012 15:27:21 +0000 (17:27 +0200)]
model-checker : detect valid block or fragment pointer as free function
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
Samuel Lepetit [Wed, 27 Jun 2012 14:29:56 +0000 (16:29 +0200)]
First bricks for auto_restart support in SIMIX/MSG.
Samuel Lepetit [Wed, 27 Jun 2012 14:19:46 +0000 (16:19 +0200)]
Changes in generated files from DTD change.
Samuel Lepetit [Wed, 27 Jun 2012 14:17:00 +0000 (16:17 +0200)]
Changes in SimGrid DTD files for on_failure support.
Samuel Lepetit [Wed, 27 Jun 2012 14:08:41 +0000 (16:08 +0200)]
Add on_failure for processes to the SimGrid DTD.
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.
Arnaud Giersch [Wed, 27 Jun 2012 07:21:33 +0000 (09:21 +0200)]
Untabify.
Arnaud Giersch [Tue, 26 Jun 2012 21:38:03 +0000 (23:38 +0200)]
Avoid to recompile automatonparse_promela.c at each build (maintainer mode).
Arnaud Giersch [Tue, 26 Jun 2012 17:20:52 +0000 (19:20 +0200)]
Testing the value is useless here...
Arnaud Giersch [Tue, 26 Jun 2012 17:15:46 +0000 (19:15 +0200)]
Complete help for logs.
Arnaud Giersch [Tue, 26 Jun 2012 17:15:09 +0000 (19:15 +0200)]
Remove obsolete command line arguments from help.
Arnaud Giersch [Tue, 26 Jun 2012 17:14:11 +0000 (19:14 +0200)]
Typo and spaces at EOL.
Arnaud Giersch [Tue, 26 Jun 2012 17:09:55 +0000 (19:09 +0200)]
memcheck_tests.cmake: regenerate.
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).
Arnaud Giersch [Tue, 26 Jun 2012 15:05:16 +0000 (17:05 +0200)]
Reindent Cmake files.
Arnaud Giersch [Tue, 26 Jun 2012 14:26:22 +0000 (16:26 +0200)]
Remove unnecessary spaces and empty lines in tesh files.
suter [Tue, 26 Jun 2012 11:15:56 +0000 (13:15 +0200)]
test also the dotloader with a file that comprises a cycle.
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
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.
suter [Tue, 26 Jun 2012 10:26:53 +0000 (12:26 +0200)]
add the simdag-dax-cycle test to the list
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.
suter [Tue, 26 Jun 2012 10:22:54 +0000 (12:22 +0200)]
have to use basename once again to make tesh happy
suter [Tue, 26 Jun 2012 09:09:47 +0000 (11:09 +0200)]
If the DAX contains a cycle, just miserably die ...
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.
Samuel Lepetit [Tue, 26 Jun 2012 09:55:50 +0000 (11:55 +0200)]
Fix a memory leak.
Samuel Lepetit [Tue, 26 Jun 2012 08:27:21 +0000 (10:27 +0200)]
Add bittorrent files to the CMakeLists
Marion Guthmuller [Tue, 26 Jun 2012 08:59:45 +0000 (10:59 +0200)]
model-checker : keep one bugged1 example for liveness properties
Marion Guthmuller [Tue, 26 Jun 2012 08:58:55 +0000 (10:58 +0200)]
model-checker : update list of examples in CMakeLists
Marion Guthmuller [Tue, 26 Jun 2012 08:58:14 +0000 (10:58 +0200)]
model-checker : remove unused examples
Marion Guthmuller [Mon, 25 Jun 2012 05:57:20 +0000 (07:57 +0200)]
model-checker : cosmetics reindent
suter [Tue, 26 Jun 2012 07:49:56 +0000 (09:49 +0200)]
rhhaaa, forgot the tesh file of that beautiful test.
Samuel Lepetit [Mon, 25 Jun 2012 11:39:50 +0000 (13:39 +0200)]
Add a simcall for process_on_exit
Samuel Lepetit [Mon, 25 Jun 2012 08:43:40 +0000 (10:43 +0200)]
Samuel Lepetit [Mon, 25 Jun 2012 08:41:12 +0000 (10:41 +0200)]
Fix an issue when you registered a on_exit function on a process_create.
suter [Sun, 24 Jun 2012 17:19:37 +0000 (19:19 +0200)]
slight change to verify that access mode can be changed both ways
suter [Sun, 24 Jun 2012 17:01:50 +0000 (19:01 +0200)]
extend test to see if SD_workstation_dump displays properties correctly
suter [Sun, 24 Jun 2012 16:52:05 +0000 (18:52 +0200)]
extend the test to unschedule parallel typed tasks and test the fact
that no order is imposed to auto-schedule a transfer (src first or dst
first, who cares?)
suter [Sun, 24 Jun 2012 16:50:22 +0000 (18:50 +0200)]
SD_unschedule was never tested and actually buggy for typed parallel
tasks.
suter [Sun, 24 Jun 2012 16:14:15 +0000 (18:14 +0200)]
basename raises a warning without including libgen.h
suter [Sun, 24 Jun 2012 16:03:52 +0000 (18:03 +0200)]
add yet another basic tesh to increase coverage. sd_link.c should be at
100% now
Marion Guthmuller [Fri, 22 Jun 2012 15:48:51 +0000 (17:48 +0200)]
model-checker : keep MC_request_to_string in std heap
Marion Guthmuller [Fri, 22 Jun 2012 15:44:40 +0000 (17:44 +0200)]
model-checker : detect pointers on valid fragment in heap comparison algorithm
Samuel Lepetit [Fri, 22 Jun 2012 15:01:29 +0000 (17:01 +0200)]
Add bittorrent example in Lua
suter [Fri, 22 Jun 2012 14:33:05 +0000 (16:33 +0200)]
don't add the binary to the git
suter [Fri, 22 Jun 2012 14:31:36 +0000 (16:31 +0200)]
make this tests pass
suter [Fri, 22 Jun 2012 14:21:40 +0000 (16:21 +0200)]
remove unused variable
suter [Fri, 22 Jun 2012 14:20:24 +0000 (16:20 +0200)]
one more test of the dotloader (dot with a good schedule in it)
add the tesh to the testsuite
suter [Fri, 22 Jun 2012 13:49:53 +0000 (15:49 +0200)]
forgot to add the test to the whole list
suter [Fri, 22 Jun 2012 13:37:22 +0000 (15:37 +0200)]
add a (currently) broken test that tries to create the environment by
loading some lua script
suter [Fri, 22 Jun 2012 13:25:14 +0000 (15:25 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid