1 ### define source packages
4 src/bindings/java/MANIFEST.in
5 src/include/instr/instr_interface.h
6 src/include/mc/datatypes.h
11 src/include/simgrid/sg_config.h
12 src/include/smpi/smpi_utils.hpp
13 src/include/surf/datatypes.h
14 src/include/surf/maxmin.h
15 src/include/surf/surf.h
20 src/simdag/simdag_private.hpp
23 src/simix/popping_private.h
24 src/simix/popping_bodies.cpp
25 src/simix/popping_generated.cpp
26 src/simix/popping_enum.h
27 src/simix/popping_accessors.h
28 src/simix/smx_host_private.h
29 src/simix/smx_io_private.h
30 src/simix/smx_network_private.h
31 src/simix/smx_private.h
32 src/simix/smx_synchro_private.h
33 src/kernel/activity/ActivityImpl.hpp
34 src/kernel/activity/SynchroComm.hpp
35 src/kernel/activity/SynchroExec.hpp
36 src/kernel/activity/SynchroIo.hpp
37 src/kernel/activity/SynchroSleep.hpp
38 src/kernel/activity/SynchroRaw.hpp
39 src/smpi/colls/coll_tuned_topo.h
40 src/smpi/colls/colls_private.h
41 src/smpi/colls/smpi_mvapich2_selector_stampede.h
44 src/surf/cpu_cas01.hpp
45 src/surf/cpu_interface.hpp
47 src/surf/maxmin_private.hpp
48 src/surf/network_cm02.hpp
49 src/surf/network_constant.hpp
50 src/surf/network_interface.hpp
51 src/surf/network_ns3.hpp
52 src/surf/network_smpi.hpp
53 src/surf/network_ib.hpp
54 src/surf/ns3/ns3_interface.h
55 src/surf/ns3/ns3_simulator.h
56 src/surf/xml/simgrid.dtd
57 src/surf/xml/simgrid_dtd.h
58 src/surf/xml/simgrid_dtd.c
59 src/surf/xml/surfxml_sax_cb.cpp
61 src/surf/storage_interface.hpp
62 src/surf/storage_n11.hpp
63 src/surf/surf_interface.hpp
64 src/surf/surf_private.h
65 src/surf/PropertyHolder.hpp
66 src/surf/host_clm03.hpp
68 src/surf/ptask_L07.hpp
69 src/xbt/automaton/automaton_lexer.yy.c
70 src/xbt/automaton/parserPromela.lex
71 src/xbt/automaton/parserPromela.tab.cacc
72 src/xbt/automaton/parserPromela.tab.hacc
73 src/xbt/automaton/parserPromela.yacc
74 src/xbt/backtrace_dummy.cpp
75 src/xbt/backtrace_linux.cpp
76 src/xbt/dict_private.h
77 src/xbt/graph_private.h
78 src/xbt/heap_private.h
80 src/xbt/mallocator_private.h
82 src/xbt/mmalloc/mfree.c
84 src/xbt/mmalloc/mm_legacy.c
85 src/xbt/mmalloc/mm_module.c
86 src/xbt/mmalloc/mmalloc.c
87 src/xbt/mmalloc/mmalloc.info
88 src/xbt/mmalloc/mmalloc.texi
89 src/xbt/mmalloc/mmorecore.c
90 src/xbt/mmalloc/mmprivate.h
91 src/xbt/mmalloc/mrealloc.c
92 tools/tesh/generate_tesh
94 teshsuite/lua/lua_platforms.tesh
95 examples/smpi/mc/only_send_deterministic.tesh
96 examples/smpi/mc/non_deterministic.tesh
98 examples/java/.classpath
99 examples/java/.project
103 src/smpi/colls/allgather/allgather-2dmesh.cpp
104 src/smpi/colls/allgather/allgather-3dmesh.cpp
105 src/smpi/colls/allgather/allgather-GB.cpp
106 src/smpi/colls/allgather/allgather-NTSLR-NB.cpp
107 src/smpi/colls/allgather/allgather-NTSLR.cpp
108 src/smpi/colls/allgather/allgather-SMP-NTS.cpp
109 src/smpi/colls/allgather/allgather-bruck.cpp
110 src/smpi/colls/allgather/allgather-loosely-lr.cpp
111 src/smpi/colls/allgather/allgather-ompi-neighborexchange.cpp
112 src/smpi/colls/allgather/allgather-pair.cpp
113 src/smpi/colls/allgather/allgather-mvapich-smp.cpp
114 src/smpi/colls/allgather/allgather-rdb.cpp
115 src/smpi/colls/allgather/allgather-rhv.cpp
116 src/smpi/colls/allgather/allgather-ring.cpp
117 src/smpi/colls/allgather/allgather-smp-simple.cpp
118 src/smpi/colls/allgather/allgather-spreading-simple.cpp
119 src/smpi/colls/allgatherv/allgatherv-GB.cpp
120 src/smpi/colls/allgatherv/allgatherv-mpich-rdb.cpp
121 src/smpi/colls/allgatherv/allgatherv-mpich-ring.cpp
122 src/smpi/colls/allgatherv/allgatherv-ompi-bruck.cpp
123 src/smpi/colls/allgatherv/allgatherv-ompi-neighborexchange.cpp
124 src/smpi/colls/allgatherv/allgatherv-pair.cpp
125 src/smpi/colls/allgatherv/allgatherv-ring.cpp
126 src/smpi/colls/allreduce/allreduce-lr.cpp
127 src/smpi/colls/allreduce/allreduce-ompi-ring-segmented.cpp
128 src/smpi/colls/allreduce/allreduce-rab-rdb.cpp
129 src/smpi/colls/allreduce/allreduce-rab1.cpp
130 src/smpi/colls/allreduce/allreduce-rab2.cpp
131 src/smpi/colls/allreduce/allreduce-rdb.cpp
132 src/smpi/colls/allreduce/allreduce-redbcast.cpp
133 src/smpi/colls/allreduce/allreduce-smp-binomial-pipeline.cpp
134 src/smpi/colls/allreduce/allreduce-smp-binomial.cpp
135 src/smpi/colls/allreduce/allreduce-smp-rdb.cpp
136 src/smpi/colls/allreduce/allreduce-smp-rsag-lr.cpp
137 src/smpi/colls/allreduce/allreduce-smp-rsag-rab.cpp
138 src/smpi/colls/allreduce/allreduce-smp-rsag.cpp
139 src/smpi/colls/allreduce/allreduce-mvapich-rs.cpp
140 src/smpi/colls/allreduce/allreduce-mvapich-two-level.cpp
141 src/smpi/colls/alltoall/alltoall-basic-linear.cpp
142 src/smpi/colls/alltoall/alltoall-2dmesh.cpp
143 src/smpi/colls/alltoall/alltoall-3dmesh.cpp
144 src/smpi/colls/alltoall/alltoall-bruck.cpp
145 src/smpi/colls/alltoall/alltoall-pair-light-barrier.cpp
146 src/smpi/colls/alltoall/alltoall-pair-mpi-barrier.cpp
147 src/smpi/colls/alltoall/alltoall-pair-one-barrier.cpp
148 src/smpi/colls/alltoall/alltoall-pair.cpp
149 src/smpi/colls/alltoall/alltoall-rdb.cpp
150 src/smpi/colls/alltoall/alltoall-ring-light-barrier.cpp
151 src/smpi/colls/alltoall/alltoall-ring-mpi-barrier.cpp
152 src/smpi/colls/alltoall/alltoall-ring-one-barrier.cpp
153 src/smpi/colls/alltoall/alltoall-ring.cpp
154 src/smpi/colls/alltoall/alltoall-mvapich-scatter-dest.cpp
155 src/smpi/colls/alltoallv/alltoallv-bruck.cpp
156 src/smpi/colls/alltoallv/alltoallv-ompi-basic-linear.cpp
157 src/smpi/colls/alltoallv/alltoallv-pair-light-barrier.cpp
158 src/smpi/colls/alltoallv/alltoallv-pair-mpi-barrier.cpp
159 src/smpi/colls/alltoallv/alltoallv-pair-one-barrier.cpp
160 src/smpi/colls/alltoallv/alltoallv-pair.cpp
161 src/smpi/colls/alltoallv/alltoallv-ring-light-barrier.cpp
162 src/smpi/colls/alltoallv/alltoallv-ring-mpi-barrier.cpp
163 src/smpi/colls/alltoallv/alltoallv-ring-one-barrier.cpp
164 src/smpi/colls/alltoallv/alltoallv-ring.cpp
165 src/smpi/colls/barrier/barrier-ompi.cpp
166 src/smpi/colls/barrier/barrier-mvapich2-pair.cpp
167 src/smpi/colls/bcast/bcast-NTSB.cpp
168 src/smpi/colls/bcast/bcast-NTSL-Isend.cpp
169 src/smpi/colls/bcast/bcast-NTSL.cpp
170 src/smpi/colls/bcast/bcast-SMP-binary.cpp
171 src/smpi/colls/bcast/bcast-SMP-binomial.cpp
172 src/smpi/colls/bcast/bcast-SMP-linear.cpp
173 src/smpi/colls/bcast/bcast-arrival-pattern-aware-wait.cpp
174 src/smpi/colls/bcast/bcast-arrival-pattern-aware.cpp
175 src/smpi/colls/bcast/bcast-arrival-scatter.cpp
176 src/smpi/colls/bcast/bcast-binomial-tree.cpp
177 src/smpi/colls/bcast/bcast-flattree-pipeline.cpp
178 src/smpi/colls/bcast/bcast-flattree.cpp
179 src/smpi/colls/bcast/bcast-ompi-pipeline.cpp
180 src/smpi/colls/bcast/bcast-ompi-split-bintree.cpp
181 src/smpi/colls/bcast/bcast-mvapich-smp.cpp
182 src/smpi/colls/bcast/bcast-scatter-LR-allgather.cpp
183 src/smpi/colls/bcast/bcast-scatter-rdb-allgather.cpp
184 src/smpi/colls/coll_tuned_topo.cpp
185 src/smpi/colls/colls_global.cpp
186 src/smpi/colls/gather/gather-ompi.cpp
187 src/smpi/colls/gather/gather-mvapich.cpp
188 src/smpi/colls/reduce/reduce-NTSL.cpp
189 src/smpi/colls/reduce/reduce-arrival-pattern-aware.cpp
190 src/smpi/colls/reduce/reduce-binomial.cpp
191 src/smpi/colls/reduce/reduce-flat-tree.cpp
192 src/smpi/colls/reduce/reduce-ompi.cpp
193 src/smpi/colls/reduce/reduce-scatter-gather.cpp
194 src/smpi/colls/reduce_scatter/reduce_scatter-mpich.cpp
195 src/smpi/colls/reduce_scatter/reduce_scatter-ompi.cpp
196 src/smpi/colls/reduce/reduce-mvapich-knomial.cpp
197 src/smpi/colls/reduce/reduce-mvapich-two-level.cpp
198 src/smpi/colls/reduce/reduce-rab.cpp
199 src/smpi/colls/scatter/scatter-ompi.cpp
200 src/smpi/colls/scatter/scatter-mvapich-two-level.cpp
201 src/smpi/colls/smpi_automatic_selector.cpp
202 src/smpi/colls/smpi_default_selector.cpp
203 src/smpi/colls/smpi_mpich_selector.cpp
204 src/smpi/colls/smpi_intel_mpi_selector.cpp
205 src/smpi/colls/smpi_openmpi_selector.cpp
206 src/smpi/colls/smpi_mvapich2_selector.cpp
207 src/smpi/instr_smpi.cpp
208 src/smpi/smpi_bench.cpp
209 src/smpi/smpi_memory.cpp
210 src/smpi/smpi_shared.cpp
211 src/smpi/smpi_static_variables.cpp
212 src/smpi/smpi_coll.cpp
213 src/smpi/smpi_coll.hpp
214 src/smpi/smpi_comm.cpp
215 src/smpi/smpi_comm.hpp
216 src/smpi/smpi_deployment.cpp
217 src/smpi/smpi_dvfs.cpp
218 src/smpi/smpi_global.cpp
219 src/smpi/smpi_f2c.cpp
220 src/smpi/smpi_f2c.hpp
221 src/smpi/smpi_group.cpp
222 src/smpi/smpi_group.hpp
223 src/smpi/SmpiHost.cpp
224 src/smpi/SmpiHost.hpp
225 src/smpi/smpi_mpi.cpp
226 src/smpi/smpi_datatype.cpp
227 src/smpi/smpi_datatype.hpp
228 src/smpi/smpi_info.cpp
229 src/smpi/smpi_info.hpp
230 src/smpi/smpi_keyvals.cpp
231 src/smpi/smpi_keyvals.hpp
232 src/smpi/smpi_datatype_derived.cpp
233 src/smpi/smpi_datatype_derived.hpp
237 src/smpi/smpi_process.cpp
238 src/smpi/smpi_process.hpp
239 src/smpi/smpi_pmpi.cpp
240 src/smpi/smpi_replay.cpp
241 src/smpi/smpi_request.cpp
242 src/smpi/smpi_request.hpp
243 src/smpi/smpi_status.cpp
244 src/smpi/smpi_status.hpp
245 src/smpi/smpi_win.cpp
246 src/smpi/smpi_win.hpp
247 src/smpi/smpi_topo.cpp
248 src/smpi/smpi_topo.hpp
249 src/smpi/smpi_utils.cpp
250 src/smpi/smpi_f77.cpp
252 src/surf/network_smpi.cpp
253 src/surf/network_ib.cpp
258 src/xbt/automaton/automaton.c
259 src/xbt/automaton/automatonparse_promela.c
260 src/xbt/backtrace.cpp
264 src/xbt/dict_cursor.c
268 src/xbt/exception.cpp
274 src/xbt/memory_map.cpp
275 src/xbt/memory_map.hpp
280 src/xbt/xbt_log_appender_file.c
281 src/xbt/xbt_log_layout_format.c
282 src/xbt/xbt_log_layout_simple.c
285 src/xbt/xbt_os_file.c
286 src/xbt/xbt_os_synchro.c
287 src/xbt/xbt_os_time.c
288 src/xbt/xbt_replay.cpp
290 src/xbt/xbt_strbuff.c
296 set(XBT_SRC ${XBT_SRC} src/xbt/mmalloc/mm.c )
299 set(NS3_SRC src/surf/network_ns3.cpp
300 src/surf/ns3/ns3_simulator.cc )
303 src/kernel/routing/ClusterZone.cpp
304 src/kernel/routing/ClusterZone.hpp
305 src/kernel/routing/DijkstraZone.cpp
306 src/kernel/routing/DijkstraZone.hpp
307 src/kernel/routing/DragonflyZone.cpp
308 src/kernel/routing/DragonflyZone.hpp
309 src/kernel/routing/EmptyZone.cpp
310 src/kernel/routing/EmptyZone.hpp
311 src/kernel/routing/FatTreeZone.cpp
312 src/kernel/routing/FatTreeZone.hpp
313 src/kernel/routing/FloydZone.cpp
314 src/kernel/routing/FloydZone.hpp
315 src/kernel/routing/FullZone.cpp
316 src/kernel/routing/FullZone.hpp
317 src/kernel/routing/NetPoint.cpp
318 src/kernel/routing/NetPoint.hpp
319 src/kernel/routing/NetZoneImpl.cpp
320 src/kernel/routing/NetZoneImpl.hpp
321 src/kernel/routing/RoutedZone.cpp
322 src/kernel/routing/RoutedZone.hpp
323 src/kernel/routing/TorusZone.cpp
324 src/kernel/routing/TorusZone.hpp
325 src/kernel/routing/VivaldiZone.cpp
326 src/kernel/routing/VivaldiZone.hpp
328 src/kernel/EngineImpl.cpp
329 src/kernel/EngineImpl.hpp
331 src/surf/cpu_cas01.cpp
332 src/surf/cpu_interface.cpp
334 src/surf/fair_bottleneck.cpp
335 src/surf/instr_routing.cpp
336 src/surf/instr_surf.cpp
337 src/surf/lagrange.cpp
339 src/surf/network_cm02.cpp
340 src/surf/network_constant.cpp
341 src/surf/network_interface.cpp
342 src/surf/plugins/host_energy.cpp
343 src/surf/plugins/host_load.cpp
344 src/surf/PropertyHolder.cpp
345 src/surf/sg_platf.cpp
346 src/surf/storage_interface.cpp
347 src/surf/storage_n11.cpp
348 src/surf/surf_c_bindings.cpp
349 src/surf/surf_interface.cpp
350 src/surf/xml/platf.hpp
351 src/surf/xml/platf_private.hpp
352 src/surf/xml/surfxml_sax_cb.cpp
353 src/surf/xml/surfxml_parseplatf.cpp
354 src/surf/trace_mgr.hpp
355 src/surf/trace_mgr.cpp
356 src/surf/host_clm03.cpp
357 src/surf/HostImpl.cpp
358 src/surf/ptask_L07.cpp
362 src/plugins/vm/s4u_VirtualMachine.cpp
363 src/plugins/vm/VirtualMachineImpl.hpp
364 src/plugins/vm/VirtualMachineImpl.cpp
365 src/plugins/vm/VmHostExt.hpp
366 src/plugins/vm/VmHostExt.cpp
369 set(SIMIX_GENERATED_SRC src/simix/popping_generated.cpp )
371 src/kernel/future.cpp
373 src/simix/smx_context.cpp
374 src/kernel/context/Context.cpp
375 src/kernel/context/Context.hpp
376 src/kernel/context/ContextRaw.cpp
377 src/simix/smx_deployment.cpp
378 src/simix/smx_environment.cpp
379 src/simix/smx_global.cpp
380 src/simix/smx_host.cpp
382 src/simix/smx_network.cpp
383 src/simix/ActorImpl.cpp
384 src/simix/ActorImpl.hpp
385 src/simix/smx_synchro.cpp
386 src/simix/popping.cpp
387 src/kernel/activity/ActivityImpl.cpp
388 src/kernel/activity/MailboxImpl.cpp
389 src/kernel/activity/MailboxImpl.hpp
390 src/kernel/activity/SynchroComm.cpp
391 src/kernel/activity/SynchroExec.cpp
392 src/kernel/activity/SynchroSleep.cpp
393 src/kernel/activity/SynchroRaw.cpp
394 src/kernel/activity/SynchroIo.cpp
396 ${SIMIX_GENERATED_SRC}
399 # Boost context may not be available
400 if (HAVE_BOOST_CONTEXTS)
403 src/kernel/context/ContextBoost.hpp
404 src/kernel/context/ContextBoost.cpp)
408 src/kernel/context/ContextBoost.hpp
409 src/kernel/context/ContextBoost.cpp)
413 src/s4u/s4u_actor.cpp
414 src/s4u/s4u_activity.cpp
415 src/s4u/s4u_conditionVariable.cpp
417 src/s4u/s4u_engine.cpp
421 src/s4u/s4u_mailbox.cpp
422 src/s4u/s4u_mutex.cpp
423 src/s4u/s4u_netzone.cpp
424 src/s4u/s4u_storage.cpp
428 src/simgrid/sg_config.cpp
434 src/msg/instr_msg_process.cpp
435 src/msg/instr_msg_task.cpp
436 src/msg/msg_actions.cpp
437 src/msg/msg_deployment.cpp
438 src/msg/msg_environment.cpp
439 src/msg/msg_global.cpp
443 src/msg/msg_mailbox.cpp
444 src/msg/msg_process.cpp
445 src/msg/msg_synchro.cpp
451 src/simdag/sd_daxloader.cpp
452 src/simdag/sd_dotloader.cpp
453 src/simdag/sd_global.cpp
454 src/simdag/sd_task.cpp
458 src/bindings/lua/lua_private.h
459 src/bindings/lua/lua_utils.h
460 src/bindings/lua/simgrid_lua.h
464 src/bindings/java/jmsg.cpp
465 src/bindings/java/jmsg.h
466 src/bindings/java/jmsg_as.cpp
467 src/bindings/java/jmsg_as.h
468 src/bindings/java/jmsg_comm.cpp
469 src/bindings/java/jmsg_comm.h
470 src/bindings/java/jmsg_file.cpp
471 src/bindings/java/jmsg_file.h
472 src/bindings/java/jmsg_host.cpp
473 src/bindings/java/jmsg_host.h
474 src/bindings/java/jmsg_process.cpp
475 src/bindings/java/jmsg_process.h
476 src/bindings/java/jmsg_rngstream.cpp
477 src/bindings/java/jmsg_rngstream.h
478 src/bindings/java/jmsg_synchro.cpp
479 src/bindings/java/jmsg_synchro.h
480 src/bindings/java/jmsg_task.cpp
481 src/bindings/java/jmsg_task.h
482 src/bindings/java/jmsg_vm.cpp
483 src/bindings/java/jmsg_vm.h
484 src/bindings/java/jxbt_utilities.cpp
485 src/bindings/java/jxbt_utilities.h
486 src/bindings/java/JavaContext.cpp
487 src/bindings/java/JavaContext.hpp
488 src/bindings/java/jmsg_storage.cpp
489 src/bindings/java/jmsg_storage.h
493 src/bindings/java/org/simgrid/NativeLib.java
494 src/bindings/java/org/simgrid/msg/As.java
495 src/bindings/java/org/simgrid/msg/Comm.java
496 src/bindings/java/org/simgrid/msg/File.java
497 src/bindings/java/org/simgrid/msg/Host.java
498 src/bindings/java/org/simgrid/msg/HostFailureException.java
499 src/bindings/java/org/simgrid/msg/HostNotFoundException.java
500 src/bindings/java/org/simgrid/msg/JniException.java
501 src/bindings/java/org/simgrid/msg/Msg.java
502 src/bindings/java/org/simgrid/msg/MsgException.java
503 src/bindings/java/org/simgrid/msg/Mutex.java
504 src/bindings/java/org/simgrid/msg/Process.java
505 src/bindings/java/org/simgrid/msg/ProcessKilledError.java
506 src/bindings/java/org/simgrid/msg/ProcessNotFoundException.java
507 src/bindings/java/org/simgrid/msg/RngStream.java
508 src/bindings/java/org/simgrid/msg/Semaphore.java
509 src/bindings/java/org/simgrid/msg/Storage.java
510 src/bindings/java/org/simgrid/msg/StorageNotFoundException.java
511 src/bindings/java/org/simgrid/msg/Task.java
512 src/bindings/java/org/simgrid/msg/TaskCancelledException.java
513 src/bindings/java/org/simgrid/msg/TimeoutException.java
514 src/bindings/java/org/simgrid/msg/TransferFailureException.java
515 src/bindings/java/org/simgrid/msg/VM.java
519 src/bindings/java/jtrace.cpp
520 src/bindings/java/jtrace.h
523 set(JTRACE_JAVA_SRC src/bindings/java/org/simgrid/trace/Trace.java)
525 list(APPEND JMSG_C_SRC ${JTRACE_C_SRC})
526 list(APPEND JMSG_JAVA_SRC ${JTRACE_JAVA_SRC})
529 src/bindings/lua/lua_host.cpp
530 src/bindings/lua/lua_platf.cpp
531 src/bindings/lua/lua_debug.cpp
532 src/bindings/lua/simgrid_lua.cpp
536 src/instr/instr_TI_trace.cpp
537 src/instr/instr_config.cpp
538 src/instr/instr_interface.cpp
539 src/instr/instr_paje_containers.cpp
540 src/instr/instr_paje_header.cpp
541 src/instr/instr_paje_trace.cpp
542 src/instr/instr_paje_types.cpp
543 src/instr/instr_paje_values.cpp
544 src/instr/instr_private.h
545 src/instr/instr_smpi.h
546 src/instr/instr_resource_utilization.cpp
550 include/simgrid/jedule/jedule_events.hpp
551 include/simgrid/jedule/jedule.hpp
552 include/simgrid/jedule/jedule_platform.hpp
553 include/simgrid/jedule/jedule_sd_binding.h
554 src/instr/jedule/jedule_events.cpp
555 src/instr/jedule/jedule.cpp
556 src/instr/jedule/jedule_platform.cpp
557 src/instr/jedule/jedule_sd_binding.cpp
571 src/mc/checker/Checker.cpp
572 src/mc/checker/Checker.hpp
573 src/mc/checker/CommunicationDeterminismChecker.cpp
574 src/mc/checker/CommunicationDeterminismChecker.hpp
575 src/mc/checker/SafetyChecker.cpp
576 src/mc/checker/SafetyChecker.hpp
577 src/mc/checker/LivenessChecker.cpp
578 src/mc/checker/LivenessChecker.hpp
579 src/mc/remote/Channel.cpp
580 src/mc/remote/Channel.hpp
581 src/mc/remote/Client.cpp
582 src/mc/remote/Client.hpp
583 src/mc/remote/RemotePtr.hpp
584 src/mc/remote/mc_protocol.h
585 src/mc/remote/mc_protocol.cpp
587 src/mc/AddressSpace.hpp
588 src/mc/AddressSpace.cpp
591 src/mc/ModelChecker.hpp
592 src/mc/ModelChecker.cpp
593 src/mc/ObjectInformation.hpp
594 src/mc/ObjectInformation.cpp
597 src/mc/ChunkedData.hpp
598 src/mc/ChunkedData.cpp
599 src/mc/RegionSnapshot.cpp
600 src/mc/RegionSnapshot.hpp
604 src/mc/mc_forward.hpp
611 src/mc/mc_unw_vmread.cpp
612 src/mc/mc_checkpoint.cpp
614 src/mc/mc_snapshot.cpp
615 src/mc/mc_page_snapshot.cpp
616 src/mc/mc_comm_pattern.h
617 src/mc/mc_comm_pattern.cpp
621 src/mc/mc_dwarf_attrnames.cpp
622 src/mc/DwarfExpression.hpp
623 src/mc/DwarfExpression.cpp
624 src/mc/mc_dwarf_tagnames.cpp
628 src/mc/LocationList.hpp
629 src/mc/LocationList.cpp
635 src/mc/mc_request.cpp
639 src/mc/VisitedState.cpp
640 src/mc/VisitedState.hpp
641 src/mc/mc_client_api.cpp
647 src/mc/Transition.hpp
650 set(MC_SIMGRID_MC_SRC src/mc/checker/simgrid_mc.cpp)
652 set(headers_to_install
654 include/msg/datatypes.h
655 include/simdag/simdag.h
656 include/simdag/datatypes.h
657 include/simgrid/chrono.hpp
658 include/simgrid/plugins/energy.h
659 include/simgrid/plugins/load.h
660 include/simgrid/instr.h
661 include/simgrid/msg.h
662 include/simgrid/simdag.h
663 include/simgrid/datatypes.h
664 include/simgrid/modelchecker.h
665 include/simgrid/forward.h
666 include/simgrid/simix.h
667 include/simgrid/simix.hpp
668 include/simgrid/simix/blocking_simcall.hpp
669 include/simgrid/kernel/future.hpp
670 include/simgrid/host.h
671 include/simgrid/link.h
672 include/simgrid/s4u/forward.hpp
673 include/simgrid/s4u/Activity.hpp
674 include/simgrid/s4u/Actor.hpp
675 include/simgrid/s4u/Comm.hpp
676 include/simgrid/s4u/ConditionVariable.hpp
677 include/simgrid/s4u/Engine.hpp
678 include/simgrid/s4u/File.hpp
679 include/simgrid/s4u/Host.hpp
680 include/simgrid/s4u/Link.hpp
681 include/simgrid/s4u/Mailbox.hpp
682 include/simgrid/s4u/Mutex.hpp
683 include/simgrid/s4u/NetZone.hpp
684 include/simgrid/s4u/Storage.hpp
685 include/simgrid/s4u/VirtualMachine.hpp
686 include/simgrid/s4u.hpp
687 include/simgrid/plugins/energy.h
688 include/simgrid/plugins/load.h
691 include/smpi/smpi_main.h
692 include/smpi/smpi_extended_traces.h
693 include/smpi/smpi_extended_traces_fortran.h
694 include/smpi/forward.hpp
695 include/smpi/smpi_shared_malloc.hpp
696 include/surf/surf_routing.h
698 include/xbt/RngStream.h
699 include/xbt/asserts.h
700 include/xbt/automaton.h
701 include/xbt/automaton.hpp
704 include/xbt/config.hpp
707 include/xbt/string.hpp
708 include/xbt/signal.hpp
710 include/xbt/dynar.hpp
713 include/xbt/exception.hpp
714 include/xbt/backtrace.h
715 include/xbt/backtrace.hpp
717 include/xbt/function_types.h
718 include/xbt/functional.hpp
719 include/xbt/future.hpp
723 include/xbt/Extendable.hpp
726 include/xbt/mallocator.h
728 include/xbt/memory.hpp
730 include/xbt/mmalloc.h
733 include/xbt/range.hpp
734 include/xbt/replay.hpp
736 include/xbt/strbuff.h
738 include/xbt/synchro.h
740 include/xbt/system_error.hpp
741 include/xbt/utility.hpp
743 include/xbt/xbt_os_thread.h
744 include/xbt/xbt_os_time.h
746 set(source_of_generated_headers
747 include/simgrid_config.h.in
748 include/smpi/mpif.h.in)
750 ### depend of some variables setted upper
751 # -->HAVE_THREAD_CONTEXTS HAVE_UCONTEXT_CONTEXTS
752 if(${HAVE_THREAD_CONTEXTS}) #pthread
753 set(SURF_SRC ${SURF_SRC} src/kernel/context/ContextThread.cpp
754 src/kernel/context/ContextThread.hpp )
756 set(EXTRA_DIST ${EXTRA_DIST} src/kernel/context/ContextThread.cpp
757 src/kernel/context/ContextThread.hpp )
760 if(${HAVE_THREAD_CONTEXTS}) #pthread
761 set(SURF_SRC ${SURF_SRC} src/xbt/xbt_os_thread.c)
763 set(EXTRA_DIST ${EXTRA_DIST} src/xbt/xbt_os_thread.c
767 if(${HAVE_UCONTEXT_CONTEXTS}) #ucontext
768 set(SURF_SRC ${SURF_SRC} src/kernel/context/ContextUnix.cpp)
769 else() # NOT ucontext
770 set(EXTRA_DIST ${EXTRA_DIST} src/kernel/context/ContextUnix.cpp)
773 ### Simgrid Lib sources
789 set(simgrid_sources ${simgrid_sources} ${JEDULE_SRC})
791 set(EXTRA_DIST ${EXTRA_DIST} ${JEDULE_SRC})
795 set(simgrid_sources ${simgrid_sources} ${SMPI_SRC})
799 set(simgrid_sources ${simgrid_sources} ${MC_SRC})
803 set(simgrid_sources ${simgrid_sources} ${NS3_SRC})
810 src/kernel/context/ContextThread.cpp
811 src/kernel/context/ContextThread.hpp
812 src/xbt/xbt_os_thread.c
817 set(simgrid_sources ${simgrid_sources} ${LUA_SRC})
819 set(EXTRA_DIST ${EXTRA_DIST} ${LUA_SRC})
825 doc/sg_thread_model.fig
827 doc/surf_nutshell.fig
832 doc/triva-graph_configuration.png
833 doc/triva-graph_configuration.svg
834 doc/triva-graph_visualization.png
835 doc/triva-graph_visualization.svg
836 doc/triva-time_interval.png
837 doc/triva-time_interval.svg
840 doc/doxygen/application.doc
841 doc/doxygen/community.doc
842 doc/doxygen/deployment.doc
843 doc/doxygen/examples.doc
844 doc/doxygen/footer.html
845 doc/doxygen/getting_started.doc
846 doc/doxygen/header.html
847 doc/doxygen/howtos.doc
848 doc/doxygen/index.doc
849 doc/doxygen/inside.doc
850 doc/doxygen/inside_tests.doc
851 doc/doxygen/inside_cmake.doc
852 doc/doxygen/inside_doxygen.doc
853 doc/doxygen/inside_extending.doc
854 doc/doxygen/inside_release.doc
855 doc/doxygen/install.doc
856 doc/doxygen/install_yours.doc
858 doc/doxygen/tutorial_msg.doc
859 doc/doxygen/tutorial_smpi.doc
860 doc/doxygen/models.doc
861 doc/doxygen/module-msg.doc
862 doc/doxygen/module-s4u.doc
863 doc/doxygen/module-sd.doc
864 doc/doxygen/module-simix.doc
865 doc/doxygen/module-smpi.doc
866 doc/doxygen/module-surf.doc
867 doc/doxygen/module-trace.doc
868 doc/doxygen/module-xbt.doc
869 doc/doxygen/module-index.doc
871 doc/doxygen/options.doc
872 doc/doxygen/outcomes.doc
873 doc/doxygen/outcomes_logs.doc
874 doc/doxygen/outcomes_MC.doc
875 doc/doxygen/outcomes_vizu.doc
876 doc/doxygen/platform.doc
877 doc/doxygen/platform_lua.doc
878 doc/doxygen/scenario.doc
879 doc/doxygen/stylesheet.css
880 doc/doxygen/uhood.doc
881 doc/doxygen/uhood_switch.doc
882 doc/doxygen/uhood_arch.doc
885 doc/manpage/smpicxx.1
886 doc/manpage/smpif90.1
888 doc/manpage/smpirun.1
891 doc/msg-tuto-src/deployment0.xml
892 doc/msg-tuto-src/deployment1.xml
893 doc/msg-tuto-src/deployment2.xml
894 doc/msg-tuto-src/deployment3.xml
895 doc/msg-tuto-src/deployment_general.xml
896 doc/msg-tuto-src/Makefile
897 doc/msg-tuto-src/masterworker0.c
898 doc/msg-tuto-src/masterworker1.c
899 doc/msg-tuto-src/masterworker2.c
900 doc/msg-tuto-src/masterworker3.c
901 doc/msg-tuto-src/masterworker4.c
907 ${CMAKE_HOME_DIRECTORY}/doc/shared/fig/simgrid_modules.fig
908 ${CMAKE_HOME_DIRECTORY}/doc/shared/fig/simgrid_modules2.fig
912 tools/doxygen/fig2dev_postprocessor.pl
913 tools/doxygen/xbt_log_extract_hierarchy.pl
914 tools/doxygen/list_routing_models_examples.sh
917 # these files get copied automatically to the html documentation
919 ${CMAKE_HOME_DIRECTORY}/doc/sc3-description.png
920 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/AS_hierarchy.png
921 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/Paje_MSG_screenshot.jpg
922 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/Paje_MSG_screenshot_thn.jpg
923 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/SGicon.gif
924 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/SGicon.icns
925 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/SGicon.ico
926 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/awstats_logo3.png
927 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/output.goal.pdf
928 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/poster_thumbnail.png
929 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/storage_sample_scenario.png
930 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_2011.gif
931 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_2011.png
932 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_2011_small.png
933 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_win.bmp
934 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_win_2011.bmp
935 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/smpi_simgrid_alltoall_pair_16.png
936 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/smpi_simgrid_alltoall_ring_16.png
946 src/smpi/smpitools.sh
961 # The list of cmake build directories is constructed from the following list.
962 # Add your CMakeLists file here to see your subdir built.
964 examples/java/CMakeLists.txt
965 examples/msg/CMakeLists.txt
966 examples/msg/mc/CMakeLists.txt
967 examples/s4u/CMakeLists.txt
968 examples/simdag/CMakeLists.txt
969 examples/smpi/CMakeLists.txt
970 examples/smpi/NAS/CMakeLists.txt
971 examples/smpi/smpi_msg_masterslave/CMakeLists.txt
972 examples/smpi/replay_multiple/CMakeLists.txt
973 examples/smpi/energy/f77/CMakeLists.txt
974 examples/smpi/energy/f90/CMakeLists.txt
976 teshsuite/java/CMakeLists.txt
977 teshsuite/mc/CMakeLists.txt
978 teshsuite/msg/CMakeLists.txt
979 teshsuite/s4u/CMakeLists.txt
980 teshsuite/simdag/CMakeLists.txt
981 teshsuite/simix/CMakeLists.txt
982 teshsuite/smpi/CMakeLists.txt
983 teshsuite/surf/CMakeLists.txt
984 teshsuite/xbt/CMakeLists.txt
986 teshsuite/smpi/isp/umpire/CMakeLists.txt
987 teshsuite/smpi/mpich3-test/CMakeLists.txt
988 teshsuite/smpi/mpich3-test/attr/CMakeLists.txt
989 teshsuite/smpi/mpich3-test/coll/CMakeLists.txt
990 teshsuite/smpi/mpich3-test/comm/CMakeLists.txt
991 teshsuite/smpi/mpich3-test/datatype/CMakeLists.txt
992 # teshsuite/smpi/mpich3-test/f77/attr/CMakeLists.txt
993 teshsuite/smpi/mpich3-test/f77/coll/CMakeLists.txt
994 teshsuite/smpi/mpich3-test/f77/info/CMakeLists.txt
995 teshsuite/smpi/mpich3-test/f77/comm/CMakeLists.txt
996 teshsuite/smpi/mpich3-test/f77/datatype/CMakeLists.txt
997 teshsuite/smpi/mpich3-test/f77/ext/CMakeLists.txt
998 teshsuite/smpi/mpich3-test/f77/init/CMakeLists.txt
999 teshsuite/smpi/mpich3-test/f77/pt2pt/CMakeLists.txt
1000 teshsuite/smpi/mpich3-test/f77/util/CMakeLists.txt
1001 teshsuite/smpi/mpich3-test/f77/topo/CMakeLists.txt
1002 teshsuite/smpi/mpich3-test/f77/rma/CMakeLists.txt
1003 teshsuite/smpi/mpich3-test/f90/coll/CMakeLists.txt
1004 teshsuite/smpi/mpich3-test/f90/datatype/CMakeLists.txt
1005 teshsuite/smpi/mpich3-test/f90/info/CMakeLists.txt
1006 teshsuite/smpi/mpich3-test/f90/init/CMakeLists.txt
1007 teshsuite/smpi/mpich3-test/f90/pt2pt/CMakeLists.txt
1008 teshsuite/smpi/mpich3-test/f90/util/CMakeLists.txt
1009 teshsuite/smpi/mpich3-test/f90/rma/CMakeLists.txt
1010 teshsuite/smpi/mpich3-test/group/CMakeLists.txt
1011 teshsuite/smpi/mpich3-test/info/CMakeLists.txt
1012 teshsuite/smpi/mpich3-test/init/CMakeLists.txt
1013 teshsuite/smpi/mpich3-test/pt2pt/CMakeLists.txt
1014 teshsuite/smpi/mpich3-test/topo/CMakeLists.txt
1015 teshsuite/smpi/mpich3-test/rma/CMakeLists.txt
1016 teshsuite/smpi/mpich3-test/perf/CMakeLists.txt
1018 tools/CMakeLists.txt
1019 tools/graphicator/CMakeLists.txt
1020 tools/tesh/CMakeLists.txt
1023 set(CMAKE_SOURCE_FILES
1026 tools/cmake/Tests.cmake
1027 tools/cmake/CTestConfig.cmake
1028 tools/cmake/CTestCustom.cmake
1029 tools/cmake/DefinePackages.cmake
1030 tools/cmake/Distrib.cmake
1031 tools/cmake/GCCFlags.cmake
1032 tools/cmake/Documentation.cmake
1033 tools/cmake/MaintainerMode.cmake
1034 tools/cmake/Java.cmake
1035 tools/cmake/MakeLib.cmake
1036 tools/cmake/MakeLibWin.cmake
1037 tools/cmake/Modules/FindGraphviz.cmake
1038 tools/cmake/Modules/FindLibdw.cmake
1039 tools/cmake/Modules/FindLibunwind.cmake
1040 tools/cmake/Modules/FindLibevent.cmake
1041 tools/cmake/Modules/FindLuaSimgrid.cmake
1042 tools/cmake/Modules/FindNS3.cmake
1043 tools/cmake/Modules/FindPAPI.cmake
1044 tools/cmake/Modules/FindRngStream.cmake
1045 tools/cmake/Modules/FindValgrind.cmake
1046 tools/cmake/Option.cmake
1047 tools/cmake/scripts/my_valgrind.pl
1048 tools/cmake/scripts/update_tesh.pl
1049 tools/cmake/UnitTesting.cmake
1050 tools/cmake/src/internal_config.h.in
1051 tools/cmake/test_prog/prog_gnu_dynlinker.c
1052 tools/cmake/test_prog/prog_makecontext.c
1053 tools/cmake/test_prog/prog_mutex_timedlock.c
1054 tools/cmake/test_prog/prog_sem_init.c
1055 tools/cmake/test_prog/prog_sem_open.c
1056 tools/cmake/test_prog/prog_sem_timedwait.c
1057 tools/cmake/test_prog/prog_snprintf.c
1058 tools/cmake/test_prog/prog_stackgrowth.c
1059 tools/cmake/test_prog/prog_stacksetup.c
1060 tools/cmake/test_prog/prog_thread_storage.c
1061 tools/cmake/test_prog/prog_vsnprintf.c
1062 tools/cmake/cross-mingw.cmake
1063 tools/smpi/generate_smpi_defines.pl
1064 tools/stack-cleaner/as
1065 tools/stack-cleaner/cc
1066 tools/stack-cleaner/c++
1067 tools/stack-cleaner/fortran
1068 tools/stack-cleaner/clean-stack-filter
1069 tools/stack-cleaner/compiler-wrapper
1070 tools/stack-cleaner/README
1073 set(PLATFORMS_EXAMPLES
1074 examples/platforms/bypassASroute.xml
1075 examples/platforms/bypassRoute.xml
1076 examples/platforms/cloud.xml
1077 examples/platforms/cluster.xml
1078 examples/platforms/cluster_and_one_host.xml
1079 examples/platforms/cluster_prototype.lua
1080 examples/platforms/cluster_no_backbone.xml
1081 examples/platforms/cluster_torus.xml
1082 examples/platforms/cluster_fat_tree.xml
1083 examples/platforms/cluster_dragonfly.xml
1084 examples/platforms/crosstraffic.xml
1085 examples/platforms/optorsim/gridpp_grid_2004.conf
1086 examples/platforms/optorsim/lcg_sept2004_grid.conf
1087 examples/platforms/optorsim/transform_optorsim_platform.pl
1088 examples/platforms/config.xml
1089 examples/platforms/config_tracing.xml
1090 examples/platforms/trace/bourassa_state.trace
1091 examples/platforms/trace/fafard_state.trace
1092 examples/platforms/trace/faulty_host.trace
1093 examples/platforms/trace/ginette_state.trace
1094 examples/platforms/trace/jupiter_speed.trace
1095 examples/platforms/trace/jupiter_state.trace
1096 examples/platforms/trace/link1_avail.trace
1097 examples/platforms/trace/link3_state.trace
1098 examples/platforms/trace/link4_state.trace
1099 examples/platforms/trace/linkBandwidth7.bw
1100 examples/platforms/trace/trace_A_failure.txt
1101 examples/platforms/trace/trace_A.txt
1102 examples/platforms/trace/trace_B.txt
1103 examples/platforms/data_center.xml
1104 examples/platforms/dogbone.xml
1105 examples/platforms/energy_platform.xml
1106 examples/platforms/energy_cluster.xml
1107 examples/platforms/faulty_host.xml
1108 examples/platforms/g5k.xml
1109 examples/platforms/griffon.xml
1110 examples/platforms/meta_cluster.xml
1111 examples/platforms/multicore_machine.xml
1112 examples/platforms/onelink.xml
1113 examples/platforms/prop.xml
1114 examples/platforms/routing_cluster.xml
1115 examples/platforms/routing_cluster.lua
1116 examples/platforms/routing_none.xml
1117 examples/platforms/simulacrum_7_hosts.xml
1118 examples/platforms/storage/content/small_content.txt
1119 examples/platforms/storage/content/storage_content.txt
1120 examples/platforms/storage/content/win_storage_content.txt
1121 examples/platforms/storage/remote_io.xml
1122 examples/platforms/storage/storage.xml
1123 examples/platforms/small_platform.xml
1124 examples/platforms/small_platform.lua
1125 examples/platforms/small_platform_fatpipe.xml
1126 examples/platforms/small_platform_one_link_routes.xml
1127 examples/platforms/small_platform_with_failures.xml
1128 examples/platforms/small_platform_with_routers.xml
1129 examples/platforms/syscoord/generate_peer_platform.pl
1130 examples/platforms/syscoord/median_harvard.syscoord
1131 examples/platforms/syscoord/median_meridian.syscoord
1132 examples/platforms/syscoord/median_p2psim.syscoord
1133 examples/platforms/three_multicore_hosts.xml
1134 examples/platforms/two_clusters.xml
1135 examples/platforms/two_hosts.xml
1136 examples/platforms/two_hosts_platform_shared.xml
1137 examples/platforms/two_hosts_platform_with_availability.xml
1138 examples/platforms/two_hosts_platform_with_availability_included.xml
1139 examples/platforms/two_peers.xml
1140 examples/platforms/vivaldi.xml
1143 set(generated_src_files
1144 src/xbt/automaton/automaton_lexer.yy.c
1145 src/xbt/automaton/parserPromela.tab.cacc
1146 src/xbt/automaton/parserPromela.tab.hacc
1149 foreach(file ${generated_src_files})
1150 set_source_files_properties(${file} PROPERTIES GENERATED true)
1151 endforeach(file ${generated_src_files})