[Lua] Fixed garbage collection segfault

[Lua] Fixed integer/double conversion problem

  - This bug would change integers to doubles when lua was used
    to actually run the simulation

[Lua5.3] Changed lua_tonumber to lua_tointeger where necessary

[Lua5.3] Added logging functions error and critical

[Lua5.3] Updated bittorent/peer.lua to Lua5.3

[Lua5.3] Updated lua_task.c to Lua5.3

[Lua5.3] Updated lua_state_cloner.c for Lua5.3

- In Lua5.3, there is no setfenv() any more; it's considered unclean

[Lua5.3] Added and modified comments in lua_task.c

[Lua5.3] Added checks for sane values in lua_platf.c

[Bugfix] Fixed wrong property in SimSplay test: latency<->lat

[Lua5.3] Updated lua/bittorent test to reflect changes

Lua: Changed latency attribute to lat and others.

- For instance, state_trace is now called state_file, latency_trace = latency_file etc.

Lua: Changed names for attribute 'policy' to 'sharing_policy'

Added new case to lua_state_cloner.c: LUA_TNONE

- This should be called if the top value does not exist.

Second series of changes to lua-bindings in order to be capable of running Lua 5.3

* Updated lua_*.c files to support again the simgrid.*.* syntax, like
  simgrid.host.at(i) -- this was broken before.

Fixed lua_host file for Lua 5.3

First series of changes to lua-bindings in order to
be capable of running Lua 5.3

Added dependency to 'libdl' to Lua.

This is not always necessary, but when building the Lua sources
from scratch, I had to use this flag.

Updated FindLua51Simgrid.cmake to be able to locate Lua 5.0/5.1/5.2/5.3

This is achieved by a new .cmake file, found in the official cmake repositories.
Link: http://www.cmake.org/gitweb?p=cmake.git;a=blob_plain;f=Modules/FindLua.cmake;h=31fe54c46f7e7028e802a7395e997ea003680da5;hb=89cfa2005207ae9423d7a200cd22ed62ff733161

LUA: Added new (converted) platform file and started teshsuite

- Not sure whether we will move these tests to the msg testsuite,
  as those tests are (at the moment) only MSG tests with a .lua file.

  It would be nice to have testfactory for this, i.e., means and ways
  to generate the tests for both lua and xml and still make all the
  lua tests being run by 'ctest -R lua'.

LUA: Added support for backbone, host_link and ASroute

- This code almost duplicates code in the surf_parsexml files. In the
  future, it might be nice to move this to different layer.

- This changeset also makes the notion of 'power=1Gf' available to
  hosts (and links for the bandwidth attrib).

Fixed examples/lua/console/platform.lua

We may consider removing this file in favor of
examples/platforms/small_platform.lua

Prevent warning message 'config elem ... registered twice'

Currently, Lua platform files require the MSG module to be
initialised. Hence, when SMPI and Lua platform files are
used at the same time, MSG and SMPI will be
completely initialised, resulting in multiple calls
to TRACE_global_init which sets up the config params.

This commit simply adds a flag to that function so that
the config elems are registered only once.

Added two C-Lua-Platform tests

These tests are very simple, as they will execute
examples/msg/masterslave/masterslave_arg with
examples/platforms/small_platform.xml and examples/platforms/small_platform.lua
as platform files, respectively.

These tests will only compare the output, which should
be the same.

Added support for using lua platform files from C

- It is now possible to use .lua files instead of .xml files.
  (Even if the simulation uses C code)

- Added/moved example file to examples/platforms/platform.lua
  This is equivalent to the small_platform.xml platform.

[SMPI] Indentation..

[SMPI] Fixed wrong output

[mc] Add std:: namespace for some types

[mc] Use std::unordered* instead of boost:: ones

[mc] Fix ModelChecker::is_important_snapshot(), do not use global

[mc] Use std::pair and std::unordered_set in mc_compare

[mc] Remove BOOST_FOREACH usage

[mc] Rename PerPageCopy to ChunkedData (and move in its own files)

[mc] Documentation

[mc] Remove useless *_free_voidp functions

[mc] Cleanup in DwarfExpression

[mc] Move mc_dwarf_location_list_init() into namespace

[mc] OOify mc_find_frame_base()

[mc] OOify LocationLists, Location

[mc] Fix Snapshot::read_bytes

Was calling itself instead of delegating to the process.

[mc] OOify DWARF stack/evaluation expression

[mc] Simplify MC_find_object_info

[mc] Remove useless declarations

[mc] Move some code into simgrid::dwarf namespace

[mc] Remove useless declarations

[mc] Move some code into simgrid::dwarf namespace

[mc] Move some code into simgrid::dwarf namespace

[mc] Move some code into simgrid::dwarf namespace

ignore the tarfiles

ignore more cruft

update the AUTHORS file

[cmake] move some add_subdirectory out of the silly file MakeExe.cmake

Fix out of sources builds

fix make distcheck

you cannot use the ISP testsuite without model-checking

rename the basic s4u example

translate a comment

This is v3.13-devel already

Start the development of 3.13

Merge branch 'S4U'

Fix the internal version number

Release 3.12

[java] properly port to armv7l, sorry for the noise

[java] port to armv7l

[Java] Port to kFreeBSD

Document recent changes

fix make distcheck, as usual

[cmake] cleanup: mv AddTests Tests

[tesh] fix a borken test -- sorry for the noise

Merge branch 'master' of github.com:mquinson/simgrid

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

Merge pull request #30 from fernandodeperto/bugfix-ptp_messages

Fix duplicate PTP messages when tracing/smpi/internals is enabled

Fix duplicate PTP messages when tracing/smpi/internals is enabled

When the tracing/smpi/internals option is not enabled, some PTP messages
are showed for send and receive operations, both on tracing and
replaying. When the option is enabled, additional messages are
generated, so duplicate messages for send and receive operations are
duplicated.

Initially I thought that the idea was to only show PTP messages when the
tracing/smpi/internals option is enabled. After talking to Arnaud it
seems that is not the case. So I changed the code so both funcionalities
are present: PTP messages for send and receive operations when the
option is disabled and all PTP messages when the option is enabled, as
expected.

Update limitations of PSG

Fix ISP test classification

[mc] Move MC_important_snapshot() as a method of ModelChecker

[mc] Move some code out of is_visited_state()

[mc] Reduce the scope of some variables in mc_visited.cpp

[mc] Factorisation in mc_visited.cpp

[mc] Create a Member for for structure/class/union member

instead of using Type (which is now only used for types).

[mc] Add AddressSpace::process() method

[mc] Make Process and Snapshot classes final

[mc] Remove Process.is_self()

This was needed for single-process mode.

[mc] Move typedef in correct header

[mc] Rename mc_process.{h,cpp} into Process.{h,c}pp

[mc] Cleanup mc_hash.cpp

* Remove commened-out code;

* OO-ify the hasing method;

* Make it a noop: it was broken since the process separation. I'll add
  some basic hashing later on.

[mc] Remove commented-out code in mc_diff.cpp

[mc] Cleanup #includes

[mc] Fix location expression initialization

[mc] Fix memory leak in MC_get_memory_regions()

[mc] Fix loop bound checking using heaplimit

[Doc] Corrected smpi/display_timing paragraph

[SMPI] Fixed output alignment for display_timing option

[tesh] cosmetics on outputs when an error is detected

[tesh] cleanups in the file parsing

[tesh] cleanups in the handling of child processes

[tesh] TODO++

Appveyor cannot do in-macro macro expension. Bummer.

[appveyor] try to use tesh without cmake to test the java

try harder to close stdin on appveyor tests