finish the transition netcards->netpoints in the code

netcards were renamed to netpoints recently

adapt simcall.py to recent code reorg in MC

our semaphore cannot be unlimited since GRAS is gone...

tuto improvements, and add a link to the SMPI CourseWare

further cleanup the files provided with the tuto

And update the tuto accordingly

java: kill obscure NativeException

document the new MSG example I recently added

improve a FAQ entry

sonar: these checks are just wrong in our context

Make MSG_process_yield visible from java, and test it

fix make distcheck

New example for MSG_process_yield()

new function MSG_process_yield()

Document last change

tell eclipse where to find the arch-dependent java files (on my machine)

Make these example files compile

allow java actors to kill themselves

check that suiciding a process actually works in C

I'm using openjdk-8 nowadays

This should reduce the amount of errors I get in eclipse on the JNI
files.

fix a memleak in Java VM when the used did not manually destroy VM

The C world was cleaned on a vm.destroy() and not when the GC
finalizes the Java world.

- Pb1: any java call to a destroy()ed vm could segfault
- Pb2: C world memleaked when forgetting destroy()

So now, the VM is not really destroyed when calling destroy(), but
only when all references to the object are gone. It tastes much more
Java to me that the previous version where our users had to to do the
memory management manually.

Arguably, this differs a bit more from libvirt, but I think I can live
with it.

MC: cosmetics

MC: comment, rename stuff, don't change anything profund

reduce the amount of mallocs and use space on the stack

one algo was missing from the doc

Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

Rename NetCards to NetPoints

darwin: (preliminary) memory mappings + smpi variable privatization

Fix a typo in smpirun.

remove weird blank characters

cosmetics

try to make SafetyChecker a bit easier to read

Mostly adding comments and renaming symbols, but not changing to the
logic (yet)

plug a memleak

This one is vicious and I should cleanup the VM and Host interactions.
one day.

install the tools from the packages when possible; forget about Paje

revalidate a tesh file after a fix due to please sonar

+ remove yet another annoying sonar warning (on the exact line that I
  fixed in the previous run: the second task was never run in Java)

please sonar, even if it is really pesky sometimes

make sure that the HostStateChange event is fired when needed

implement the DVFS functions in Java

If you don't start the processes, the VM are actually empty, bummer

fix the build with older g++

Let's not use this Java-like syntax here

Make SIMIX_process_from_PID much faster

It was a linear search in a swag, that's now using a std::map that are
usually implemented with Red/Black trees.

This patch is more complex that it should because currently, the
model-checker needs to read the list of processes from the remote
process. We cannot do that from a std::map because it would require to
understand the private implementation of the std::map, which is
system/compiler dependent.

Instead, in MC mode, we copy the whole list of processes from the map
into a dynar that is easier to read remotely. This hack should
obviously not remain as is.

Instead, we should make sure that the MCer does not need to have the
whole list of processes (even if it could read one or two given
processes on need). It seems that this list is mainly used for the
computation of the list of enabled transitions. A promising idea is to
move that computation to the MCed that has all needed information. The
precomputed data could be made available to the MCer that would only
have to read the result, which constitutes much less info to read
remotely.

clang-format broke my commit

continue to split the source code of MC. Split remoting

cosmetics

inline some functions to make livenessChecker more streamlined

cosmetics

further cleanups to the SafetyChecker

MC: use exceptions to report errors, not integer return types

That's C++, after all

move the checker algorithms to their own directory

cosmetics to make the SafetyChecker even easier to read

remove a now unused parameter

add the properties as argument to NetZoneImpl->createHost

This allows to incorporate the onHostCreation to that function instead
of having each host creator specifying that they just created an host

This was mandatory because the plugin energy needs the properties to
be setup when the signal is called.

properly set the bindir for these tests too

make the propaganda useful (and thus desirable) to the users

In smpiff/smpif90 program, make -o consume the next argument.

Else, when used for example in preprocessor mode, the output
file, name something.f would be interpreted as an input file
by the argument parsing loop.

Really remove (commented) alternative method of resolve_member()

Sanitize the rest of dwarf operation regarding stack popping.

In all those cases, the order of pop() was not an issue since
the operations were commutatives, but those could give bad
ideas for other cases.

Comment not working code in resolve_member() (before permanent removal?)

Fix an undefined C behavior.

This will fix the minus operation on certain OS/compilers.

more propaganda

try to use a rpath for everything on Apple

a word of data provenance for g5k.xml

I hope I understood how to use RPATH on Mac OSX

fix a bug detected by mac (leading to segfault) but not others

Let our examples compile with java 1.6, or almost

bummer

try to fix the jarfiles on Mac OSX

It works without this on jenkins because the library still exists at
the location where it was built, so it's OK when we cannot unpack it
from the jarfile.

cosmetics

useless cosmetics

allow more time to run that test (travis/mac needs it)

appveyor: try without perl

smx processes are now called actors, avoiding confusions in MC

the process->actor renaming comes from S4U, but this is really welcome
in the model checker, as Process is also the proxy of the MCed on the
MCer side.

ignorable cosmetics

Initialize a field in the constructor (+cosmetics)

cosmetics

turn a factory function into the constructor

do the initialization in the constructor

please sonar by removing useless asignments and return statements

kill an unused static function

if reductionMode_ is dpor, then it's not none. True fact

cosmetics

refresh a documentation chapter

AS are called netzones, now

remove an unused parameter + cosmetics

remove the s_sg_platf_router_cbarg_t structure

This is one of the many structures provided by the sg_platf interface,
that I want to replace with the s4u interface.

remove a useless pimple

Clusters take care by themselves to register their router in their router_ field

fix our css by copying back things that used to work

todo--

generate valid files

fix gcc 6.2 builds

It was failing with the error: type 'struct yy_buffer_state'
violates the C++ One Definition Rule.  A different type is defined in
another translation unit.

This comes from the fact that I rebuilt one of the flex parser with a
new version of flex. Rebuilding all of them is difficult because they
are somehow manually edited to make the C compile with g++.
Dirty, dirty :(

fix glitches to the NS3 doc

ignore the lat parameter of peer tag

- It was redundent with the z coordinate of the peer.
- This changes the timings of the examples using the Vivaldi routing
- Also update and improve the documentation.
- doxygen don't quite like links to sections which names contain a
  html-like tag (as <peer>) and produce weird error messages in this case.
  Not much I can do here...

In <peer>, make the latency parameter non-mandatory

This parameter is redundent with the z coordinate and should be removed.

rewrite the NS3/SimGrid doc

update the licensing info after the answer from Bronis de Supinski

Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

try to adapt linking to new NS3 compiled versions

Remove an easy FIXME

next release will be 3.15

document the latest release in date