1 ### define source packages
4 src/3rd-party/catch.hpp
5 src/3rd-party/xxhash.hpp
6 src/bindings/python/simgrid_python.cpp
10 src/kernel/actor/Simcall.hpp
11 src/kernel/resource/HostImpl.hpp
12 src/kernel/resource/LinkImpl.hpp
13 src/kernel/resource/NetworkModel.hpp
14 src/kernel/resource/NetworkModelFactors.hpp
15 src/kernel/resource/SplitDuplexLinkImpl.hpp
16 src/kernel/resource/StandardLinkImpl.hpp
17 src/kernel/resource/WifiLinkImpl.hpp
18 src/kernel/resource/models/cpu_cas01.hpp
19 src/kernel/resource/models/cpu_ti.hpp
20 src/kernel/resource/models/disk_s19.hpp
21 src/kernel/resource/models/host_clm03.hpp
22 src/kernel/resource/models/network_cm02.hpp
23 src/kernel/resource/models/network_constant.hpp
24 src/kernel/resource/models/network_ib.hpp
25 src/kernel/resource/models/network_ns3.hpp
26 src/kernel/resource/models/ns3/ns3_simulator.hpp
27 src/kernel/resource/models/ptask_L07.hpp
34 src/simgrid/sg_config.hpp
35 src/simgrid/math_utils.h
37 src/smpi/colls/coll_tuned_topo.hpp
38 src/smpi/colls/colls_private.hpp
39 src/smpi/colls/smpi_mvapich2_selector_stampede.hpp
40 src/smpi/include/private.hpp
41 src/smpi/include/smpi_utils.hpp
43 src/smpi/smpi_replay_main.cpp
44 src/kernel/xml/simgrid.dtd
45 src/kernel/xml/simgrid_dtd.c
46 src/kernel/xml/simgrid_dtd.h
47 src/kernel/xml/platf_sax_cb.cpp
49 src/xbt/automaton/automaton_lexer.yy.c
50 src/xbt/automaton/parserPromela.lex
51 src/xbt/automaton/parserPromela.tab.cacc
52 src/xbt/automaton/parserPromela.tab.hacc
53 src/xbt/automaton/parserPromela.yacc
55 src/xbt/dict_private.h
56 src/xbt/log_private.hpp
57 src/xbt/mallocator_private.h
60 src/xbt/mmalloc/mmalloc.h
61 src/xbt/mmalloc/mfree.c
62 src/xbt/mmalloc/mm_legacy.c
63 src/xbt/mmalloc/mm_module.c
64 src/xbt/mmalloc/mmalloc.c
65 src/xbt/mmalloc/mmalloc.info
66 src/xbt/mmalloc/mmalloc.texi
67 src/xbt/mmalloc/mmorecore.c
68 src/xbt/mmalloc/mmprivate.h
69 src/xbt/mmalloc/mrealloc.c
70 src/xbt/mmalloc/swag.c
71 src/xbt/mmalloc/swag.h
75 src/smpi/bindings/smpi_f77.cpp
76 src/smpi/bindings/smpi_f77_coll.cpp
77 src/smpi/bindings/smpi_f77_comm.cpp
78 src/smpi/bindings/smpi_f77_file.cpp
79 src/smpi/bindings/smpi_f77_request.cpp
80 src/smpi/bindings/smpi_f77_type.cpp
81 src/smpi/bindings/smpi_mpi.cpp
82 src/smpi/bindings/smpi_pmpi.cpp
83 src/smpi/bindings/smpi_pmpi_coll.cpp
84 src/smpi/bindings/smpi_pmpi_comm.cpp
85 src/smpi/bindings/smpi_pmpi_file.cpp
86 src/smpi/bindings/smpi_pmpi_group.cpp
87 src/smpi/bindings/smpi_pmpi_info.cpp
88 src/smpi/bindings/smpi_pmpi_op.cpp
89 src/smpi/bindings/smpi_pmpi_request.cpp
90 src/smpi/bindings/smpi_pmpi_topo.cpp
91 src/smpi/bindings/smpi_pmpi_type.cpp
92 src/smpi/bindings/smpi_pmpi_win.cpp
93 src/smpi/colls/allgather/allgather-2dmesh.cpp
94 src/smpi/colls/allgather/allgather-3dmesh.cpp
95 src/smpi/colls/allgather/allgather-GB.cpp
96 src/smpi/colls/allgather/allgather-NTSLR-NB.cpp
97 src/smpi/colls/allgather/allgather-NTSLR.cpp
98 src/smpi/colls/allgather/allgather-SMP-NTS.cpp
99 src/smpi/colls/allgather/allgather-bruck.cpp
100 src/smpi/colls/allgather/allgather-loosely-lr.cpp
101 src/smpi/colls/allgather/allgather-mvapich-smp.cpp
102 src/smpi/colls/allgather/allgather-ompi-neighborexchange.cpp
103 src/smpi/colls/allgather/allgather-pair.cpp
104 src/smpi/colls/allgather/allgather-rdb.cpp
105 src/smpi/colls/allgather/allgather-rhv.cpp
106 src/smpi/colls/allgather/allgather-ring.cpp
107 src/smpi/colls/allgather/allgather-smp-simple.cpp
108 src/smpi/colls/allgather/allgather-spreading-simple.cpp
109 src/smpi/colls/allgatherv/allgatherv-GB.cpp
110 src/smpi/colls/allgatherv/allgatherv-mpich-rdb.cpp
111 src/smpi/colls/allgatherv/allgatherv-mpich-ring.cpp
112 src/smpi/colls/allgatherv/allgatherv-ompi-bruck.cpp
113 src/smpi/colls/allgatherv/allgatherv-ompi-neighborexchange.cpp
114 src/smpi/colls/allgatherv/allgatherv-pair.cpp
115 src/smpi/colls/allgatherv/allgatherv-ring.cpp
116 src/smpi/colls/allreduce/allreduce-lr.cpp
117 src/smpi/colls/allreduce/allreduce-mvapich-rs.cpp
118 src/smpi/colls/allreduce/allreduce-mvapich-two-level.cpp
119 src/smpi/colls/allreduce/allreduce-ompi-ring-segmented.cpp
120 src/smpi/colls/allreduce/allreduce-rab-rdb.cpp
121 src/smpi/colls/allreduce/allreduce-rab1.cpp
122 src/smpi/colls/allreduce/allreduce-rab2.cpp
123 src/smpi/colls/allreduce/allreduce-rdb.cpp
124 src/smpi/colls/allreduce/allreduce-redbcast.cpp
125 src/smpi/colls/allreduce/allreduce-smp-binomial-pipeline.cpp
126 src/smpi/colls/allreduce/allreduce-smp-binomial.cpp
127 src/smpi/colls/allreduce/allreduce-smp-rdb.cpp
128 src/smpi/colls/allreduce/allreduce-smp-rsag-lr.cpp
129 src/smpi/colls/allreduce/allreduce-smp-rsag-rab.cpp
130 src/smpi/colls/allreduce/allreduce-smp-rsag.cpp
131 src/smpi/colls/alltoall/alltoall-2dmesh.cpp
132 src/smpi/colls/alltoall/alltoall-3dmesh.cpp
133 src/smpi/colls/alltoall/alltoall-basic-linear.cpp
134 src/smpi/colls/alltoall/alltoall-bruck.cpp
135 src/smpi/colls/alltoall/alltoall-mvapich-scatter-dest.cpp
136 src/smpi/colls/alltoall/alltoall-pair-light-barrier.cpp
137 src/smpi/colls/alltoall/alltoall-pair-mpi-barrier.cpp
138 src/smpi/colls/alltoall/alltoall-pair-one-barrier.cpp
139 src/smpi/colls/alltoall/alltoall-pair.cpp
140 src/smpi/colls/alltoall/alltoall-rdb.cpp
141 src/smpi/colls/alltoall/alltoall-ring-light-barrier.cpp
142 src/smpi/colls/alltoall/alltoall-ring-mpi-barrier.cpp
143 src/smpi/colls/alltoall/alltoall-ring-one-barrier.cpp
144 src/smpi/colls/alltoall/alltoall-ring.cpp
145 src/smpi/colls/alltoallv/alltoallv-bruck.cpp
146 src/smpi/colls/alltoallv/alltoallv-ompi-basic-linear.cpp
147 src/smpi/colls/alltoallv/alltoallv-pair-light-barrier.cpp
148 src/smpi/colls/alltoallv/alltoallv-pair-mpi-barrier.cpp
149 src/smpi/colls/alltoallv/alltoallv-pair-one-barrier.cpp
150 src/smpi/colls/alltoallv/alltoallv-pair.cpp
151 src/smpi/colls/alltoallv/alltoallv-ring-light-barrier.cpp
152 src/smpi/colls/alltoallv/alltoallv-ring-mpi-barrier.cpp
153 src/smpi/colls/alltoallv/alltoallv-ring-one-barrier.cpp
154 src/smpi/colls/alltoallv/alltoallv-ring.cpp
155 src/smpi/colls/barrier/barrier-mpich-smp.cpp
156 src/smpi/colls/barrier/barrier-mvapich2-pair.cpp
157 src/smpi/colls/barrier/barrier-ompi.cpp
158 src/smpi/colls/bcast/bcast-NTSB.cpp
159 src/smpi/colls/bcast/bcast-NTSL-Isend.cpp
160 src/smpi/colls/bcast/bcast-NTSL.cpp
161 src/smpi/colls/bcast/bcast-SMP-binary.cpp
162 src/smpi/colls/bcast/bcast-SMP-binomial.cpp
163 src/smpi/colls/bcast/bcast-SMP-linear.cpp
164 src/smpi/colls/bcast/bcast-arrival-pattern-aware-wait.cpp
165 src/smpi/colls/bcast/bcast-arrival-pattern-aware.cpp
166 src/smpi/colls/bcast/bcast-arrival-scatter.cpp
167 src/smpi/colls/bcast/bcast-binomial-tree.cpp
168 src/smpi/colls/bcast/bcast-flattree-pipeline.cpp
169 src/smpi/colls/bcast/bcast-flattree.cpp
170 src/smpi/colls/bcast/bcast-mvapich-smp.cpp
171 src/smpi/colls/bcast/bcast-ompi-pipeline.cpp
172 src/smpi/colls/bcast/bcast-ompi-split-bintree.cpp
173 src/smpi/colls/bcast/bcast-scatter-LR-allgather.cpp
174 src/smpi/colls/bcast/bcast-scatter-rdb-allgather.cpp
175 src/smpi/colls/coll_tuned_topo.cpp
176 src/smpi/colls/colls_global.cpp
177 src/smpi/colls/gather/gather-mvapich.cpp
178 src/smpi/colls/gather/gather-ompi.cpp
179 src/smpi/colls/reduce/reduce-NTSL.cpp
180 src/smpi/colls/reduce/reduce-arrival-pattern-aware.cpp
181 src/smpi/colls/reduce/reduce-binomial.cpp
182 src/smpi/colls/reduce/reduce-flat-tree.cpp
183 src/smpi/colls/reduce/reduce-mvapich-knomial.cpp
184 src/smpi/colls/reduce/reduce-mvapich-two-level.cpp
185 src/smpi/colls/reduce/reduce-ompi.cpp
186 src/smpi/colls/reduce/reduce-rab.cpp
187 src/smpi/colls/reduce/reduce-scatter-gather.cpp
188 src/smpi/colls/reduce_scatter/reduce_scatter-mpich.cpp
189 src/smpi/colls/reduce_scatter/reduce_scatter-ompi.cpp
190 src/smpi/colls/scatter/scatter-mvapich-two-level.cpp
191 src/smpi/colls/scatter/scatter-ompi.cpp
192 src/smpi/colls/smpi_automatic_selector.cpp
193 src/smpi/colls/smpi_coll.cpp
194 src/smpi/colls/smpi_default_selector.cpp
195 src/smpi/colls/smpi_intel_mpi_selector.cpp
196 src/smpi/colls/smpi_mpich_selector.cpp
197 src/smpi/colls/smpi_mvapich2_selector.cpp
198 src/smpi/colls/smpi_nbc_impl.cpp
199 src/smpi/colls/smpi_openmpi_selector.cpp
200 src/smpi/include/smpi_actor.hpp
201 src/smpi/include/smpi_coll.hpp
202 src/smpi/include/smpi_comm.hpp
203 src/smpi/include/smpi_config.hpp
204 src/smpi/include/smpi_datatype.hpp
205 src/smpi/include/smpi_datatype_derived.hpp
206 src/smpi/include/smpi_errhandler.hpp
207 src/smpi/include/smpi_f2c.hpp
208 src/smpi/include/smpi_file.hpp
209 src/smpi/include/smpi_group.hpp
210 src/smpi/include/smpi_host.hpp
211 src/smpi/include/smpi_info.hpp
212 src/smpi/include/smpi_keyvals.hpp
213 src/smpi/include/smpi_op.hpp
214 src/smpi/include/smpi_replay.hpp
215 src/smpi/include/smpi_request.hpp
216 src/smpi/include/smpi_status.hpp
217 src/smpi/include/smpi_topo.hpp
218 src/smpi/include/smpi_win.hpp
219 src/smpi/internals/instr_smpi.cpp
220 src/smpi/internals/smpi_actor.cpp
221 src/smpi/internals/smpi_bench.cpp
222 src/smpi/internals/smpi_config.cpp
223 src/smpi/internals/smpi_deployment.cpp
224 src/smpi/internals/smpi_global.cpp
225 src/smpi/internals/smpi_host.cpp
226 src/smpi/internals/smpi_memory.cpp
227 src/smpi/internals/smpi_replay.cpp
228 src/smpi/internals/smpi_shared.cpp
229 src/smpi/internals/smpi_utils.cpp
230 src/smpi/mpi/smpi_comm.cpp
231 src/smpi/mpi/smpi_datatype.cpp
232 src/smpi/mpi/smpi_datatype_derived.cpp
233 src/smpi/mpi/smpi_errhandler.cpp
234 src/smpi/mpi/smpi_f2c.cpp
235 src/smpi/mpi/smpi_file.cpp
236 src/smpi/mpi/smpi_group.cpp
237 src/smpi/mpi/smpi_info.cpp
238 src/smpi/mpi/smpi_keyvals.cpp
239 src/smpi/mpi/smpi_op.cpp
240 src/smpi/mpi/smpi_request.cpp
241 src/smpi/mpi/smpi_status.cpp
242 src/smpi/mpi/smpi_topo.cpp
243 src/smpi/mpi/smpi_win.cpp
244 src/smpi/plugins/ampi/ampi.cpp
245 src/smpi/plugins/ampi/ampi.hpp
246 src/smpi/plugins/ampi/instr_ampi.cpp
247 src/smpi/plugins/ampi/instr_ampi.hpp
248 src/kernel/resource/models/network_ib.cpp
251 src/sthread/sthread_impl.cpp
252 src/sthread/sthread.c
253 src/sthread/sthread.h
257 src/xbt/OsSemaphore.hpp
258 src/xbt/PropertyHolder.cpp
259 src/xbt/automaton/automaton.c
260 src/xbt/automaton/automatonparse_promela.c
261 src/xbt/backtrace.cpp
264 src/xbt/dict_cursor.c
267 src/xbt/exception.cpp
271 src/xbt/memory_map.cpp
272 src/xbt/memory_map.hpp
277 src/xbt/xbt_log_appender_file.cpp
278 src/xbt/xbt_log_layout_format.cpp
279 src/xbt/xbt_log_layout_simple.cpp
281 src/xbt/xbt_os_file.cpp
282 src/xbt/xbt_os_time.c
283 src/xbt/xbt_parse_units.cpp
284 src/xbt/xbt_replay.cpp
289 set(SGMALLOC_SRC src/xbt/mmalloc/mm.c)
290 set(XBT_SRC ${XBT_SRC} src/xbt/mmalloc/mm.c)
292 set(EXTRA_DIST ${EXTRA_DIST} src/xbt/mmalloc/mm.c)
296 src/kernel/resource/models/network_ns3.cpp
297 src/kernel/resource/models/ns3/ns3_simulator.cpp
303 src/kernel/EngineImpl.cpp
304 src/kernel/EngineImpl.hpp
306 src/kernel/activity/ActivityImpl.cpp
307 src/kernel/activity/ActivityImpl.hpp
308 src/kernel/activity/BarrierImpl.cpp
309 src/kernel/activity/BarrierImpl.hpp
310 src/kernel/activity/CommImpl.cpp
311 src/kernel/activity/CommImpl.hpp
312 src/kernel/activity/ConditionVariableImpl.cpp
313 src/kernel/activity/ConditionVariableImpl.hpp
314 src/kernel/activity/ExecImpl.cpp
315 src/kernel/activity/ExecImpl.hpp
316 src/kernel/activity/IoImpl.cpp
317 src/kernel/activity/IoImpl.hpp
318 src/kernel/activity/MailboxImpl.cpp
319 src/kernel/activity/MailboxImpl.hpp
320 src/kernel/activity/MutexImpl.cpp
321 src/kernel/activity/MutexImpl.hpp
322 src/kernel/activity/SemaphoreImpl.cpp
323 src/kernel/activity/SemaphoreImpl.hpp
324 src/kernel/activity/SleepImpl.cpp
325 src/kernel/activity/SleepImpl.hpp
326 src/kernel/activity/Synchro.cpp
327 src/kernel/activity/Synchro.hpp
329 src/kernel/actor/ActorImpl.cpp
330 src/kernel/actor/ActorImpl.hpp
331 src/kernel/actor/CommObserver.cpp
332 src/kernel/actor/CommObserver.hpp
333 src/kernel/actor/Simcall.cpp
334 src/kernel/actor/SimcallObserver.cpp
335 src/kernel/actor/SimcallObserver.hpp
336 src/kernel/actor/SynchroObserver.cpp
337 src/kernel/actor/SynchroObserver.hpp
339 src/kernel/context/Context.cpp
340 src/kernel/context/Context.hpp
341 src/kernel/context/ContextRaw.cpp
342 src/kernel/context/ContextRaw.hpp
343 src/kernel/context/ContextSwapped.cpp
344 src/kernel/context/ContextSwapped.hpp
345 src/kernel/context/ContextThread.cpp
346 src/kernel/context/ContextThread.hpp
348 src/kernel/lmm/System.cpp
349 src/kernel/lmm/System.hpp
350 src/kernel/lmm/fair_bottleneck.cpp
351 src/kernel/lmm/fair_bottleneck.hpp
352 src/kernel/lmm/maxmin.cpp
353 src/kernel/lmm/maxmin.hpp
355 src/kernel/resource/Action.cpp
356 src/kernel/resource/CpuImpl.cpp
357 src/kernel/resource/CpuImpl.hpp
358 src/kernel/resource/DiskImpl.cpp
359 src/kernel/resource/DiskImpl.hpp
360 src/kernel/resource/FactorSet.cpp
361 src/kernel/resource/FactorSet.hpp
362 src/kernel/resource/HostImpl.cpp
363 src/kernel/resource/Model.cpp
364 src/kernel/resource/NetworkModel.cpp
365 src/kernel/resource/NetworkModelFactors.cpp
366 src/kernel/resource/Resource.hpp
367 src/kernel/resource/SplitDuplexLinkImpl.cpp
368 src/kernel/resource/StandardLinkImpl.cpp
369 src/kernel/resource/VirtualMachineImpl.cpp
370 src/kernel/resource/VirtualMachineImpl.hpp
371 src/kernel/resource/WifiLinkImpl.cpp
373 src/kernel/resource/models/cpu_cas01.cpp
374 src/kernel/resource/models/cpu_ti.cpp
375 src/kernel/resource/models/disk_s19.cpp
376 src/kernel/resource/models/host_clm03.cpp
377 src/kernel/resource/models/network_cm02.cpp
378 src/kernel/resource/models/network_constant.cpp
379 src/kernel/resource/models/ptask_L07.cpp
381 src/kernel/resource/profile/Event.hpp
382 src/kernel/resource/profile/FutureEvtSet.cpp
383 src/kernel/resource/profile/FutureEvtSet.hpp
384 src/kernel/resource/profile/Profile.cpp
385 src/kernel/resource/profile/Profile.hpp
386 src/kernel/resource/profile/ProfileBuilder.cpp
387 src/kernel/resource/profile/StochasticDatedValue.cpp
388 src/kernel/resource/profile/StochasticDatedValue.hpp
390 src/kernel/routing/ClusterZone.cpp
391 src/kernel/routing/DijkstraZone.cpp
392 src/kernel/routing/DragonflyZone.cpp
393 src/kernel/routing/EmptyZone.cpp
394 src/kernel/routing/FatTreeZone.cpp
395 src/kernel/routing/FloydZone.cpp
396 src/kernel/routing/FullZone.cpp
397 src/kernel/routing/NetPoint.cpp
398 src/kernel/routing/NetZoneImpl.cpp
399 src/kernel/routing/RoutedZone.cpp
400 src/kernel/routing/StarZone.cpp
401 src/kernel/routing/TorusZone.cpp
402 src/kernel/routing/VivaldiZone.cpp
403 src/kernel/routing/WifiZone.cpp
405 src/kernel/timer/Timer.cpp
407 src/kernel/xml/platf.hpp
408 src/kernel/xml/platf_private.hpp
409 src/kernel/xml/sg_platf.cpp
410 src/kernel/xml/platf_sax_cb.cpp
415 src/kernel/lmm/bmf.cpp
416 src/kernel/lmm/bmf.hpp)
420 src/kernel/lmm/bmf.cpp
421 src/kernel/lmm/bmf.hpp)
423 # Boost context may not be available
424 if (HAVE_BOOST_CONTEXTS)
427 src/kernel/context/ContextBoost.cpp
428 src/kernel/context/ContextBoost.hpp)
432 src/kernel/context/ContextBoost.cpp
433 src/kernel/context/ContextBoost.hpp)
437 src/plugins/ProducerConsumer.cpp
438 src/plugins/chaos_monkey.cpp
439 src/plugins/file_system/s4u_FileSystem.cpp
440 src/plugins/host_dvfs.cpp
441 src/plugins/host_energy.cpp
442 src/plugins/host_load.cpp
443 src/plugins/link_energy.cpp
444 src/plugins/link_energy_wifi.cpp
445 src/plugins/link_load.cpp
446 src/plugins/vm/VmLiveMigration.cpp
447 src/plugins/vm/VmLiveMigration.hpp
448 src/plugins/vm/dirty_page_tracking.cpp
453 src/s4u/s4u_Activity.cpp
454 src/s4u/s4u_Actor.cpp
455 src/s4u/s4u_Barrier.cpp
457 src/s4u/s4u_ConditionVariable.cpp
459 src/s4u/s4u_Engine.cpp
464 src/s4u/s4u_Mailbox.cpp
465 src/s4u/s4u_Mutex.cpp
466 src/s4u/s4u_Netzone.cpp
467 src/s4u/s4u_Semaphore.cpp
468 src/s4u/s4u_VirtualMachine.cpp
472 src/simgrid/Exception.cpp
473 src/simgrid/module.cpp
474 src/simgrid/module.hpp
475 src/simgrid/sg_config.cpp
476 src/simgrid/sg_version.cpp
485 src/instr/instr_config.cpp
486 src/instr/instr_interface.cpp
487 src/instr/instr_paje_containers.cpp
488 src/instr/instr_paje_containers.hpp
489 src/instr/instr_paje_events.cpp
490 src/instr/instr_paje_events.hpp
491 src/instr/instr_paje_header.cpp
492 src/instr/instr_paje_trace.cpp
493 src/instr/instr_paje_types.cpp
494 src/instr/instr_paje_types.hpp
495 src/instr/instr_paje_values.hpp
496 src/instr/instr_platform.cpp
497 src/instr/instr_private.hpp
498 src/instr/instr_resource_utilization.cpp
499 src/instr/instr_smpi.hpp
505 src/mc/mc_client_api.cpp
512 src/mc/transition/Transition.cpp
516 src/mc/explo/CommunicationDeterminismChecker.cpp
517 src/mc/explo/DFSExplorer.cpp
518 src/mc/explo/DFSExplorer.hpp
519 src/mc/explo/Exploration.cpp
520 src/mc/explo/Exploration.hpp
521 src/mc/explo/LivenessChecker.cpp
522 src/mc/explo/LivenessChecker.hpp
523 src/mc/explo/UdporChecker.cpp
524 src/mc/explo/UdporChecker.hpp
526 src/mc/inspect/DwarfExpression.cpp
527 src/mc/inspect/DwarfExpression.hpp
528 src/mc/inspect/Frame.cpp
529 src/mc/inspect/Frame.hpp
530 src/mc/inspect/LocationList.cpp
531 src/mc/inspect/LocationList.hpp
532 src/mc/inspect/ObjectInformation.cpp
533 src/mc/inspect/ObjectInformation.hpp
534 src/mc/inspect/Type.hpp
535 src/mc/inspect/Variable.hpp
536 src/mc/inspect/mc_dwarf.cpp
537 src/mc/inspect/mc_dwarf.hpp
538 src/mc/inspect/mc_dwarf_attrnames.cpp
539 src/mc/inspect/mc_dwarf_tagnames.cpp
540 src/mc/inspect/mc_member.cpp
541 src/mc/inspect/mc_unw.cpp
542 src/mc/inspect/mc_unw.hpp
543 src/mc/inspect/mc_unw_vmread.cpp
545 src/mc/remote/AppSide.cpp
546 src/mc/remote/AppSide.hpp
547 src/mc/remote/Channel.cpp
548 src/mc/remote/Channel.hpp
549 src/mc/remote/CheckerSide.cpp
550 src/mc/remote/CheckerSide.hpp
551 src/mc/remote/RemoteProcess.cpp
552 src/mc/remote/RemoteProcess.hpp
553 src/mc/remote/RemotePtr.hpp
554 src/mc/remote/mc_protocol.h
556 src/mc/sosp/ChunkedData.cpp
557 src/mc/sosp/ChunkedData.hpp
558 src/mc/sosp/PageStore.cpp
559 src/mc/sosp/PageStore.hpp
560 src/mc/sosp/Region.cpp
561 src/mc/sosp/Region.hpp
562 src/mc/sosp/Snapshot.cpp
563 src/mc/sosp/Snapshot.hpp
565 src/mc/transition/Transition.hpp
566 src/mc/transition/TransitionActorJoin.cpp
567 src/mc/transition/TransitionActorJoin.hpp
568 src/mc/transition/TransitionAny.cpp
569 src/mc/transition/TransitionAny.hpp
570 src/mc/transition/TransitionComm.cpp
571 src/mc/transition/TransitionComm.hpp
572 src/mc/transition/TransitionRandom.cpp
573 src/mc/transition/TransitionRandom.hpp
574 src/mc/transition/TransitionSynchro.cpp
575 src/mc/transition/TransitionSynchro.hpp
577 src/mc/AddressSpace.hpp
578 src/mc/ModelChecker.cpp
579 src/mc/ModelChecker.hpp
580 src/mc/VisitedState.cpp
581 src/mc/VisitedState.hpp
582 src/mc/api/ActorState.hpp
585 src/mc/api/RemoteApp.cpp
586 src/mc/api/RemoteApp.hpp
589 src/mc/mc_forward.hpp
590 src/mc/mc_private.hpp
592 src/mc/udpor_global.cpp
593 src/mc/udpor_global.hpp
595 src/xbt/mmalloc/mm_interface.c
598 set(MC_SIMGRID_MC_SRC src/mc/explo/simgrid_mc.cpp)
600 set(headers_to_install
601 include/simgrid/actor.h
602 include/simgrid/barrier.h
603 include/simgrid/comm.h
604 include/simgrid/engine.h
605 include/simgrid/exec.h
606 include/simgrid/Exception.hpp
607 include/simgrid/chrono.hpp
608 include/simgrid/plugins/dvfs.h
609 include/simgrid/plugins/energy.h
610 include/simgrid/plugins/file_system.h
611 include/simgrid/plugins/live_migration.h
612 include/simgrid/plugins/load.h
613 include/simgrid/plugins/ProducerConsumer.hpp
614 include/simgrid/instr.h
615 include/simgrid/mailbox.h
616 include/simgrid/modelchecker.h
617 include/simgrid/forward.h
618 include/simgrid/simix.h
619 include/simgrid/simix.hpp
620 include/simgrid/kernel/ProfileBuilder.hpp
621 include/simgrid/kernel/Timer.hpp
622 include/simgrid/disk.h
623 include/simgrid/host.h
624 include/simgrid/link.h
625 include/simgrid/cond.h
626 include/simgrid/mutex.h
627 include/simgrid/semaphore.h
629 include/simgrid/zone.h
630 include/simgrid/s4u/Activity.hpp
631 include/simgrid/s4u/Actor.hpp
632 include/simgrid/s4u/Barrier.hpp
633 include/simgrid/s4u/Comm.hpp
634 include/simgrid/s4u/ConditionVariable.hpp
635 include/simgrid/s4u/Disk.hpp
636 include/simgrid/s4u/Engine.hpp
637 include/simgrid/s4u/Exec.hpp
638 include/simgrid/s4u/Host.hpp
639 include/simgrid/s4u/Io.hpp
640 include/simgrid/s4u/Link.hpp
641 include/simgrid/s4u/Mailbox.hpp
642 include/simgrid/s4u/Mutex.hpp
643 include/simgrid/s4u/NetZone.hpp
644 include/simgrid/s4u/Semaphore.hpp
645 include/simgrid/s4u/VirtualMachine.hpp
646 include/simgrid/s4u.hpp
648 include/simgrid/kernel/resource/Action.hpp
649 include/simgrid/kernel/resource/Model.hpp
651 include/simgrid/kernel/routing/ClusterZone.hpp
652 include/simgrid/kernel/routing/DijkstraZone.hpp
653 include/simgrid/kernel/routing/DragonflyZone.hpp
654 include/simgrid/kernel/routing/EmptyZone.hpp
655 include/simgrid/kernel/routing/FatTreeZone.hpp
656 include/simgrid/kernel/routing/FloydZone.hpp
657 include/simgrid/kernel/routing/FullZone.hpp
658 include/simgrid/kernel/routing/NetPoint.hpp
659 include/simgrid/kernel/routing/NetZoneImpl.hpp
660 include/simgrid/kernel/routing/RoutedZone.hpp
661 include/simgrid/kernel/routing/StarZone.hpp
662 include/simgrid/kernel/routing/TorusZone.hpp
663 include/simgrid/kernel/routing/VivaldiZone.hpp
664 include/simgrid/kernel/routing/WifiZone.hpp
669 include/smpi/smpi_helpers.h
670 include/smpi/smpi_helpers_internal.h
671 include/smpi/smpi_extended_traces.h
672 include/smpi/smpi_extended_traces_fortran.h
673 include/smpi/forward.hpp
675 include/xbt/asserts.h
676 include/xbt/asserts.hpp
677 include/xbt/automaton.h
678 include/xbt/automaton.hpp
679 include/xbt/backtrace.hpp
682 include/xbt/config.hpp
686 include/xbt/Extendable.hpp
688 include/xbt/functional.hpp
689 include/xbt/function_types.h
693 include/xbt/mallocator.h
696 include/xbt/PropertyHolder.hpp
698 include/xbt/parse_units.hpp
699 include/xbt/promise.hpp
700 include/xbt/range.hpp
701 include/xbt/random.hpp
702 include/xbt/replay.hpp
703 include/xbt/signal.hpp
705 include/xbt/string.hpp
707 include/xbt/system_error.hpp
708 include/xbt/utility.hpp
710 include/xbt/xbt_os_time.h
712 set(source_of_generated_headers
713 include/simgrid/config.h.in
714 include/simgrid/version.h.in
715 src/internal_config.h.in
716 include/smpi/mpif.h.in)
718 ### depend of some variables set upper
719 if(${HAVE_UCONTEXT_CONTEXTS}) #ucontext
720 set(KERNEL_SRC ${KERNEL_SRC} src/kernel/context/ContextUnix.hpp
721 src/kernel/context/ContextUnix.cpp)
722 else() # NOT ucontext
723 set(EXTRA_DIST ${EXTRA_DIST} src/kernel/context/ContextUnix.hpp
724 src/kernel/context/ContextUnix.cpp)
727 ### Simgrid Lib sources
740 set(simgrid_sources ${simgrid_sources} ${SMPI_SRC})
744 set(simgrid_sources ${simgrid_sources} ${MC_SRC})
748 set(headers_to_install ${headers_to_install} include/simgrid/plugins/ns3.hpp)
750 set(simgrid_sources ${simgrid_sources} ${NS3_SRC})
752 set(EXTRA_DIST ${EXTRA_DIST} include/simgrid/plugins/ns3.hpp)
757 doc/doxygen/inside_extending.doc
758 doc/doxygen/inside_release.doc
759 doc/doxygen/outcomes_vizu.doc
760 doc/doxygen/uhood.doc
761 doc/doxygen/uhood_switch.doc
765 docs/manpages/smpicc.1
766 docs/manpages/smpicxx.1
767 docs/manpages/smpif90.1
768 docs/manpages/smpiff.1
769 docs/manpages/smpirun.1
770 docs/manpages/tesh.pod
774 docs/bin/extract_logs_hierarchy.pl
775 docs/requirements.txt
778 docs/find-missing.ignore
780 docs/source/_ext/showfile.css
781 docs/source/_ext/showfile.js
782 docs/source/_ext/showfile.py
783 docs/source/_static/css/custom.css
784 docs/source/_templates/breadcrumbs.html
786 docs/source/img/eclipseScreenShot.png
787 docs/source/img/extlink.png
788 docs/source/img/extlink.svg
789 docs/source/img/graphical-toc.svg
790 docs/source/img/lmm-overview.svg
791 docs/source/img/plugin-energy.svg
792 docs/source/img/smpi_simgrid_alltoall_pair_16.png
793 docs/source/img/smpi_simgrid_alltoall_ring_16.png
794 docs/source/img/starzone.drawio
795 docs/source/img/starzone.svg
796 docs/source/img/vivaldi.svg
797 docs/source/img/zone_hierarchy.png
798 docs/source/img/zone_tree.drawio
799 docs/source/img/zone_tree.svg
800 docs/source/img/zoom_comm.drawio
801 docs/source/img/zoom_comm.svg
803 docs/source/application.rst
804 docs/source/app_s4u.rst
805 docs/source/app_smpi.rst
806 docs/source/The_XBT_toolbox.rst
807 docs/source/Calibrating_the_models.rst
808 docs/source/community.rst
809 docs/source/Configuring_SimGrid.rst
810 docs/source/Deploying_your_application.rst
811 docs/source/Contributors_Documentation.rst
812 docs/source/Examples.rst
813 docs/source/Experimental_setup.rst
814 docs/source/index.rst
816 docs/source/Introduction.rst
817 docs/source/Installing_SimGrid.rst
818 docs/source/Start_your_own_project.rst
819 docs/source/Models.rst
820 docs/source/Modeling_howtos.rst
821 docs/source/Outcomes.rst
822 docs/source/Platform.rst
823 docs/source/Platform_cpp.rst
824 docs/source/Platform_examples.rst
825 docs/source/Platform_routing.rst
826 docs/source/Plugins.rst
827 docs/source/Release_Notes.rst
828 docs/source/XML_reference.rst
829 docs/source/Design_goals.rst
831 docs/source/Tutorial_Algorithms.rst
832 docs/source/tuto_s4u/deployment1.xml
833 docs/source/tuto_s4u/deployment2.xml
834 docs/source/tuto_s4u/deployment3.xml
835 docs/source/tuto_s4u/deployment5.xml
836 docs/source/tuto_s4u/draw_gantt.R
837 docs/source/tuto_s4u/img/intro.svg
838 docs/source/tuto_s4u/img/question.svg
839 docs/source/tuto_s4u/img/result.png
840 docs/source/tuto_s4u/img/Rscript-screenshot.png
841 docs/source/tuto_s4u/img/vite-screenshot.png
842 docs/source/tuto_s4u/master-workers-lab1.cpp
843 docs/source/tuto_s4u/master-workers-lab1.py
844 docs/source/tuto_s4u/master-workers-lab2.cpp
845 docs/source/tuto_s4u/master-workers-lab2.py
846 docs/source/tuto_s4u/master-workers-lab3.cpp
847 docs/source/tuto_s4u/master-workers-lab4.cpp
849 docs/source/Tutorial_MPI_Applications.rst
850 docs/source/tuto_smpi/3hosts.png
851 docs/source/tuto_smpi/3hosts.xml
852 docs/source/tuto_smpi/img/big-picture.svg
853 docs/source/tuto_smpi/img/lu.S.4.png
854 docs/source/tuto_smpi/gemm_mpi.cpp
855 docs/source/tuto_smpi/roundtrip.c
857 docs/source/tuto_mc/ndet-receive-mpi.c
858 docs/source/tuto_mc/ndet-receive-s4u.cpp
860 docs/source/tuto_disk/analysis.org
861 docs/source/tuto_disk/analysis.irst
862 docs/source/tuto_disk/CMakeLists.txt
863 docs/source/tuto_disk/Dockerfile
864 docs/source/tuto_disk/fig/edel_read_dhist.png
865 docs/source/tuto_disk/fig/edel_write_dhist.png
866 docs/source/tuto_disk/fig/griffon_deg.png
867 docs/source/tuto_disk/fig/griffon_read_dhist.png
868 docs/source/tuto_disk/fig/griffon_write_dhist.png
869 docs/source/tuto_disk/fig/simgrid_results.png
870 docs/source/tuto_disk/init.el
871 docs/source/tuto_disk/tuto_disk.cpp
872 docs/source/tuto_network_calibration/CMakeLists.txt
873 docs/source/tuto_network_calibration/dahu_platform_ckmeans.cpp
874 docs/source/tuto_network_calibration/dahu_platform_dhist.cpp
875 docs/source/tuto_network_calibration/Dockerfile
876 docs/source/tuto_network_calibration/fig/pingpong_real.drawio
877 docs/source/tuto_network_calibration/fig/pingpong_real.png
878 docs/source/tuto_network_calibration/fig/pingpong_simgrid.drawio
879 docs/source/tuto_network_calibration/fig/pingpong_simgrid.png
880 docs/source/tuto_network_calibration/isend_ckmeans.json
881 docs/source/tuto_network_calibration/isend_dhist.json
882 docs/source/tuto_network_calibration/network_calibration_tutorial.rst
883 docs/source/tuto_network_calibration/pingpong_ckmeans.json
884 docs/source/tuto_network_calibration/pingpong_dhist.json
885 docs/source/tuto_network_calibration/plot_ckmeans_PingPong.png
886 docs/source/tuto_network_calibration/plot_dhist_PingPong.png
887 docs/source/tuto_network_calibration/plot_op_average.png
888 docs/source/tuto_network_calibration/plot_op_raw.png
889 docs/source/tuto_network_calibration/plot_op_segmented.png
890 docs/source/tuto_network_calibration/plot_op_simgrid_ckmeans.png
891 docs/source/tuto_network_calibration/plot_op_simgrid_dhist.png
892 docs/source/tuto_network_calibration/recv_ckmeans.json
893 docs/source/tuto_network_calibration/recv_dhist.json
894 docs/source/tuto_network_calibration/send_ckmeans.json
895 docs/source/tuto_network_calibration/send_dhist.json
896 docs/source/tuto_network_calibration/Utils.cpp
897 docs/source/tuto_network_calibration/Utils.hpp
899 docs/source/Tutorial_Model-checking.rst
905 tools/doxygen/list_routing_models_examples.sh
908 # these files get copied automatically to the html documentation
917 src/smpi/smpitools.sh
930 # The list of cmake build directories is constructed from the following list.
931 # Add your CMakeLists file here to see your subdir built.
933 examples/c/CMakeLists.txt
934 examples/cpp/CMakeLists.txt
935 examples/platforms/CMakeLists.txt
936 examples/python/CMakeLists.txt
937 examples/smpi/CMakeLists.txt
938 examples/smpi/NAS/CMakeLists.txt
939 examples/smpi/comm_dynamic_costs/CMakeLists.txt
940 examples/smpi/replay_multiple/CMakeLists.txt
941 examples/smpi/replay_multiple_manual_deploy/CMakeLists.txt
942 examples/smpi/smpi_s4u_masterworker/CMakeLists.txt
943 examples/sthread/CMakeLists.txt
945 teshsuite/kernel/CMakeLists.txt
946 teshsuite/mc/CMakeLists.txt
947 teshsuite/models/CMakeLists.txt
948 teshsuite/platforms/CMakeLists.txt
949 teshsuite/python/CMakeLists.txt
950 teshsuite/s4u/CMakeLists.txt
951 teshsuite/smpi/CMakeLists.txt
953 teshsuite/smpi/MBI/CMakeLists.txt
954 teshsuite/smpi/mpich3-test/CMakeLists.txt
955 teshsuite/smpi/mpich3-test/attr/CMakeLists.txt
956 teshsuite/smpi/mpich3-test/coll/CMakeLists.txt
957 teshsuite/smpi/mpich3-test/comm/CMakeLists.txt
958 teshsuite/smpi/mpich3-test/datatype/CMakeLists.txt
959 teshsuite/smpi/mpich3-test/errhan/CMakeLists.txt
960 teshsuite/smpi/mpich3-test/f77/attr/CMakeLists.txt
961 teshsuite/smpi/mpich3-test/f77/coll/CMakeLists.txt
962 teshsuite/smpi/mpich3-test/f77/comm/CMakeLists.txt
963 teshsuite/smpi/mpich3-test/f77/datatype/CMakeLists.txt
964 teshsuite/smpi/mpich3-test/f77/ext/CMakeLists.txt
965 teshsuite/smpi/mpich3-test/f77/info/CMakeLists.txt
966 teshsuite/smpi/mpich3-test/f77/init/CMakeLists.txt
967 teshsuite/smpi/mpich3-test/f77/pt2pt/CMakeLists.txt
968 teshsuite/smpi/mpich3-test/f77/rma/CMakeLists.txt
969 teshsuite/smpi/mpich3-test/f77/topo/CMakeLists.txt
970 teshsuite/smpi/mpich3-test/f77/util/CMakeLists.txt
971 teshsuite/smpi/mpich3-test/f90/coll/CMakeLists.txt
972 teshsuite/smpi/mpich3-test/f90/datatype/CMakeLists.txt
973 teshsuite/smpi/mpich3-test/f90/info/CMakeLists.txt
974 teshsuite/smpi/mpich3-test/f90/init/CMakeLists.txt
975 teshsuite/smpi/mpich3-test/f90/pt2pt/CMakeLists.txt
976 teshsuite/smpi/mpich3-test/f90/rma/CMakeLists.txt
977 teshsuite/smpi/mpich3-test/f90/util/CMakeLists.txt
978 teshsuite/smpi/mpich3-test/group/CMakeLists.txt
979 teshsuite/smpi/mpich3-test/info/CMakeLists.txt
980 teshsuite/smpi/mpich3-test/init/CMakeLists.txt
981 teshsuite/smpi/mpich3-test/io/CMakeLists.txt
982 teshsuite/smpi/mpich3-test/perf/CMakeLists.txt
983 teshsuite/smpi/mpich3-test/pt2pt/CMakeLists.txt
984 teshsuite/smpi/mpich3-test/rma/CMakeLists.txt
985 teshsuite/smpi/mpich3-test/topo/CMakeLists.txt
987 teshsuite/xbt/CMakeLists.txt
989 tools/graphicator/CMakeLists.txt
990 tools/tesh/CMakeLists.txt
993 set(CMAKE_SOURCE_FILES
999 tools/cmake/CTestConfig.cmake
1000 tools/cmake/CTestCustom.cmake
1001 tools/cmake/DefinePackages.cmake
1002 tools/cmake/Distrib.cmake
1003 tools/cmake/Documentation.cmake
1004 tools/cmake/Flags.cmake
1005 tools/cmake/MaintainerMode.cmake
1006 tools/cmake/MakeLib.cmake
1007 tools/cmake/Modules/FindGraphviz.cmake
1008 tools/cmake/Modules/FindLibdw.cmake
1009 tools/cmake/Modules/FindLibelf.cmake
1010 tools/cmake/Modules/FindLibevent.cmake
1011 tools/cmake/Modules/FindLibunwind.cmake
1012 tools/cmake/Modules/FindNS3.cmake
1013 tools/cmake/Modules/FindPAPI.cmake
1014 tools/cmake/Modules/FindValgrind.cmake
1015 tools/cmake/Modules/pybind11Config.cmake
1016 tools/cmake/Option.cmake
1017 tools/cmake/Tests.cmake
1018 tools/cmake/scripts/fixup_simgrid_dtd_l.pl
1019 tools/cmake/scripts/my_valgrind.pl
1020 tools/cmake/scripts/update_tesh.pl
1021 tools/cmake/test_prog/prog_asan.cpp
1022 tools/cmake/test_prog/prog_makecontext.c
1023 tools/cmake/test_prog/prog_stackgrowth.c
1024 tools/cmake/test_prog/prog_stacksetup.c
1025 tools/cmake/test_prog/prog_tsan.cpp
1026 tools/simgrid-monkey
1027 tools/smpi/generate_smpi_defines.pl
1028 tools/stack-cleaner/README
1029 tools/stack-cleaner/as
1030 tools/stack-cleaner/c++
1031 tools/stack-cleaner/cc
1032 tools/stack-cleaner/clean-stack-filter
1033 tools/stack-cleaner/compiler-wrapper
1034 tools/stack-cleaner/fortran
1037 set(PLATFORMS_EXAMPLES
1038 examples/platforms/bypassRoute.xml
1039 examples/platforms/bypassZoneRoute.xml
1040 examples/platforms/cloud.xml
1041 examples/platforms/cluster_and_one_host.xml
1042 examples/platforms/cluster_backbone.svg
1043 examples/platforms/cluster_backbone.xml
1044 examples/platforms/cluster_crossbar.svg
1045 examples/platforms/cluster_crossbar.xml
1046 examples/platforms/cluster_dragonfly.svg
1047 examples/platforms/cluster_dragonfly.xml
1048 examples/platforms/cluster_fat_tree.svg
1049 examples/platforms/cluster_fat_tree.xml
1050 examples/platforms/cluster_multi.xml
1051 examples/platforms/cluster_torus.svg
1052 examples/platforms/cluster_torus.xml
1053 examples/platforms/config.xml
1054 examples/platforms/config_tracing.xml
1055 examples/platforms/crosstraffic.xml
1056 examples/platforms/data_center.xml
1057 examples/platforms/dogbone.xml
1058 examples/platforms/energy_boot.xml
1059 examples/platforms/energy_cluster.xml
1060 examples/platforms/energy_platform.xml
1061 examples/platforms/faulty_host.xml
1062 examples/platforms/g5k.xml
1063 examples/platforms/griffon.cpp
1064 examples/platforms/griffon.xml
1065 examples/platforms/hosts_with_disks.xml
1066 examples/platforms/meta_cluster.xml
1067 examples/platforms/model_checker_platform.xml
1068 examples/platforms/multicore_machine.xml
1069 examples/platforms/ns3-big-cluster.xml
1070 examples/platforms/onelink.xml
1071 examples/platforms/optorsim/gridpp_grid_2004.conf
1072 examples/platforms/optorsim/lcg_sept2004_grid.conf
1073 examples/platforms/optorsim/transform_optorsim_platform.pl
1074 examples/platforms/profiles/fafard_state.profile
1075 examples/platforms/profiles/faulty_host.profile
1076 examples/platforms/profiles/ginette_state.profile
1077 examples/platforms/profiles/jupiter_speed.profile
1078 examples/platforms/profiles/jupiter_state.profile
1079 examples/platforms/profiles/link1_bandwidth.profile
1080 examples/platforms/profiles/link1_latency.profile
1081 examples/platforms/profiles/link3_state.profile
1082 examples/platforms/profiles/link4_state.profile
1083 examples/platforms/profiles/trace_A.txt
1084 examples/platforms/profiles/trace_A_failure.txt
1085 examples/platforms/profiles/trace_B.txt
1086 examples/platforms/prop.xml
1087 examples/platforms/ptask_L07.xml
1088 examples/platforms/routing_cluster.cpp
1089 examples/platforms/routing_cluster.xml
1090 examples/platforms/simulacrum_7_hosts.xml
1091 examples/platforms/small_platform.xml
1092 examples/platforms/small_platform_failures.xml
1093 examples/platforms/small_platform_fatpipe.xml
1094 examples/platforms/small_platform_one_link_routes.xml
1095 examples/platforms/small_platform_profile.xml
1096 examples/platforms/small_platform_routing_none.xml
1097 examples/platforms/small_platform_with_routers.xml
1098 examples/platforms/storage/content/small_content.txt
1099 examples/platforms/storage/content/storage_content.txt
1100 examples/platforms/supernode.cpp
1101 examples/platforms/supernode.py
1102 examples/platforms/supernode.svg
1103 examples/platforms/syscoord/generate_peer_platform.pl
1104 examples/platforms/syscoord/median_harvard.syscoord
1105 examples/platforms/syscoord/median_meridian.syscoord
1106 examples/platforms/syscoord/median_p2psim.syscoord
1107 examples/platforms/three_multicore_hosts.xml
1108 examples/platforms/two_hosts.xml
1109 examples/platforms/two_hosts_platform_shared.xml
1110 examples/platforms/two_hosts_platform_with_availability_included.xml
1111 examples/platforms/two_hosts_profiles.xml
1112 examples/platforms/two_peers.xml
1113 examples/platforms/vivaldi.xml
1114 examples/platforms/wifi.xml
1115 examples/platforms/wifi_energy.xml
1116 examples/platforms/wifi_large_cell.xml
1117 examples/platforms/wifi_ns3.xml
1120 set(generated_src_files
1121 src/xbt/automaton/automaton_lexer.yy.c
1122 src/xbt/automaton/parserPromela.tab.cacc
1123 src/xbt/automaton/parserPromela.tab.hacc
1126 foreach(file ${generated_src_files})
1127 set_source_files_properties(${file} PROPERTIES GENERATED true)
1128 endforeach(file ${generated_src_files})