2020-11-18 |
Ehsan Azimi | Merge branch 'master' of github.com:simgrid/simgrid |
commit | commitdiff | tree | snapshot |
2020-11-18 |
Ehsan Azimi | CommunicationDeterminismChecker::real_run() uses APIs... |
commit | commitdiff | tree | snapshot |
2020-11-18 |
Ehsan Azimi | prepare() and run() call APIs of mc_api |
commit | commitdiff | tree | snapshot |
2020-11-18 |
Arnaud Giersch | Prefer "using" to "typedef". |
commit | commitdiff | tree | snapshot |
2020-11-18 |
Arnaud Giersch | More const. |
commit | commitdiff | tree | snapshot |
2020-11-18 |
Arnaud Giersch | Use =default. |
commit | commitdiff | tree | snapshot |
2020-11-18 |
Arnaud Giersch | More const pointers. |
commit | commitdiff | tree | snapshot |
2020-11-18 |
Arnaud Giersch | Kill dead code. |
commit | commitdiff | tree | snapshot |
2020-11-18 |
Arnaud Giersch | Const Disk*. |
commit | commitdiff | tree | snapshot |
2020-11-18 |
Arnaud Giersch | Please Sonar (even if there was no bug). |
commit | commitdiff | tree | snapshot |
2020-11-18 |
Arnaud Giersch | Remove redundant "staitc" in anonymous namespaces. |
commit | commitdiff | tree | snapshot |
2020-11-18 |
Ehsan Azimi | In VisitedState class, get_remote_heap_bytes() from... |
commit | commitdiff | tree | snapshot |
2020-11-18 |
Augustin Degomme | again.. |
commit | commitdiff | tree | snapshot |
2020-11-17 |
Augustin Degomme | et ça continue, encore et encore... |
commit | commitdiff | tree | snapshot |
2020-11-17 |
Augustin Degomme | attempt to avoid ugly sed in privatize-libs. May break. |
commit | commitdiff | tree | snapshot |
2020-11-17 |
Augustin Degomme | move dlopen tmp files to tmp dir instead of executable... |
commit | commitdiff | tree | snapshot |
2020-11-17 |
Augustin Degomme | one more lib to exclude ... we should really get rid... |
commit | commitdiff | tree | snapshot |
2020-11-17 |
Ehsan Azimi | mc_api::mc_state_choose_request() updated |
commit | commitdiff | tree | snapshot |
2020-11-16 |
Ehsan Azimi | copy_incomplete_comm_pattern() and copy_index_comm_patt... |
commit | commitdiff | tree | snapshot |
2020-11-16 |
Ehsan Azimi | get_maxpid() and take_snapshot() in mc_api |
commit | commitdiff | tree | snapshot |
2020-11-16 |
Ehsan Azimi | Merge branch 'master' of github.com:simgrid/simgrid |
commit | commitdiff | tree | snapshot |
2020-11-11 |
Arnaud Giersch | Prefer class initializer for id_. |
commit | commitdiff | tree | snapshot |
2020-11-11 |
Arnaud Giersch | Cosmetics. |
commit | commitdiff | tree | snapshot |
2020-11-11 |
Arnaud Giersch | Avoid nested try-catch blocks. |
commit | commitdiff | tree | snapshot |
2020-11-11 |
Arnaud Giersch | Reduce scope for variable. |
commit | commitdiff | tree | snapshot |
2020-11-09 |
Augustin Degomme | exclude lib for mc on freebsd |
commit | commitdiff | tree | snapshot |
2020-11-07 |
Martin Quinson | Document recent bug fix |
commit | commitdiff | tree | snapshot |
2020-11-07 |
Matthieu Simonin | python: force pybind11 discovery (#353) |
commit | commitdiff | tree | snapshot |
2020-11-05 |
Martin Quinson | Fix the bug number, bummer |
commit | commitdiff | tree | snapshot |
2020-11-04 |
Martin Quinson | bug fixed |
commit | commitdiff | tree | snapshot |
2020-10-30 |
Ehsan Azimi | Merge branch 'master' of github.com:simgrid/simgrid |
commit | commitdiff | tree | snapshot |
2020-10-29 |
Arnaud Giersch | Make code simpler. |
commit | commitdiff | tree | snapshot |
2020-10-29 |
Arnaud Giersch | Define xbt::string::copy(). |
commit | commitdiff | tree | snapshot |
2020-10-29 |
Arnaud Giersch | Move declarations. |
commit | commitdiff | tree | snapshot |
2020-10-29 |
Arnaud Giersch | More functions to declare "const". |
commit | commitdiff | tree | snapshot |
2020-10-29 |
Ehsan Azimi | Merge branch 'master' of github.com:simgrid/simgrid |
commit | commitdiff | tree | snapshot |
2020-10-28 |
Arnaud Giersch | Use xbt_die instead of xbt_assert(false). |
commit | commitdiff | tree | snapshot |
2020-10-28 |
Arnaud Giersch | s/atof/stod/. |
commit | commitdiff | tree | snapshot |
2020-10-28 |
Arnaud Giersch | [sonar] global variable-- |
commit | commitdiff | tree | snapshot |
2020-10-28 |
Arnaud Giersch | Prefer enum class over legacy enum. |
commit | commitdiff | tree | snapshot |
2020-10-28 |
Arnaud Giersch | Kill unused operator<<. |
commit | commitdiff | tree | snapshot |
2020-10-28 |
Ehsan Azimi | Merge branch 'master' of github.com:simgrid/simgrid |
commit | commitdiff | tree | snapshot |
2020-10-28 |
Arnaud Giersch | One more std::string. |
commit | commitdiff | tree | snapshot |
2020-10-28 |
Arnaud Giersch | Don't keep port number 65535 apart. |
commit | commitdiff | tree | snapshot |
2020-10-28 |
Arnaud Giersch | Avoid null pointer dereferencing. |
commit | commitdiff | tree | snapshot |
2020-10-27 |
Arnaud Giersch | posix_fallocate does not exist on OSX, use ftruncate... |
commit | commitdiff | tree | snapshot |
2020-10-27 |
Martin Quinson | Add a test for GH#345 |
commit | commitdiff | tree | snapshot |
2020-10-27 |
Arnaud Giersch | Kill redundant F2C::f2c_lookup. |
commit | commitdiff | tree | snapshot |
2020-10-27 |
Arnaud Giersch | Make trivial functions inline. |
commit | commitdiff | tree | snapshot |
2020-10-27 |
Arnaud Giersch | Finally use plain ints for f2c keys. |
commit | commitdiff | tree | snapshot |
2020-10-27 |
Arnaud Giersch | Use std::string for f2c keys. |
commit | commitdiff | tree | snapshot |
2020-10-27 |
Arnaud Giersch | Closed bug. |
commit | commitdiff | tree | snapshot |
2020-10-27 |
Arnaud Giersch | Use std::vector. |
commit | commitdiff | tree | snapshot |
2020-10-27 |
Arnaud Giersch | Use posix_fallocate to set file size. |
commit | commitdiff | tree | snapshot |
2020-10-27 |
Martin Quinson | ns3 does not accept 0 as a port_number so don't let... |
commit | commitdiff | tree | snapshot |
2020-10-27 |
Martin Quinson | ns3: Fix a debug message (s/socket/flow/) |
commit | commitdiff | tree | snapshot |
2020-10-27 |
Martin Quinson | Accept very large port numbers, as ns-3 don't forbid... |
commit | commitdiff | tree | snapshot |
2020-10-27 |
Ehsan Azimi | mc_assert() deleted |
commit | commitdiff | tree | snapshot |
2020-10-27 |
Ehsan Azimi | SafetyChecker::run() uses mc_api |
commit | commitdiff | tree | snapshot |
2020-10-27 |
Ehsan Azimi | SafetyChecker::check_non_termination() uses mc_api |
commit | commitdiff | tree | snapshot |
2020-10-27 |
Ehsan Azimi | SafetyChecker::get_textual_trace() uses mc_api |
commit | commitdiff | tree | snapshot |
2020-10-27 |
Ehsan Azimi | SafetyChecker::log_state() calls APIs of mc_api |
commit | commitdiff | tree | snapshot |
2020-10-26 |
Ehsan Azimi | SafetyChecker::backtrack() calls mc_api functions |
commit | commitdiff | tree | snapshot |
2020-10-26 |
Ehsan Azimi | SafetyChecker::restore_state() calls mc_api functions |
commit | commitdiff | tree | snapshot |
2020-10-26 |
Ehsan Azimi | mc_api class introduced, SafetyChecher's constructor... |
commit | commitdiff | tree | snapshot |
2020-10-26 |
Arnaud Giersch | Correctly set result for simcall_cond_wait_timeout. |
commit | commitdiff | tree | snapshot |
2020-10-26 |
Arnaud Giersch | Use std::vector. |
commit | commitdiff | tree | snapshot |
2020-10-26 |
Arnaud Giersch | Use std::array. |
commit | commitdiff | tree | snapshot |
2020-10-26 |
Arnaud Giersch | Update, using std::string. |
commit | commitdiff | tree | snapshot |
2020-10-25 |
Arnaud Giersch | Fix UBSan warning. |
commit | commitdiff | tree | snapshot |
2020-10-24 |
Arnaud Giersch | Use std::vector instead of C-style array. |
commit | commitdiff | tree | snapshot |
2020-10-24 |
Arnaud Giersch | Make cast explicit. |
commit | commitdiff | tree | snapshot |
2020-10-24 |
Arnaud Giersch | Kill dead code (condition is always true). |
commit | commitdiff | tree | snapshot |
2020-10-24 |
Arnaud Giersch | Rename local variable to not hide parameter. |
commit | commitdiff | tree | snapshot |
2020-10-24 |
Arnaud Giersch | Escape dots in regexp. |
commit | commitdiff | tree | snapshot |
2020-10-24 |
Arnaud Giersch | Prefer is/is not None. |
commit | commitdiff | tree | snapshot |
2020-10-24 |
Arnaud Giersch | Kill a no-op. |
commit | commitdiff | tree | snapshot |
2020-10-24 |
Arnaud Giersch | Cleanup. |
commit | commitdiff | tree | snapshot |
2020-10-24 |
Augustin Degomme | add -lm to flags on smpicc smpicxx. |
commit | commitdiff | tree | snapshot |
2020-10-24 |
Arnaud Giersch | Pointer-to-const for sonar. |
commit | commitdiff | tree | snapshot |
2020-10-24 |
Arnaud Giersch | Don't advertize a deprecated function. |
commit | commitdiff | tree | snapshot |
2020-10-24 |
Arnaud Giersch | No need to keep functions that did not even exist in... |
commit | commitdiff | tree | snapshot |
2020-10-23 |
Arnaud Giersch | Update ChangeLog. |
commit | commitdiff | tree | snapshot |
2020-10-23 |
Arnaud Giersch | More coding style updates for sg_host. |
commit | commitdiff | tree | snapshot |
2020-10-23 |
Arnaud Giersch | More coding style updates for sg_link. |
commit | commitdiff | tree | snapshot |
2020-10-23 |
Arnaud Giersch | More coding style updates for sg_disk. |
commit | commitdiff | tree | snapshot |
2020-10-23 |
Arnaud Giersch | Cosmetics. |
commit | commitdiff | tree | snapshot |
2020-10-23 |
Arnaud Giersch | Follow coding style for sg_link_{get,set}_data. |
commit | commitdiff | tree | snapshot |
2020-10-23 |
Arnaud Giersch | Follow coding style for sg_host_{get,set}_data. |
commit | commitdiff | tree | snapshot |
2020-10-23 |
Arnaud Giersch | Follow coding style for sg_disk_{get,set}_data. |
commit | commitdiff | tree | snapshot |
2020-10-23 |
Arnaud Giersch | Follow coding style for sg_actor_{get,set}_data. |
commit | commitdiff | tree | snapshot |
2020-10-23 |
Arnaud Giersch | Update README.coding to match the current practice... |
commit | commitdiff | tree | snapshot |
2020-10-23 |
Arnaud Giersch | Simplify a bit simgrid::config::bind_flag(). |
commit | commitdiff | tree | snapshot |
2020-10-23 |
Arnaud Giersch | Polishing last merged bits. |
commit | commitdiff | tree | snapshot |
2020-10-23 |
Arnaud Giersch | Ensure that the expected RNG (xbt) is used for unit... |
commit | commitdiff | tree | snapshot |
2020-10-23 |
Arnaud Giersch | Close simgrid/simgrid!22 on Framagit. |
commit | commitdiff | tree | snapshot |
2020-10-23 |
Arnaud Giersch | Merge branch 'pikachuyann/simgrid-stoprofiles' |
commit | commitdiff | tree | snapshot |
2020-10-20 |
Arnaud Giersch | Use consistent naming scheme. |
commit | commitdiff | tree | snapshot |
2020-10-20 |
Arnaud Giersch | [sonar] Use template parameter. |
commit | commitdiff | tree | snapshot |
2020-10-20 |
Arnaud Giersch | [codefactor.io] Trailing whitespaces. |
commit | commitdiff | tree | snapshot |
next |