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
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
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.
Martin Quinson [Sat, 25 Jul 2015 12:44:06 +0000 (14:44 +0200)]
get it to compile on clang on my machine
Martin Quinson [Sat, 25 Jul 2015 12:17:01 +0000 (14:17 +0200)]
NS3 libraries were not versionned on Ubuntu Precise
Martin Quinson [Sat, 25 Jul 2015 12:04:30 +0000 (14:04 +0200)]
further cleanups of NS3 detection
Martin Quinson [Sat, 25 Jul 2015 11:52:55 +0000 (13:52 +0200)]
reduce the verbosity of a CMake warning
Martin Quinson [Sat, 25 Jul 2015 11:45:26 +0000 (13:45 +0200)]
further cleanups of the NS3 detection (it breaks on travis)
Martin Quinson [Sat, 25 Jul 2015 11:14:08 +0000 (13:14 +0200)]
note that we do need Boost 1.48
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
Martin Quinson [Sat, 25 Jul 2015 10:30:02 +0000 (12:30 +0200)]
Get g++-4.7 from a PPA on travis.
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 :)
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...
Martin Quinson [Sat, 25 Jul 2015 10:09:44 +0000 (12:09 +0200)]
try to get Clang happy with our C/C++ bindings
Gabriel Corona [Sat, 25 Jul 2015 10:03:38 +0000 (12:03 +0200)]
[mc] Fix missing #include in non MC
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.
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
Martin Quinson [Sat, 25 Jul 2015 09:14:40 +0000 (11:14 +0200)]
we need std=gnu11 in C too (was std=gnu99)
Gabriel Corona [Sat, 25 Jul 2015 09:02:26 +0000 (11:02 +0200)]
[mc] Move MC_random is mc_base.cpp
Gabriel Corona [Sat, 25 Jul 2015 08:46:49 +0000 (10:46 +0200)]
Disable a XBT_LOG_CONNECT (this one is not in libsimgrid)
Gabriel Corona [Sat, 25 Jul 2015 08:45:42 +0000 (10:45 +0200)]
s/smx_host/host/ because of API change
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.
Martin Quinson [Sat, 25 Jul 2015 08:50:42 +0000 (10:50 +0200)]
please cmake, could you tell us your compiler arguments?
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.
Martin Quinson [Sat, 25 Jul 2015 00:50:01 +0000 (02:50 +0200)]
fix the make distcheck. Again.
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)
Martin Quinson [Fri, 24 Jul 2015 22:51:16 +0000 (00:51 +0200)]
kill the C version of tesh (now unused). RIP :(
Martin Quinson [Fri, 24 Jul 2015 22:37:46 +0000 (00:37 +0200)]
ignore another generated file
Martin Quinson [Fri, 24 Jul 2015 21:59:11 +0000 (23:59 +0200)]
search separately for required boost and optional boost-context
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
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
Martin Quinson [Fri, 24 Jul 2015 21:30:57 +0000 (23:30 +0200)]
more explicit error message when some boost library were not detected
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 :-(
Martin Quinson [Fri, 24 Jul 2015 19:26:12 +0000 (21:26 +0200)]
I renamed that option recently
Martin Quinson [Fri, 24 Jul 2015 18:37:03 +0000 (20:37 +0200)]
try to get NS3 working on travis
Martin Quinson [Fri, 24 Jul 2015 18:36:51 +0000 (20:36 +0200)]
fix a tesh because of the recent file moving around storage
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
Martin Quinson [Fri, 24 Jul 2015 14:26:33 +0000 (16:26 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Gabriel Corona [Fri, 24 Jul 2015 14:21:52 +0000 (16:21 +0200)]
NEWS: fix typo and indentation
Martin Quinson [Fri, 24 Jul 2015 13:23:14 +0000 (15:23 +0200)]
fix the distcheck target
Gabriel Corona [Fri, 24 Jul 2015 11:35:26 +0000 (13:35 +0200)]
[mc] Cleanup
Gabriel Corona [Fri, 24 Jul 2015 11:23:28 +0000 (13:23 +0200)]
[mc] Do not #define __has_feature
Gabriel Corona [Fri, 24 Jul 2015 11:14:25 +0000 (13:14 +0200)]
[mc] Cleanup 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
Martin Quinson [Thu, 23 Jul 2015 16:12:23 +0000 (18:12 +0200)]
make the SIMGRID_VERSION_STRING easier to parse in subprojects
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/
kbaati [Fri, 24 Jul 2015 12:57:23 +0000 (14:57 +0200)]
[psg] update: Makefile, run.sh,test.sh
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
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
Gabriel Corona [Fri, 24 Jul 2015 11:01:21 +0000 (13:01 +0200)]
[mc] Move the proposition declaration functions in mc_client_api.cpp
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.
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).
Gabriel Corona [Fri, 24 Jul 2015 09:52:20 +0000 (11:52 +0200)]
[mc] Add some doc to the simulated-application-side API
kbaati [Fri, 24 Jul 2015 10:24:03 +0000 (12:24 +0200)]
peersimgrid release 1.0
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
Gabriel Corona [Fri, 24 Jul 2015 07:48:00 +0000 (09:48 +0200)]
[mc] Remove HTML in a comment (this is ugly)
Gabriel Corona [Fri, 24 Jul 2015 07:47:11 +0000 (09:47 +0200)]
[mc] Comment the binary search in ObjectInformation::find_function()
Gabriel Corona [Thu, 23 Jul 2015 14:20:20 +0000 (16:20 +0200)]
[mc] Fix out of range error in the binary search implementation
Gabriel Corona [Thu, 23 Jul 2015 12:44:19 +0000 (14:44 +0200)]
[mc] Fix: can't build a std::string with nullptr
Gabriel Corona [Thu, 23 Jul 2015 12:26:42 +0000 (14:26 +0200)]
[mc] Give a real override if we know it's available
Gabriel Corona [Thu, 23 Jul 2015 11:05:18 +0000 (13:05 +0200)]
[mc] Remove a lot of typedefs and typedef usage
Do not hide the real type of things behind typedefs. Some typedefs are
still there because they are used by C code.
Gabriel Corona [Thu, 23 Jul 2015 11:03:15 +0000 (13:03 +0200)]
[mc] Remove remainings of an old type
Gabriel Corona [Thu, 23 Jul 2015 09:52:33 +0000 (11:52 +0200)]
[mc] Simplify lookup of maps
Martin Quinson [Tue, 21 Jul 2015 23:17:46 +0000 (01:17 +0200)]
Simplify the process_execute simcall
Don't pass the host on which it has to run, as everybody pass
SIMIX_process_self(). Get the inner layers guess that themselves.
(also move a bunch of simcalls in the definition file. Sorry for the
noise)
Martin Quinson [Tue, 21 Jul 2015 22:53:17 +0000 (00:53 +0200)]
massive rename of simcalls: execution is related to a process, not to an host
Martin Quinson [Tue, 21 Jul 2015 22:32:24 +0000 (00:32 +0200)]
make simix more resilient to PEBKAC
Martin Quinson [Tue, 21 Jul 2015 20:37:53 +0000 (22:37 +0200)]
New function: simcall_process_get_kill_time()
Martin Quinson [Tue, 21 Jul 2015 20:36:28 +0000 (22:36 +0200)]
cosmetics in debug messages
Christian Heinrich [Tue, 21 Jul 2015 14:06:01 +0000 (16:06 +0200)]
[Doc] Minor changes to introduction.doc
Christian Heinrich [Tue, 21 Jul 2015 13:42:08 +0000 (15:42 +0200)]
[Platforms] Created folder 'storage' for storage specific platforms
Christian Heinrich [Tue, 21 Jul 2015 13:24:04 +0000 (15:24 +0200)]
[Platforms] Added missing attribute in storage.xml
Christian Heinrich [Tue, 21 Jul 2015 13:19:45 +0000 (15:19 +0200)]
[Platforms] Fixed indentation of storage.xml
Gabriel Corona [Tue, 21 Jul 2015 13:48:30 +0000 (15:48 +0200)]
[mc] Remove useless/unused stuff
Gabriel Corona [Tue, 21 Jul 2015 13:43:24 +0000 (15:43 +0200)]
[mc] Remove MC_post_process_functions()
Martin Quinson [Tue, 21 Jul 2015 12:50:27 +0000 (14:50 +0200)]
sanitize the process_create simcall
It was receiving a pointer to its result as first parameter, and it
now simply returns that result.
It could be further improved by returning a smx_process_t instead of a
void*, but our simcall mechanism does not seem to allow to cast results.
Gabriel Corona [Tue, 21 Jul 2015 13:02:00 +0000 (15:02 +0200)]
[mc] Remove MC_dwarf_register_variable()
Gabriel Corona [Tue, 21 Jul 2015 12:07:20 +0000 (14:07 +0200)]
[mc] Avoid the O(n^2) incremental construction of sorted arrays of variables
This is espacially slow now that the array contains the Variable
instead of the Variable*. Create it without order and sort if in O(n
log n) afterwards.
Gabriel Corona [Tue, 21 Jul 2015 11:11:56 +0000 (13:11 +0200)]
[mc] Add comments on ObjectInformation
Gabriel Corona [Tue, 21 Jul 2015 10:09:19 +0000 (12:09 +0200)]
[mc] Make ObjectInformation::function_index a std::vector
and while we're at it remove high_pc from the FunctionIndexEntry which
is not so useful.
Gabriel Corona [Tue, 21 Jul 2015 07:54:38 +0000 (09:54 +0200)]
[mc] Make ObjectInformation::file_names a std::string
Gabriel Corona [Mon, 20 Jul 2015 14:38:36 +0000 (16:38 +0200)]
[mc] Make Process::subprograms a std::unordered_map
Gabriel Corona [Mon, 20 Jul 2015 14:18:48 +0000 (16:18 +0200)]
[mc] Make type_is an integer instead of a string and use std:: containers
Gabriel Corona [Mon, 20 Jul 2015 13:42:47 +0000 (15:42 +0200)]
[mc] Move ObjectInformation methods in mc_object_info.cpp
Gabriel Corona [Mon, 20 Jul 2015 13:11:52 +0000 (15:11 +0200)]
[mc] Move some declarations in mc_object_info.h
Gabriel Corona [Mon, 20 Jul 2015 12:18:28 +0000 (14:18 +0200)]
[mc] Make Frame::variables, Frame::scopes and ObjectInformation::global_variables std::vectors
Gabriel Corona [Mon, 20 Jul 2015 11:46:30 +0000 (13:46 +0200)]
[mc] C++ location lists and expressions
Gabriel Corona [Mon, 20 Jul 2015 10:56:42 +0000 (12:56 +0200)]
[mc] C++ify Frame
Gabriel Corona [Mon, 20 Jul 2015 09:47:54 +0000 (11:47 +0200)]
[mc] C++ify Variable
Gabriel Corona [Mon, 20 Jul 2015 09:32:24 +0000 (11:32 +0200)]
[mc] OOPify/C++ify Type (cont)
Make members a std::vector.
Gabriel Corona [Mon, 20 Jul 2015 09:14:41 +0000 (11:14 +0200)]
[mc] OOPify/C++ify Type (cont)
Make location expression a std::vector.