In particular, the build is configured by default to produce highly
optimized binaries, at the price of high compilation time. The
-rational is that users will compile SimGrid only once, and use it many
+rationale is that users will compile SimGrid only once, and use it many
times. This is exactly the contrary for the insiders, so you want to
turn off \b enable_compile_optimizations.
/* Handle import/export stuff
*
- * Rational of XBT_PUBLIC:
+ * Rationale of XBT_PUBLIC:
* * This is for library symbols visible from the application-land.
* Basically, any symbols defined in the include/directory must be like this (plus some other globals).
*
* * If you link your application against the DLL or if you do a UNIX build, don't do anything special. This file
* will do the right thing for you by default.
*
- * Rational of XBT_EXPORT_NO_IMPORT: (windows-only)
+ * Rationale of XBT_EXPORT_NO_IMPORT: (windows-only)
* * Symbols which must be exported in the DLL, but not imported from it.
*
* * This is obviously useful for initialized globals (which cannot be extern or similar).
* called from within SimGrid, the symbol must be exported, but when called from within the client code, it must
* not try to retrieve the symbol from the DLL since it's not in there.
*
- * Rational of XBT_IMPORT_NO_EXPORT: (windows-only)
+ * Rationale of XBT_IMPORT_NO_EXPORT: (windows-only)
* * Symbols which must be imported from the DLL, but not explicitly exported from it.
*
* * The root log category is already exported, but not imported explicitly when creating a subcategory since we
* Long proof: processes remain sorted through an arbitrary (implicit, complex but fixed) order in all cases.
*
* - if there is no kill during the simulation, processes remain sorted according by their PID.
- * rational: This can be proved inductively.
+ * Rationale: This can be proved inductively.
* Assume that process_to_run is sorted at a beginning of one round (it is at round 0: the deployment file
* is parsed linearly).
* Let's show that it is still so at the end of this round.