Martin Quinson [Wed, 19 Aug 2015 20:53:52 +0000 (22:53 +0200)]
sort a bit the cmake file
Martin Quinson [Sun, 16 Aug 2015 16:31:54 +0000 (18:31 +0200)]
uniformize simcall_comm_send() and simcall_comm_recv()
Recv now takes the receiver as first argument, and it should be able
to receive on a remote process.
I tried to remove the sender argument out of send(), but it's used in
SMPI when using RMA and I don't want to dig into it today.
Martin Quinson [Sun, 16 Aug 2015 15:56:04 +0000 (17:56 +0200)]
spellcheck
Martin Quinson [Sun, 16 Aug 2015 15:32:51 +0000 (17:32 +0200)]
kill SIMIX_comm_isend(), use simcall_HANDLER_comm_isend() directly
Martin Quinson [Wed, 12 Aug 2015 19:11:44 +0000 (21:11 +0200)]
move the cmake files in tools/cmake
Martin Quinson [Tue, 11 Aug 2015 18:53:03 +0000 (20:53 +0200)]
[jenkins] disable MPICH3 test on coverage to avoid timeout
Martin Quinson [Tue, 11 Aug 2015 17:39:45 +0000 (19:39 +0200)]
remove unused jenkins scripts, and document some others
Martin Quinson [Tue, 11 Aug 2015 17:10:04 +0000 (19:10 +0200)]
Fail loudly when someone tries to unlock a mutex owned by someone else
This fixes #19500 on gforge.
Martin Quinson [Sun, 9 Aug 2015 17:48:43 +0000 (19:48 +0200)]
rename simcall process_change_host -> process_set_host
Martin Quinson [Sun, 9 Aug 2015 10:19:38 +0000 (12:19 +0200)]
spell check the comments
Martin Quinson [Sat, 8 Aug 2015 19:18:23 +0000 (21:18 +0200)]
remove dupplicated dependency that is also given out of the if branches
Martin Quinson [Sat, 8 Aug 2015 17:14:45 +0000 (19:14 +0200)]
add some more words to ignore
Martin Quinson [Sat, 8 Aug 2015 17:14:35 +0000 (19:14 +0200)]
improve the usage message, and count the total amount of errors
Martin Quinson [Sat, 8 Aug 2015 16:54:40 +0000 (18:54 +0200)]
this comment was seriously outdated
Martin Quinson [Sat, 8 Aug 2015 16:52:17 +0000 (18:52 +0200)]
translate a comment
Martin Quinson [Fri, 7 Aug 2015 13:51:58 +0000 (15:51 +0200)]
fix make dist
Martin Quinson [Wed, 5 Aug 2015 23:38:46 +0000 (01:38 +0200)]
Cleanups in the Constant model
- Don't derive from NetworkCM02 but directly from Network
- Kill dead code: there is no link in that model
- Die if someone tries to create a link (+hint on how to fix the platform)
Martin Quinson [Wed, 5 Aug 2015 23:35:46 +0000 (01:35 +0200)]
add a platform with routing=None
and use it in the tests based on network/model=Constant.
For some reason, I had to revalidate the tesh outputs. It shouldn't be
but I fail to see where it comes from and it *seems* harmless. Hopefuly
it is...
Martin Quinson [Wed, 5 Aug 2015 22:55:24 +0000 (00:55 +0200)]
initialize some fields
Martin Quinson [Wed, 5 Aug 2015 22:54:44 +0000 (00:54 +0200)]
don't redeclare globals, use headers
Martin Quinson [Wed, 5 Aug 2015 22:52:49 +0000 (00:52 +0200)]
Reduce the amount of (protected) multiple includes
Move the #include within the multiple-inclusion protection.
Martin Quinson [Wed, 5 Aug 2015 21:48:42 +0000 (23:48 +0200)]
Update copyright notices
Only files with an existing SimGrid copyright header and that were
already changed in 2015 were modified.
Martin Quinson [Wed, 5 Aug 2015 21:37:43 +0000 (23:37 +0200)]
don't artificially add the current year to the copyright notices
Martin Quinson [Wed, 5 Aug 2015 11:01:36 +0000 (13:01 +0200)]
only proceed files with an existing SimGrid copyright header
Martin Quinson [Wed, 5 Aug 2015 08:43:13 +0000 (10:43 +0200)]
the routing 'None' must be uppercased in the XML
Martin Quinson [Sat, 1 Aug 2015 17:47:52 +0000 (19:47 +0200)]
Remove GTNetS. It was not working anyway
Gabriel Corona [Thu, 30 Jul 2015 19:42:28 +0000 (21:42 +0200)]
Fix another typo
Martin Quinson [Thu, 30 Jul 2015 17:13:19 +0000 (19:13 +0200)]
fix a typo
Gabriel Corona [Thu, 30 Jul 2015 10:08:13 +0000 (12:08 +0200)]
[mc] Ignore stdout/stderr of the umpire tests
The no-errors test are still broken.
kbaati [Thu, 30 Jul 2015 09:46:24 +0000 (11:46 +0200)]
[psg] add tutorial source
Martin Quinson [Wed, 29 Jul 2015 22:06:57 +0000 (00:06 +0200)]
activates the ISP test for model-checking
Martin Quinson [Wed, 29 Jul 2015 10:52:17 +0000 (12:52 +0200)]
[appveyor] request the image that is intended for MinGW
Martin Quinson [Wed, 29 Jul 2015 10:15:21 +0000 (12:15 +0200)]
[appveyor] give it a try when java is not blocking the path
degomme [Wed, 29 Jul 2015 09:28:22 +0000 (11:28 +0200)]
these are already defined in public simix.h or surf.h files
degomme [Wed, 29 Jul 2015 09:27:48 +0000 (11:27 +0200)]
forgotten XBT_PUBLIC
Martin Quinson [Wed, 29 Jul 2015 08:46:57 +0000 (10:46 +0200)]
disable lto for gcc 4.8 too
Martin Quinson [Tue, 28 Jul 2015 22:53:16 +0000 (00:53 +0200)]
[appveyor] show compile command lines (plus: kill dead code)
Martin Quinson [Tue, 28 Jul 2015 22:23:38 +0000 (00:23 +0200)]
pthread is not necessarily defined on windows
Martin Quinson [Tue, 28 Jul 2015 22:18:37 +0000 (00:18 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Tue, 28 Jul 2015 22:17:43 +0000 (00:17 +0200)]
Actually, pthreads are not mandatory (win32_ucontext is working)
Also, Actually test on the cmake variable that we set (fix my previous
half baken cleanup/cosmetic)
Martin Quinson [Tue, 28 Jul 2015 14:38:19 +0000 (16:38 +0200)]
[appveyor] more verbose on problems
Martin Quinson [Tue, 28 Jul 2015 14:35:06 +0000 (16:35 +0200)]
[appveyor] copy everything from the pthread libs, not only dll
Martin Quinson [Tue, 28 Jul 2015 14:31:31 +0000 (16:31 +0200)]
pthread is mandatory
Martin Quinson [Tue, 28 Jul 2015 12:53:17 +0000 (14:53 +0200)]
[windows] fix a typo in 32bits detection
Gabriel Corona [Tue, 28 Jul 2015 12:24:07 +0000 (14:24 +0200)]
[mc] Fail if we can't unprotect the stack guard
Gabriel Corona [Tue, 28 Jul 2015 12:15:03 +0000 (14:15 +0200)]
[mc] Do not attempt to make the heap writeable
We add a mprotect()-based gap after the stacks (which are created on
the heap) in order to detect stack overflows but when the stack is
destroyed, the protection is removed by making the pages (part of the
heap) RW and executable. This is not a good idea :)
Apparently, it fails on Ubuntu because of PaX restrictions on
mprotect(): the mprotect calls fails, the pages are still unreadable
and unwritable and the application segfaults when a new allocation
attemps to use it.
Martin Quinson [Tue, 28 Jul 2015 12:44:45 +0000 (14:44 +0200)]
[appveyor] dump gcc's builtins symbols
Martin Quinson [Tue, 28 Jul 2015 12:05:13 +0000 (14:05 +0200)]
[appveyor] be more verbose about what's going on
+fix stupid typo on win error reporting
Gabriel Corona [Tue, 28 Jul 2015 11:37:12 +0000 (13:37 +0200)]
[mc] Use the real override
Martin Quinson [Tue, 28 Jul 2015 11:28:28 +0000 (13:28 +0200)]
strdup is not part of ansi standards, and msys compiler honor the strict paranoid flags, so ask for gnu extensions
Martin Quinson [Tue, 28 Jul 2015 11:11:47 +0000 (13:11 +0200)]
ok, it wont work with MSVC
Martin Quinson [Tue, 28 Jul 2015 11:01:56 +0000 (13:01 +0200)]
wondering whether MinGW C headers are C++ protected :)
Martin Quinson [Tue, 28 Jul 2015 10:32:32 +0000 (12:32 +0200)]
[appveyor] install pthread directly in mingw, not in msys
Martin Quinson [Tue, 28 Jul 2015 07:54:26 +0000 (09:54 +0200)]
[appveyor] Get it working with MSYS (or almost)
Martin Quinson [Mon, 27 Jul 2015 23:42:40 +0000 (01:42 +0200)]
Fix distcheck
Martin Quinson [Mon, 27 Jul 2015 23:21:08 +0000 (01:21 +0200)]
[appveyor] configuration file
Martin Quinson [Mon, 27 Jul 2015 23:00:56 +0000 (01:00 +0200)]
let's be brutal for now
Martin Quinson [Mon, 27 Jul 2015 22:42:00 +0000 (00:42 +0200)]
Don't forbid the use of MSVC, to test AppVeyor
Martin Quinson [Mon, 27 Jul 2015 21:09:42 +0000 (23:09 +0200)]
[jenkins] try to build in-source when on windows
Martin Quinson [Mon, 27 Jul 2015 20:18:06 +0000 (22:18 +0200)]
[jenkins] ask for verbose compilations, to see what's going on on windows
Martin Quinson [Mon, 27 Jul 2015 19:31:08 +0000 (21:31 +0200)]
Merge branches 'master' and 'master' of github.com:mquinson/simgrid
Martin Quinson [Mon, 27 Jul 2015 19:07:24 +0000 (21:07 +0200)]
add the files bug-17132 to the tarball even if smpi is disabled
Martin Quinson [Mon, 27 Jul 2015 15:15:04 +0000 (17:15 +0200)]
try to fix the yaml file for travis
Gabriel Corona [Mon, 27 Jul 2015 16:33:27 +0000 (18:33 +0200)]
[jenkins] Fix optimization variable name
Gabriel Corona [Mon, 27 Jul 2015 15:42:48 +0000 (17:42 +0200)]
[jenkins] Remove debugging
kbaati [Mon, 27 Jul 2015 15:18:24 +0000 (17:18 +0200)]
* update tutorial
* fix bug: add a control on the controlStepMap size
Martin Quinson [Mon, 27 Jul 2015 15:15:04 +0000 (17:15 +0200)]
try to fix the yaml file for travis
Martin Quinson [Mon, 27 Jul 2015 15:02:08 +0000 (17:02 +0200)]
Jenkins: sh syntax error when speaking to windows
Martin Quinson [Mon, 27 Jul 2015 15:00:00 +0000 (17:00 +0200)]
jenkins fun
- Don't display the build mode before it's set
- On Windows, the command die does not exist
Gabriel Corona [Mon, 27 Jul 2015 14:50:45 +0000 (16:50 +0200)]
[jenkins] Workaround for Windows
Gabriel Corona [Mon, 27 Jul 2015 14:46:24 +0000 (16:46 +0200)]
[jenkins] Temporary test
Gabriel Corona [Mon, 27 Jul 2015 14:42:34 +0000 (16:42 +0200)]
[jenkins] Check build mode before making the archive
Gabriel Corona [Mon, 27 Jul 2015 14:13:18 +0000 (16:13 +0200)]
[jenkins] Display arguments passed to the script
Gabriel Corona [Mon, 27 Jul 2015 13:36:12 +0000 (15:36 +0200)]
[jenkins] Fix jenkins
Gabriel Corona [Mon, 27 Jul 2015 13:23:05 +0000 (15:23 +0200)]
[jenkins] ulimit -c may not be available
Gabriel Corona [Mon, 27 Jul 2015 13:19:50 +0000 (15:19 +0200)]
[jenkins] Add windows support in build.sh
Gabriel Corona [Mon, 27 Jul 2015 13:10:13 +0000 (15:10 +0200)]
[jenkins] Add makedist.sh script
Gabriel Corona [Mon, 27 Jul 2015 10:21:46 +0000 (12:21 +0200)]
Revert "[cmake] Use -std=c++0x if -std=c++11 is not available"
This reverts commit
adab702a13b6d64bd50ce0e3db7aa6a8574459d5.
Gabriel Corona [Mon, 27 Jul 2015 09:12:42 +0000 (11:12 +0200)]
[mc] Fix constness issue in MC_make_functions_index()
Some versions of libstdc++ are not so happy about it.
Gabriel Corona [Mon, 27 Jul 2015 08:54:32 +0000 (10:54 +0200)]
[cmake] Check g++ version before checking c++11 support
This way we display user friendlier error if g++ is not recent enough.
Gabriel Corona [Mon, 27 Jul 2015 08:46:20 +0000 (10:46 +0200)]
[cmake] Use -std=c++0x if -std=c++11 is not available
Gabriel Corona [Mon, 27 Jul 2015 08:34:27 +0000 (10:34 +0200)]
[mc] Remove mc_object_info.cpp
Gabriel Corona [Mon, 27 Jul 2015 08:32:07 +0000 (10:32 +0200)]
[mc] Remove useless functions
Gabriel Corona [Fri, 24 Jul 2015 12:13:05 +0000 (14:13 +0200)]
[mc] Move Frame, ModelChecker, ObjectInformation, Type, Variable in their own files
Martin Quinson [Sat, 25 Jul 2015 20:32:15 +0000 (22:32 +0200)]
Tesh: Use 0 as a default sorting prefix
I used 'output sort' to deal with events that occure in order of map
traversal, and could not devise why it was uneffective. Until I digged
deep in tesh again.
So use a sensible, unsurprising value, and change it where needed. And
update the documentation, just in case someone would read it in a
parallel dimension.
Martin Quinson [Sat, 25 Jul 2015 19:18:11 +0000 (21:18 +0200)]
Ooops, I bork a test
Martin Quinson [Sat, 25 Jul 2015 18:45:46 +0000 (20:45 +0200)]
tesh: be much more verbose when sorted output don't match
Martin Quinson [Sat, 25 Jul 2015 18:12:46 +0000 (20:12 +0200)]
get the ChangeLog and NEWS ready for a release
We still need to fix the broken tests before the release.
Martin Quinson [Sat, 25 Jul 2015 17:27:59 +0000 (19:27 +0200)]
tesh now reports if the outputs were sorted on mismatch
Martin Quinson [Sat, 25 Jul 2015 16:24:52 +0000 (18:24 +0200)]
ignore some cruft generated by scala
Martin Quinson [Sat, 25 Jul 2015 16:12:58 +0000 (18:12 +0200)]
Move some internal tools out of the way, to not scare users.
Martin Quinson [Sat, 25 Jul 2015 15:52:42 +0000 (17:52 +0200)]
typo
Martin Quinson [Sat, 25 Jul 2015 15:52:25 +0000 (17:52 +0200)]
fix the tool to spellcheck the comments
Martin Quinson [Sat, 25 Jul 2015 14:57:18 +0000 (16:57 +0200)]
move the tesh.pl with its friend
Martin Quinson [Sat, 25 Jul 2015 14:48:43 +0000 (16:48 +0200)]
reduce cmake verbosity
Martin Quinson [Sat, 25 Jul 2015 14:44:39 +0000 (16:44 +0200)]
fix the log hierarchy extraction wrt mc_main, that is not in libsimgrid
Martin Quinson [Sat, 25 Jul 2015 14:43:24 +0000 (16:43 +0200)]
Make it possible to compile the doc without javadoc (Fix #10)
Martin Quinson [Sat, 25 Jul 2015 13:52:31 +0000 (15:52 +0200)]
fix some outrageously outdated parts of the doc
Martin Quinson [Sat, 25 Jul 2015 13:23:44 +0000 (15:23 +0200)]
remove some more cruft related to gcc v4.6 (we request v4.7)
Martin Quinson [Sat, 25 Jul 2015 13:14:15 +0000 (15:14 +0200)]
disable clang on travis as boost 1.48 cannot be compiled