Samuel Lepetit [Thu, 14 Jun 2012 14:33:33 +0000 (16:33 +0200)]
Fix the cloud API, nicely this time.
Arnaud Giersch [Thu, 14 Jun 2012 14:15:36 +0000 (16:15 +0200)]
Use {include,link}_directories for Find{F2C,Graphviz,Lua51} too.
Samuel Lepetit [Thu, 14 Jun 2012 13:12:53 +0000 (15:12 +0200)]
Revert "Debug the cloud API, it should work as expected now."
This reverts commit
535815db45bb2162b257e5c208ee7015dd2cc8f6.
Arnaud Giersch [Thu, 14 Jun 2012 13:27:07 +0000 (15:27 +0200)]
Ensure that additional include/link directories for libpcre are added at the end of the list.
Otherwise, there is the risk to used older versions of the SimGrid includes.
Hope this won't break anything...
Arnaud Giersch [Thu, 14 Jun 2012 12:58:16 +0000 (14:58 +0200)]
__GNUC__ is already defined at this place.
Marion Guthmuller [Thu, 14 Jun 2012 13:00:54 +0000 (15:00 +0200)]
model-checker : add header (description, copyright, license)
schnorr [Thu, 14 Jun 2012 12:02:22 +0000 (14:02 +0200)]
[trace] we don't destroy things we didn't create
schnorr [Thu, 14 Jun 2012 12:00:33 +0000 (14:00 +0200)]
[trace] re-write of trace mark API, need to declare values before using them
schnorr [Thu, 14 Jun 2012 10:06:36 +0000 (12:06 +0200)]
[trace] only ignore the call if the mark type wasn't declared
schnorr [Wed, 13 Jun 2012 16:26:20 +0000 (18:26 +0200)]
[trace] we don't need to trace the destruction of the root container
schnorr [Wed, 13 Jun 2012 16:07:47 +0000 (18:07 +0200)]
[trace] don't let mark the trace if platform is not traced
Marion Guthmuller [Thu, 14 Jun 2012 12:34:28 +0000 (14:34 +0200)]
model-checker : add header (description, copyright, license)
Arnaud Giersch [Thu, 14 Jun 2012 12:11:08 +0000 (14:11 +0200)]
Add a defined(__GNUC__), and rework expression.
Martin Quinson [Thu, 14 Jun 2012 10:38:03 +0000 (12:38 +0200)]
speak nicely to old gcc versions
Arnaud Giersch [Thu, 14 Jun 2012 09:11:50 +0000 (11:11 +0200)]
Fix build with paranoid flags: remove redundant '\0' in string.
The reported error was:
src/instr/jedule/jedule_output.c: In function ‘get_hierarchy_string’:
src/instr/jedule/jedule_output.c:89:13: error: embedded ‘\0’ in format [-Werror=format-contains-nul]
src/instr/jedule/jedule_output.c:91:13: error: embedded ‘\0’ in format [-Werror=format-contains-nul]
cc1: all warnings being treated as errors
Marion Guthmuller [Thu, 14 Jun 2012 09:09:07 +0000 (11:09 +0200)]
model-checker : comment unused variable
Marion Guthmuller [Thu, 14 Jun 2012 08:14:47 +0000 (10:14 +0200)]
model-checker : get end heap with field breakval in struct mdesc ( old function get_end_addr_heap kept in comments)
Sascha Hunold [Thu, 14 Jun 2012 08:42:37 +0000 (10:42 +0200)]
updated jedule output of SimDag
Marion Guthmuller [Thu, 14 Jun 2012 07:29:05 +0000 (09:29 +0200)]
model-checker : move print statistics if property is valid
Marion Guthmuller [Wed, 13 Jun 2012 15:21:29 +0000 (17:21 +0200)]
model-checker : fix std_heap address for heap comparison algorithm
Marion Guthmuller [Wed, 13 Jun 2012 13:42:08 +0000 (15:42 +0200)]
model-checker : in second test unit, snapshot comparison done before MC_UNSET_RAW_MEM (set current heap=std_heap)
Arnaud Giersch [Wed, 13 Jun 2012 17:16:52 +0000 (19:16 +0200)]
[trace] correct impossible code.
PJ_value_get() can't return NULL. Use PJ_value_get_or_new() instead.
Fixes test smpi-tracing-ptp.
Arnaud Giersch [Wed, 13 Jun 2012 16:34:42 +0000 (18:34 +0200)]
[trace] new function: PJ_value_get_or_new().
Arnaud Giersch [Wed, 13 Jun 2012 16:30:37 +0000 (18:30 +0200)]
[trace] throw an exception instead of returning NULL.
Arnaud Giersch [Wed, 13 Jun 2012 16:04:45 +0000 (18:04 +0200)]
[trace] test is obviously redundant here.
Martin Quinson [Wed, 13 Jun 2012 17:05:11 +0000 (19:05 +0200)]
New function: MSG_host_set_property_value()
Samuel Lepetit [Wed, 13 Jun 2012 16:08:46 +0000 (18:08 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Samuel Lepetit [Wed, 13 Jun 2012 16:07:40 +0000 (18:07 +0200)]
Debug the cloud API, it should work as expected now.
Martin Quinson [Wed, 13 Jun 2012 15:20:41 +0000 (17:20 +0200)]
Enable tracing by default. This modules rocks you should use it
pierre [Wed, 13 Jun 2012 14:41:25 +0000 (16:41 +0200)]
Generic script for each version
Marion Guthmuller [Wed, 13 Jun 2012 13:33:05 +0000 (15:33 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid
Samuel Lepetit [Wed, 13 Jun 2012 13:31:48 +0000 (15:31 +0200)]
Bugfix in msg/io example
Marion Guthmuller [Wed, 13 Jun 2012 13:26:47 +0000 (15:26 +0200)]
model-checker : get std_heap with mmalloc_get_current_heap instead of function argument
navarro [Wed, 13 Jun 2012 13:23:51 +0000 (15:23 +0200)]
Change the file API, remove the mount point in each file function.
Arnaud Giersch [Wed, 13 Jun 2012 13:01:01 +0000 (15:01 +0200)]
Rewrite the platform_script.lua used by the test for lua console.
The lua console is still not fixed, but at least the script should be
syntactically correct.
Arnaud Giersch [Wed, 13 Jun 2012 12:33:52 +0000 (14:33 +0200)]
Cosmetics: allow a semicolon after macro usage.
Without this change, tools like etags are confused and fail to parse
the file correctly.
Marion Guthmuller [Wed, 13 Jun 2012 12:58:19 +0000 (14:58 +0200)]
model-checker : new test unit for snapshot comparison
Marion Guthmuller [Wed, 13 Jun 2012 12:56:03 +0000 (14:56 +0200)]
model-checker : remove unused argument in functions for heap comparison algorithm
Marion Guthmuller [Wed, 13 Jun 2012 09:57:54 +0000 (11:57 +0200)]
model-checker : add total hamming distance for heap comparison algorithm
Marion Guthmuller [Wed, 13 Jun 2012 09:47:33 +0000 (11:47 +0200)]
model-checker : test unit for snapshot comparison
Marion Guthmuller [Wed, 13 Jun 2012 09:43:50 +0000 (11:43 +0200)]
model-checker : unused variables deleted
Marion Guthmuller [Wed, 13 Jun 2012 09:40:52 +0000 (11:40 +0200)]
model-checker : remove unnecessary get_memory_map_addr function
Marion Guthmuller [Wed, 13 Jun 2012 09:27:19 +0000 (11:27 +0200)]
model-checker : update include file
Marion Guthmuller [Wed, 13 Jun 2012 09:22:50 +0000 (11:22 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid
Marion Guthmuller [Wed, 13 Jun 2012 09:19:24 +0000 (11:19 +0200)]
model-checker : remove binary name as argument of some functions, available with xbt_binary_name
jbrv [Wed, 13 Jun 2012 08:30:29 +0000 (10:30 +0200)]
Event generation for probabilist tmgr_trace
This piece of code is absolutely untested, however, because the actual use of this type of tmgr_trace is not implemented yet.
Marion Guthmuller [Wed, 13 Jun 2012 08:12:08 +0000 (10:12 +0200)]
model-checker : print statistics in all cases (property satisfied or not)
Marion Guthmuller [Tue, 12 Jun 2012 20:02:50 +0000 (22:02 +0200)]
model-checker : comment unused statistics information
Arnaud Giersch [Tue, 12 Jun 2012 17:11:18 +0000 (19:11 +0200)]
Don't rely on the non-standard on_exit() function.
navarro [Tue, 12 Jun 2012 15:08:47 +0000 (08:08 -0700)]
Update script due to removed file.
navarro [Tue, 12 Jun 2012 14:03:48 +0000 (16:03 +0200)]
Now it is simgrid java 1.2 ;)
Arnaud Giersch [Tue, 12 Jun 2012 13:49:05 +0000 (15:49 +0200)]
Rename functions xbt_dict_hash*() to xbt_str_hash().
Arnaud Giersch [Tue, 12 Jun 2012 13:39:50 +0000 (15:39 +0200)]
Inline functions without their definitions don't make much sense.
Declare xbt_dict_hash() and xbt_dict_hash_ext() as static inline,
and move their definitions in header file.
navarro [Tue, 12 Jun 2012 13:43:42 +0000 (15:43 +0200)]
Remove some debug from execution
navarro [Tue, 12 Jun 2012 13:43:15 +0000 (15:43 +0200)]
Add disk usage and size parameters for storage.
navarro [Mon, 11 Jun 2012 14:39:08 +0000 (16:39 +0200)]
Find ns3 version 3.14
jbrv [Tue, 12 Jun 2012 13:35:28 +0000 (15:35 +0200)]
Add a constructor for probabilist tmgr_trace
begin to add some support for this type of tmgr_trace
Martin Quinson [Tue, 12 Jun 2012 13:24:03 +0000 (15:24 +0200)]
that's perfectly fine to not free that memory on process terminaison on Apple
Marion Guthmuller [Tue, 12 Jun 2012 13:00:11 +0000 (15:00 +0200)]
model-checker : warnings compilation fixed
Marion Guthmuller [Tue, 12 Jun 2012 12:53:15 +0000 (14:53 +0200)]
fix merge conflict
Marion Guthmuller [Tue, 12 Jun 2012 12:50:33 +0000 (14:50 +0200)]
model-checker : fix number and address of blocks in heap comparison algorithm
Arnaud Giersch [Tue, 12 Jun 2012 12:36:05 +0000 (14:36 +0200)]
Missing include.
Arnaud Giersch [Tue, 12 Jun 2012 12:35:16 +0000 (14:35 +0200)]
Use XBT_PUBLIC for exported functions.
Arnaud Giersch [Tue, 12 Jun 2012 12:35:00 +0000 (14:35 +0200)]
Define variables in C file.
Arnaud Giersch [Tue, 12 Jun 2012 12:33:34 +0000 (14:33 +0200)]
Declare exported functions in header.
Arnaud Giersch [Tue, 12 Jun 2012 12:27:27 +0000 (14:27 +0200)]
Fix compilation errors about unused or uninitialized variables.
These are not real fixes and should be properly corrected,
hence the "FIXME" comments.
jbrv [Tue, 12 Jun 2012 12:12:02 +0000 (14:12 +0200)]
change a function name that I forgot to change
jbrv [Mon, 11 Jun 2012 15:07:52 +0000 (17:07 +0200)]
Trace manager : add a function to generate values from probabilist distributions
jbrv [Mon, 11 Jun 2012 14:13:33 +0000 (16:13 +0200)]
Trace manager : Add and change some structures and functions
New structure to generate event dates, and new functions to create them.
The tmgr_trace structure takes now a dynar of events, or 2 event generators.
Marion Guthmuller [Mon, 11 Jun 2012 13:34:10 +0000 (15:34 +0200)]
model-checker : remove useless memcmp in heap comparison algorithm
jbrv [Mon, 11 Jun 2012 12:31:55 +0000 (14:31 +0200)]
Add a function to copy a RngStream structure
jbrv [Mon, 11 Jun 2012 09:14:42 +0000 (11:14 +0200)]
Move XBT hash functions to xbt_str.c and make them public
Stephane Genaud [Mon, 11 Jun 2012 07:52:17 +0000 (09:52 +0200)]
gcc defines __APPLE__, use this instead APPLE
Marion Guthmuller [Sat, 9 Jun 2012 19:59:56 +0000 (21:59 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid
Marion Guthmuller [Sat, 9 Jun 2012 19:59:40 +0000 (21:59 +0200)]
model-checker : heap comparison algorithm rewrited
jbrv [Fri, 8 Jun 2012 13:42:15 +0000 (15:42 +0200)]
Add new functions to support different sources of avaibility trace
These functions are still nearly empty, however.
jbrv [Fri, 8 Jun 2012 13:19:37 +0000 (15:19 +0200)]
Modify structures to support different sources of avaibility trace
renamed function : tmgr_trace_new() to tmgr_trace_new_from_file()
suter [Fri, 8 Jun 2012 12:56:15 +0000 (14:56 +0200)]
First step to move trace replay from MSG towards SMPI
start by moving what isn't connected to MSG into xbt
had to change some file names as xbt_replay_trace_* was a too long
prefix and files are no more limited to the trace reader only.
Marion Guthmuller [Fri, 8 Jun 2012 08:18:41 +0000 (10:18 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid
jbrv [Fri, 8 Jun 2012 07:33:57 +0000 (09:33 +0200)]
Changed masterslave with failures test platform
The new platform is simpler, but now includes a case that fails :
if a host fails when it is running a task, simgrid crashes.
The expected outputs in .tesh files have not been updated yet.
schnorr [Thu, 7 Jun 2012 15:35:24 +0000 (17:35 +0200)]
[trace] paje header changed, update tesh
schnorr [Thu, 7 Jun 2012 15:30:21 +0000 (17:30 +0200)]
[trace] paje file format has evolved with a new event PajeResetState, follow it
Arnaud Giersch [Thu, 7 Jun 2012 15:34:54 +0000 (17:34 +0200)]
Whitespace etc. (take #3).
Arnaud Giersch [Thu, 7 Jun 2012 14:52:18 +0000 (16:52 +0200)]
Fix Doxygen error.
Fix the following error:
error: the type 'dirs' is not supported for the entry tag within a navindex! Check your layout file!
Simply removed the offending line.
Arnaud Giersch [Thu, 7 Jun 2012 14:41:13 +0000 (16:41 +0200)]
Update Doxyfile with doxygen -u.
navarro [Thu, 7 Jun 2012 15:20:53 +0000 (17:20 +0200)]
Update doc to inform which gcc or clang to use.
pierre [Thu, 7 Jun 2012 13:59:08 +0000 (15:59 +0200)]
Hack to compile smpi on Mac (but need to fix;)
Arnaud Giersch [Thu, 7 Jun 2012 12:57:08 +0000 (14:57 +0200)]
More whitespace cleanup.
About 2441 useless spaces at end of lines removed, mainly in doc/.
navarro [Thu, 7 Jun 2012 12:26:30 +0000 (14:26 +0200)]
Update doc for install section.
navarro [Thu, 7 Jun 2012 11:54:21 +0000 (13:54 +0200)]
Update Changelog for MAC and Win package
Arnaud Giersch [Thu, 7 Jun 2012 09:38:14 +0000 (11:38 +0200)]
Cosmetics: whitespace cleanup.
Arnaud Giersch [Thu, 7 Jun 2012 09:36:50 +0000 (11:36 +0200)]
Add a word about Debian/Hurd in Changelog.
Martin Quinson [Thu, 7 Jun 2012 09:21:55 +0000 (11:21 +0200)]
prepare the ChangeLog and NEWS files for the upcoming release
Martin Quinson [Thu, 7 Jun 2012 08:57:50 +0000 (10:57 +0200)]
a word on installing onto Mac OSX systems
pierre [Thu, 7 Jun 2012 09:04:09 +0000 (11:04 +0200)]
Try to put script before and after install simgrid on mac
pierre [Wed, 6 Jun 2012 13:19:34 +0000 (15:19 +0200)]
Update script for iceberg
Marion Guthmuller [Wed, 6 Jun 2012 16:27:39 +0000 (18:27 +0200)]
typos in message of backtrace display (where malloced -> was malloced)
schnorr [Wed, 6 Jun 2012 13:38:40 +0000 (15:38 +0200)]
[trace] viva graph configuration (same as for triva, but without outer curly brackets)
schnorr [Wed, 6 Jun 2012 13:34:25 +0000 (15:34 +0200)]
[trace] launch an exception if user provided an unknown value for the type
Christophe Thiéry [Tue, 5 Jun 2012 13:11:03 +0000 (15:11 +0200)]
The usual typo.