Build System
* Require g++ v4.7 at least to not speak prehistorical C++.
* Require Boost 1.48 (for signal2 component).
* Java must be version 7 at least when activated.
Build System
* Require g++ v4.7 at least to not speak prehistorical C++.
* Require Boost 1.48 (for signal2 component).
* Java must be version 7 at least when activated.
* Move headers around to sort them out on installed systems:
- instr/instr.h -> simgrid/instr.h
- instr/jedule/* -> simgrid/jedule
* Move headers around to sort them out on installed systems:
- instr/instr.h -> simgrid/instr.h
- instr/jedule/* -> simgrid/jedule
* Record/Replay: the MC can display a textual representation of a path in the
execution graph. It can then be replayed outside of the model checker.
* Record/Replay: the MC can display a textual representation of a path in the
execution graph. It can then be replayed outside of the model checker.