src/kernel/routing/FloydZone.hpp
src/kernel/routing/FullZone.cpp
src/kernel/routing/FullZone.hpp
- src/kernel/routing/NetCard.cpp
- src/kernel/routing/NetCard.hpp
+ src/kernel/routing/NetPoint.cpp
+ src/kernel/routing/NetPoint.hpp
src/kernel/routing/NetZoneImpl.cpp
src/kernel/routing/NetZoneImpl.hpp
src/kernel/routing/RoutedZone.cpp
src/bindings/java/org/simgrid/msg/Msg.java
src/bindings/java/org/simgrid/msg/MsgException.java
src/bindings/java/org/simgrid/msg/Mutex.java
- src/bindings/java/org/simgrid/msg/NativeException.java
src/bindings/java/org/simgrid/msg/Process.java
src/bindings/java/org/simgrid/msg/ProcessKilledError.java
src/bindings/java/org/simgrid/msg/ProcessNotFoundException.java
src/mc/checker/SafetyChecker.hpp
src/mc/checker/LivenessChecker.cpp
src/mc/checker/LivenessChecker.hpp
- src/mc/RemotePtr.hpp
+ src/mc/remote/Channel.cpp
+ src/mc/remote/Channel.hpp
+ src/mc/remote/Client.cpp
+ src/mc/remote/Client.hpp
+ src/mc/remote/RemotePtr.hpp
+ src/mc/remote/mc_protocol.h
+ src/mc/remote/mc_protocol.cpp
+
src/mc/AddressSpace.hpp
src/mc/AddressSpace.cpp
- src/mc/Channel.cpp
- src/mc/Channel.hpp
- src/mc/Client.cpp
- src/mc/Client.hpp
src/mc/Frame.hpp
src/mc/Frame.cpp
src/mc/ModelChecker.hpp
src/mc/VisitedState.cpp
src/mc/VisitedState.hpp
src/mc/mc_client_api.cpp
- src/mc/mc_protocol.h
- src/mc/mc_protocol.cpp
src/mc/mc_smx.h
src/mc/mc_smx.cpp
src/mc/mc_xbt.hpp
doc/doxygen/install.doc
doc/doxygen/install_yours.doc
doc/doxygen/java.doc
- doc/doxygen/tutorial.doc
+ doc/doxygen/tutorial_msg.doc
+ doc/doxygen/tutorial_smpi.doc
doc/doxygen/models.doc
doc/doxygen/module-msg.doc
doc/doxygen/module-s4u.doc
doc/msg-tuto-src/deployment2.xml
doc/msg-tuto-src/deployment3.xml
doc/msg-tuto-src/deployment_general.xml
+ doc/msg-tuto-src/Makefile
doc/msg-tuto-src/masterworker0.c
doc/msg-tuto-src/masterworker1.c
doc/msg-tuto-src/masterworker2.c