Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
4 years agoFix distcheck
Martin Quinson [Mon, 27 Jul 2015 23:42:40 +0000 (01:42 +0200)]
Fix distcheck

4 years ago[appveyor] configuration file
Martin Quinson [Mon, 27 Jul 2015 23:21:08 +0000 (01:21 +0200)]
[appveyor] configuration file

4 years agolet's be brutal for now
Martin Quinson [Mon, 27 Jul 2015 23:00:56 +0000 (01:00 +0200)]
let's be brutal for now

4 years agoDon't forbid the use of MSVC, to test AppVeyor
Martin Quinson [Mon, 27 Jul 2015 22:42:00 +0000 (00:42 +0200)]
Don't forbid the use of MSVC, to test AppVeyor

4 years ago[jenkins] try to build in-source when on windows
Martin Quinson [Mon, 27 Jul 2015 21:09:42 +0000 (23:09 +0200)]
[jenkins] try to build in-source when on windows

4 years ago[jenkins] ask for verbose compilations, to see what's going on 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

4 years agoMerge branches 'master' and 'master' of github.com:mquinson/simgrid
Martin Quinson [Mon, 27 Jul 2015 19:31:08 +0000 (21:31 +0200)]
Merge branches 'master' and 'master' of github.com:mquinson/simgrid

4 years agoadd the files bug-17132 to the tarball even if smpi is disabled
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

4 years agotry to fix the yaml file for travis
Martin Quinson [Mon, 27 Jul 2015 15:15:04 +0000 (17:15 +0200)]
try to fix the yaml file for travis

4 years ago[jenkins] Fix optimization variable name
Gabriel Corona [Mon, 27 Jul 2015 16:33:27 +0000 (18:33 +0200)]
[jenkins] Fix optimization variable name

4 years ago[jenkins] Remove debugging
Gabriel Corona [Mon, 27 Jul 2015 15:42:48 +0000 (17:42 +0200)]
[jenkins] Remove debugging

4 years ago* update tutorial
kbaati [Mon, 27 Jul 2015 15:18:24 +0000 (17:18 +0200)]
* update tutorial
* fix bug: add a control on the controlStepMap size

4 years agotry to fix the yaml file for travis
Martin Quinson [Mon, 27 Jul 2015 15:15:04 +0000 (17:15 +0200)]
try to fix the yaml file for travis

4 years agoJenkins: sh syntax error when speaking to windows
Martin Quinson [Mon, 27 Jul 2015 15:02:08 +0000 (17:02 +0200)]
Jenkins: sh syntax error when speaking to windows

4 years agojenkins fun
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

4 years ago[jenkins] Workaround for Windows
Gabriel Corona [Mon, 27 Jul 2015 14:50:45 +0000 (16:50 +0200)]
[jenkins] Workaround for Windows

4 years ago[jenkins] Temporary test
Gabriel Corona [Mon, 27 Jul 2015 14:46:24 +0000 (16:46 +0200)]
[jenkins] Temporary test

4 years ago[jenkins] Check build mode before making the archive
Gabriel Corona [Mon, 27 Jul 2015 14:42:34 +0000 (16:42 +0200)]
[jenkins] Check build mode before making the archive

4 years ago[jenkins] Display arguments passed to the script
Gabriel Corona [Mon, 27 Jul 2015 14:13:18 +0000 (16:13 +0200)]
[jenkins] Display arguments passed to the script

4 years ago[jenkins] Fix jenkins
Gabriel Corona [Mon, 27 Jul 2015 13:36:12 +0000 (15:36 +0200)]
[jenkins] Fix jenkins

4 years ago[jenkins] ulimit -c may not be available
Gabriel Corona [Mon, 27 Jul 2015 13:23:05 +0000 (15:23 +0200)]
[jenkins] ulimit -c may not be available

4 years ago[jenkins] Add windows support in build.sh
Gabriel Corona [Mon, 27 Jul 2015 13:19:50 +0000 (15:19 +0200)]
[jenkins] Add windows support in build.sh

4 years ago[jenkins] Add makedist.sh script
Gabriel Corona [Mon, 27 Jul 2015 13:10:13 +0000 (15:10 +0200)]
[jenkins] Add makedist.sh script

4 years agoRevert "[cmake] Use -std=c++0x if -std=c++11 is not available"
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.

4 years ago[mc] Fix constness issue in MC_make_functions_index()
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.

4 years ago[cmake] Check g++ version before checking c++11 support
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.

4 years ago[cmake] Use -std=c++0x if -std=c++11 is not available
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

4 years ago[mc] Remove mc_object_info.cpp
Gabriel Corona [Mon, 27 Jul 2015 08:34:27 +0000 (10:34 +0200)]
[mc] Remove mc_object_info.cpp

4 years ago[mc] Remove useless functions
Gabriel Corona [Mon, 27 Jul 2015 08:32:07 +0000 (10:32 +0200)]
[mc] Remove useless functions

4 years ago[mc] Move Frame, ModelChecker, ObjectInformation, Type, Variable in their own files
Gabriel Corona [Fri, 24 Jul 2015 12:13:05 +0000 (14:13 +0200)]
[mc] Move Frame, ModelChecker, ObjectInformation, Type, Variable in their own files

4 years agoTesh: Use 0 as a default sorting prefix
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.

4 years agoOoops, I bork a test
Martin Quinson [Sat, 25 Jul 2015 19:18:11 +0000 (21:18 +0200)]
Ooops, I bork a test

4 years agotesh: be much more verbose when sorted output don't match
Martin Quinson [Sat, 25 Jul 2015 18:45:46 +0000 (20:45 +0200)]
tesh: be much more verbose when sorted output don't match

4 years agoget the ChangeLog and NEWS ready for a release
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.

4 years agotesh now reports if the outputs were sorted on mismatch
Martin Quinson [Sat, 25 Jul 2015 17:27:59 +0000 (19:27 +0200)]
tesh now reports if the outputs were sorted on mismatch

4 years agoignore some cruft generated by scala
Martin Quinson [Sat, 25 Jul 2015 16:24:52 +0000 (18:24 +0200)]
ignore some cruft generated by scala

4 years agoMove some internal tools out of the way, to not scare users.
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.

4 years agotypo
Martin Quinson [Sat, 25 Jul 2015 15:52:42 +0000 (17:52 +0200)]
typo

4 years agofix the tool to spellcheck the comments
Martin Quinson [Sat, 25 Jul 2015 15:52:25 +0000 (17:52 +0200)]
fix the tool to spellcheck the comments

4 years agomove the tesh.pl with its friend
Martin Quinson [Sat, 25 Jul 2015 14:57:18 +0000 (16:57 +0200)]
move the tesh.pl with its friend

4 years agoreduce cmake verbosity
Martin Quinson [Sat, 25 Jul 2015 14:48:43 +0000 (16:48 +0200)]
reduce cmake verbosity

4 years agofix the log hierarchy extraction wrt mc_main, that is not in libsimgrid
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

4 years agoMake it possible to compile the doc without javadoc (Fix #10)
Martin Quinson [Sat, 25 Jul 2015 14:43:24 +0000 (16:43 +0200)]
Make it possible to compile the doc without javadoc (Fix #10)

4 years agofix some outrageously outdated parts of the doc
Martin Quinson [Sat, 25 Jul 2015 13:52:31 +0000 (15:52 +0200)]
fix some outrageously outdated parts of the doc

4 years agoremove some more cruft related to gcc v4.6 (we request v4.7)
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)

4 years agodisable clang on travis as boost 1.48 cannot be compiled
Martin Quinson [Sat, 25 Jul 2015 13:14:15 +0000 (15:14 +0200)]
disable clang on travis as boost 1.48 cannot be compiled

4 years agodisable NS3 on travis as its old version leads to bad timings
Martin Quinson [Sat, 25 Jul 2015 13:02:48 +0000 (15:02 +0200)]
disable NS3 on travis as its old version leads to bad timings

4 years agoRevert "please cmake, could you tell us your compiler arguments?"
Martin Quinson [Sat, 25 Jul 2015 12:47:02 +0000 (14:47 +0200)]
Revert "please cmake, could you tell us your compiler arguments?"

This reverts commit c8f356157e99a791a71bd6408f9d73423c0dab74.

4 years agoget it to compile on clang on my machine
Martin Quinson [Sat, 25 Jul 2015 12:44:06 +0000 (14:44 +0200)]
get it to compile on clang on my machine

4 years agoNS3 libraries were not versionned on Ubuntu Precise
Martin Quinson [Sat, 25 Jul 2015 12:17:01 +0000 (14:17 +0200)]
NS3 libraries were not versionned on Ubuntu Precise

4 years agofurther cleanups of NS3 detection
Martin Quinson [Sat, 25 Jul 2015 12:04:30 +0000 (14:04 +0200)]
further cleanups of NS3 detection

4 years agoreduce the verbosity of a CMake warning
Martin Quinson [Sat, 25 Jul 2015 11:52:55 +0000 (13:52 +0200)]
reduce the verbosity of a CMake warning

4 years agofurther cleanups of the NS3 detection (it breaks on travis)
Martin Quinson [Sat, 25 Jul 2015 11:45:26 +0000 (13:45 +0200)]
further cleanups of the NS3 detection (it breaks on travis)

4 years agonote that we do need Boost 1.48
Martin Quinson [Sat, 25 Jul 2015 11:14:08 +0000 (13:14 +0200)]
note that we do need Boost 1.48

4 years agoUse boost 1.48 on travis as 1.46.1 is not enough for us
Martin Quinson [Sat, 25 Jul 2015 11:08:57 +0000 (13:08 +0200)]
Use boost 1.48 on travis as 1.46.1 is not enough for us

4 years agoGet g++-4.7 from a PPA on travis.
Martin Quinson [Sat, 25 Jul 2015 10:30:02 +0000 (12:30 +0200)]
Get g++-4.7 from a PPA on travis.

4 years agoRemove borland-compiler related cruft
Martin Quinson [Sat, 25 Jul 2015 10:26:05 +0000 (12:26 +0200)]
Remove borland-compiler related cruft

- there is no way that simgrid still compiles with that compiler
- I'm not even sure that this tool still exists :)

4 years agoRevert "Fix non-MC builds"
Martin Quinson [Sat, 25 Jul 2015 10:17:54 +0000 (12:17 +0200)]
Revert "Fix non-MC builds"

This reverts commit 43f5aa483faaf237121a30a49e59ce74e42e1acc.

Gabriel's fix is much better...

4 years agotry to get Clang happy with our C/C++ bindings
Martin Quinson [Sat, 25 Jul 2015 10:09:44 +0000 (12:09 +0200)]
try to get Clang happy with our C/C++ bindings

4 years ago[mc] Fix missing #include in non MC
Gabriel Corona [Sat, 25 Jul 2015 10:03:38 +0000 (12:03 +0200)]
[mc] Fix missing #include in non MC

4 years agoFix non-MC builds
Martin Quinson [Sat, 25 Jul 2015 09:37:33 +0000 (11:37 +0200)]
Fix non-MC builds

My implmentation of random for non-MC may be seen as a very partial :)
But I'm affraid of breaking some tesh out there with a real random.

4 years agoCMake cleanups: move the C/C++ std detection to the right place; add doc
Martin Quinson [Sat, 25 Jul 2015 09:28:16 +0000 (11:28 +0200)]
CMake cleanups: move the C/C++ std detection to the right place; add doc

4 years agowe need std=gnu11 in C too (was std=gnu99)
Martin Quinson [Sat, 25 Jul 2015 09:14:40 +0000 (11:14 +0200)]
we need std=gnu11 in C too (was std=gnu99)

4 years ago[mc] Move MC_random is mc_base.cpp
Gabriel Corona [Sat, 25 Jul 2015 09:02:26 +0000 (11:02 +0200)]
[mc] Move MC_random is mc_base.cpp

4 years agoDisable a XBT_LOG_CONNECT (this one is not in libsimgrid)
Gabriel Corona [Sat, 25 Jul 2015 08:46:49 +0000 (10:46 +0200)]
Disable a XBT_LOG_CONNECT (this one is not in libsimgrid)

4 years agos/smx_host/host/ because of API change
Gabriel Corona [Sat, 25 Jul 2015 08:45:42 +0000 (10:45 +0200)]
s/smx_host/host/ because of API change

4 years agoRevert "Revert "[mc] Move MC_random() in mc_client_api.cpp""
Martin Quinson [Fri, 24 Jul 2015 18:23:20 +0000 (20:23 +0200)]
Revert "Revert "[mc] Move MC_random() in mc_client_api.cpp""

This reverts commit 00c3794fcf27d9c7733b5f0c1624a3120b35a72f.

4 years agoplease cmake, could you tell us your compiler arguments?
Martin Quinson [Sat, 25 Jul 2015 08:50:42 +0000 (10:50 +0200)]
please cmake, could you tell us your compiler arguments?

4 years agoproper check for the -std=gnu++11 standard, and take in on clang too
Martin Quinson [Sat, 25 Jul 2015 08:40:43 +0000 (10:40 +0200)]
proper check for the -std=gnu++11 standard, and take in on clang too

Kill some old code pretending that we support Visual C or Borland
compilers.

4 years agofix the make distcheck. Again.
Martin Quinson [Sat, 25 Jul 2015 00:50:01 +0000 (02:50 +0200)]
fix the make distcheck. Again.

4 years agoRequire g++ v4.7 at least to not speak prehistorical C++
Martin Quinson [Fri, 24 Jul 2015 23:11:05 +0000 (01:11 +0200)]
Require g++ v4.7 at least to not speak prehistorical C++

(also: don't install doxygen as we don't build the doc)

4 years agokill the C version of tesh (now unused). RIP :(
Martin Quinson [Fri, 24 Jul 2015 22:51:16 +0000 (00:51 +0200)]
kill the C version of tesh (now unused). RIP :(

4 years agoignore another generated file
Martin Quinson [Fri, 24 Jul 2015 22:37:46 +0000 (00:37 +0200)]
ignore another generated file

4 years agosearch separately for required boost and optional boost-context
Martin Quinson [Fri, 24 Jul 2015 21:59:11 +0000 (23:59 +0200)]
search separately for required boost and optional boost-context

4 years agolibboost-context-dev is not in oldstable, so don't request it on travis
Martin Quinson [Fri, 24 Jul 2015 21:42:27 +0000 (23:42 +0200)]
libboost-context-dev is not in oldstable, so don't request it on travis

4 years agoTry to fix the travis file
Martin Quinson [Fri, 24 Jul 2015 21:32:34 +0000 (23:32 +0200)]
Try to fix the travis file

- Remove some dependencies that I think I killed: transfig ghostscript texlive-font-utils
- Add -Denable_ns3 so that it gets searched
- Add an EOL at EOF

4 years agomore explicit error message when some boost library were not detected
Martin Quinson [Fri, 24 Jul 2015 21:30:57 +0000 (23:30 +0200)]
more explicit error message when some boost library were not detected

4 years agovarious fixups to the surf documentation
Martin Quinson [Fri, 24 Jul 2015 20:28:59 +0000 (22:28 +0200)]
various fixups to the surf documentation

Much more would be needed, as usual :-(

4 years agoI renamed that option recently
Martin Quinson [Fri, 24 Jul 2015 19:26:12 +0000 (21:26 +0200)]
I renamed that option recently

4 years agotry to get NS3 working on travis
Martin Quinson [Fri, 24 Jul 2015 18:37:03 +0000 (20:37 +0200)]
try to get NS3 working on travis

4 years agofix a tesh because of the recent file moving around storage
Martin Quinson [Fri, 24 Jul 2015 18:36:51 +0000 (20:36 +0200)]
fix a tesh because of the recent file moving around storage

4 years agoRevert "[mc] Move MC_random() in mc_client_api.cpp"
Martin Quinson [Fri, 24 Jul 2015 18:23:20 +0000 (20:23 +0200)]
Revert "[mc] Move MC_random() in mc_client_api.cpp"

This reverts commit 52fd4a51d500956bc7103d0f778b765bcdef2948.
It breaks the non-MC builds.

Conflicts:
src/mc/mc_client_api.cpp

4 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Fri, 24 Jul 2015 14:26:33 +0000 (16:26 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

4 years agoNEWS: fix typo and indentation
Gabriel Corona [Fri, 24 Jul 2015 14:21:52 +0000 (16:21 +0200)]
NEWS: fix typo and indentation

4 years agofix the distcheck target
Martin Quinson [Fri, 24 Jul 2015 13:23:14 +0000 (15:23 +0200)]
fix the distcheck target

4 years ago[mc] Cleanup
Gabriel Corona [Fri, 24 Jul 2015 11:35:26 +0000 (13:35 +0200)]
[mc] Cleanup

4 years ago[mc] Do not #define __has_feature
Gabriel Corona [Fri, 24 Jul 2015 11:23:28 +0000 (13:23 +0200)]
[mc] Do not #define __has_feature

4 years ago[mc] Cleanup mc_client_api.cpp
Gabriel Corona [Fri, 24 Jul 2015 11:14:25 +0000 (13:14 +0200)]
[mc] Cleanup mc_client_api.cpp

4 years ago[mc] Move MC_random() in mc_client_api.cpp
Gabriel Corona [Fri, 24 Jul 2015 11:09:09 +0000 (13:09 +0200)]
[mc] Move MC_random() in mc_client_api.cpp

4 years agomake the SIMGRID_VERSION_STRING easier to parse in subprojects
Martin Quinson [Thu, 23 Jul 2015 16:12:23 +0000 (18:12 +0200)]
make the SIMGRID_VERSION_STRING easier to parse in subprojects

4 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr/gitroot/simgrid/simgrid
kbaati [Fri, 24 Jul 2015 12:59:00 +0000 (14:59 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr/gitroot/simgrid/simgrid
update PerSimGrid in contrib/

4 years ago[psg] update: Makefile, run.sh,test.sh
kbaati [Fri, 24 Jul 2015 12:57:23 +0000 (14:57 +0200)]
[psg] update: Makefile, run.sh,test.sh

4 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid into tomerge
Martin Quinson [Fri, 24 Jul 2015 12:53:09 +0000 (14:53 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid into tomerge

Conflicts:
buildtools/Cmake/DefinePackages.cmake

4 years ago[mc] Do not trigger errors in MC_automaton_new_propositional_symbol() when MC is...
Gabriel Corona [Fri, 24 Jul 2015 11:05:15 +0000 (13:05 +0200)]
[mc] Do not trigger errors in MC_automaton_new_propositional_symbol() when MC is disabled

4 years ago[mc] Move the proposition declaration functions in mc_client_api.cpp
Gabriel Corona [Fri, 24 Jul 2015 11:01:21 +0000 (13:01 +0200)]
[mc] Move the proposition declaration functions in mc_client_api.cpp

4 years ago[mc] Cleanup/simplify liveness property automaton registration code
Gabriel Corona [Fri, 24 Jul 2015 10:55:35 +0000 (12:55 +0200)]
[mc] Cleanup/simplify liveness property automaton registration code

There were remants of the standalone mode.

4 years ago[mc] Remove MC_automaton_new_propositional_symbol_callback()
Gabriel Corona [Fri, 24 Jul 2015 10:28:04 +0000 (12:28 +0200)]
[mc] Remove MC_automaton_new_propositional_symbol_callback()

It was defined in the simulated-process API and but it could not be
used in this context: it was to be called in the model-checker
process.

Removed a lot of boilerplate callback management stuff: replaced with
C++-style code (passing lambdas/functors).

4 years ago[mc] Add some doc to the simulated-application-side API
Gabriel Corona [Fri, 24 Jul 2015 09:52:20 +0000 (11:52 +0200)]
[mc] Add some doc to the simulated-application-side API

4 years agopeersimgrid release 1.0
kbaati [Fri, 24 Jul 2015 10:24:03 +0000 (12:24 +0200)]
peersimgrid release 1.0

4 years ago[mc] Do not allow to xbt_new things with (non-trivial) constructors
Gabriel Corona [Fri, 24 Jul 2015 09:29:01 +0000 (11:29 +0200)]
[mc] Do not allow to xbt_new things with (non-trivial) constructors