A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
SafetyChecker::check_non_termination() uses mc_api
[simgrid.git]
/
src
/
2020-10-27
Ehsan Azimi
SafetyChecker::check_non_termination() uses mc_api
tree
|
commitdiff
2020-10-27
Ehsan Azimi
SafetyChecker::get_textual_trace() uses mc_api
tree
|
commitdiff
2020-10-27
Ehsan Azimi
SafetyChecker::log_state() calls APIs of mc_api
tree
|
commitdiff
2020-10-26
Ehsan Azimi
SafetyChecker::backtrack() calls mc_api functions
tree
|
commitdiff
2020-10-26
Ehsan Azimi
SafetyChecker::restore_state() calls mc_api functions
tree
|
commitdiff
2020-10-26
Ehsan Azimi
mc_api class introduced, SafetyChecher's constructor...
tree
|
commitdiff
2020-10-26
Arnaud Giersch
Correctly set result for simcall_cond_wait_timeout.
tree
|
commitdiff
2020-10-26
Arnaud Giersch
Use std::vector.
tree
|
commitdiff
2020-10-26
Arnaud Giersch
Use std::array.
tree
|
commitdiff
2020-10-26
Arnaud Giersch
Update, using std::string.
tree
|
commitdiff
2020-10-25
Arnaud Giersch
Fix UBSan warning.
tree
|
commitdiff
2020-10-24
Arnaud Giersch
Use std::vector instead of C-style array.
tree
|
commitdiff
2020-10-24
Arnaud Giersch
Make cast explicit.
tree
|
commitdiff
2020-10-24
Arnaud Giersch
Kill dead code (condition is always true).
tree
|
commitdiff
2020-10-24
Arnaud Giersch
Rename local variable to not hide parameter.
tree
|
commitdiff
2020-10-24
Arnaud Giersch
Kill a no-op.
tree
|
commitdiff
2020-10-24
Arnaud Giersch
Cleanup.
tree
|
commitdiff
2020-10-24
Augustin Degomme
add -lm to flags on smpicc smpicxx.
tree
|
commitdiff
2020-10-24
Arnaud Giersch
Pointer-to-const for sonar.
tree
|
commitdiff
2020-10-24
Arnaud Giersch
No need to keep functions that did not even exist in...
tree
|
commitdiff
2020-10-23
Arnaud Giersch
More coding style updates for sg_host.
tree
|
commitdiff
2020-10-23
Arnaud Giersch
More coding style updates for sg_link.
tree
|
commitdiff
2020-10-23
Arnaud Giersch
More coding style updates for sg_disk.
tree
|
commitdiff
2020-10-23
Arnaud Giersch
Cosmetics.
tree
|
commitdiff
2020-10-23
Arnaud Giersch
Follow coding style for sg_link_{get,set}_data.
tree
|
commitdiff
2020-10-23
Arnaud Giersch
Follow coding style for sg_host_{get,set}_data.
tree
|
commitdiff
2020-10-23
Arnaud Giersch
Follow coding style for sg_disk_{get,set}_data.
tree
|
commitdiff
2020-10-23
Arnaud Giersch
Follow coding style for sg_actor_{get,set}_data.
tree
|
commitdiff
2020-10-23
Arnaud Giersch
Polishing last merged bits.
tree
|
commitdiff
2020-10-23
Arnaud Giersch
Ensure that the expected RNG (xbt) is used for unit...
tree
|
commitdiff
2020-10-23
Arnaud Giersch
Close simgrid/simgrid!22 on Framagit.
tree
|
commitdiff
2020-10-23
Arnaud Giersch
Merge branch 'pikachuyann/simgrid-stoprofiles'
tree
|
commitdiff
2020-10-20
Arnaud Giersch
Use consistent naming scheme.
tree
|
commitdiff
2020-10-20
Arnaud Giersch
[sonar] Use template parameter.
tree
|
commitdiff
2020-10-20
Arnaud Giersch
Now is still not in the past.
tree
|
commitdiff
2020-10-20
Arnaud Giersch
Fix format for tiny double values in --help.
tree
|
commitdiff
2020-10-19
Arnaud Giersch
Correct a few a/an.
tree
|
commitdiff
2020-10-19
Arnaud Giersch
Move fucntion call out of xbt_assert.
tree
|
commitdiff
2020-10-19
Arnaud Giersch
Typos.
tree
|
commitdiff
2020-10-19
Arnaud Giersch
[codefactor] Blank line is redundant.
tree
|
commitdiff
2020-10-18
Martin Quinson
ns3: ensure that sending from an host to itself does...
tree
|
commitdiff
2020-10-17
Arnaud Giersch
Try to reduce requirements about C++ standard for smpicxx.
tree
|
commitdiff
2020-10-17
Arnaud Giersch
Avoid buffer overflow.
tree
|
commitdiff
2020-10-17
Arnaud Giersch
Missing include.
tree
|
commitdiff
2020-10-17
Martin Quinson
Fix another typo
tree
|
commitdiff
2020-10-17
Arnaud Giersch
Don't include <xbt/functional.hpp> when it's not needed.
tree
|
commitdiff
2020-10-17
Arnaud Giersch
Typo.
tree
|
commitdiff
2020-10-16
Arnaud Giersch
Cosmetics.
tree
|
commitdiff
2020-10-16
Arnaud Giersch
Use std::array and reduce scope for constant.
tree
|
commitdiff
2020-10-16
Arnaud Giersch
Fix indentation.
tree
|
commitdiff
2020-10-16
Arnaud Giersch
Forgotten guard.
tree
|
commitdiff
2020-10-16
Arnaud Giersch
Const.
tree
|
commitdiff
2020-10-16
Arnaud Giersch
Move global variables to class Context.
tree
|
commitdiff
2020-10-16
Arnaud Giersch
Move global variables to class Container.
tree
|
commitdiff
2020-10-15
Arnaud Giersch
Plug memleak.
tree
|
commitdiff
2020-10-15
Arnaud Giersch
Rewrite in a simpler manner.
tree
|
commitdiff
2020-10-15
Arnaud Giersch
More char* -> std::string conversions.
tree
|
commitdiff
2020-10-15
Arnaud Giersch
Definitely remove deprecated stuff in private area.
tree
|
commitdiff
2020-10-15
Arnaud Giersch
Constify a parameter, fix name for another, and simplif...
tree
|
commitdiff
2020-10-15
Arnaud Giersch
[sonar] Replace some C-style arrays.
tree
|
commitdiff
2020-10-15
Martin Quinson
mmalloc: cosmetics in an error message
tree
|
commitdiff
2020-10-14
Arnaud Giersch
Cosmetics.
tree
|
commitdiff
2020-10-14
Arnaud Giersch
Drop unused parameters.
tree
|
commitdiff
2020-10-13
Augustin Degomme
Revert "Try to help for freebsd and paths. Thanks Matth...
tree
|
commitdiff
2020-10-13
Arnaud Giersch
Ensure type > 0.
tree
|
commitdiff
2020-10-13
Arnaud Giersch
Reduce scope for variables.
tree
|
commitdiff
2020-10-13
Arnaud Giersch
"s < 0" is always true here.
tree
|
commitdiff
2020-10-13
Arnaud Giersch
Delete unused ctor.
tree
|
commitdiff
2020-10-13
Augustin Degomme
Try to help for freebsd and paths. Thanks Matthieu...
tree
|
commitdiff
2020-10-13
Arnaud Giersch
popping_enum.h becomes an hpp.
tree
|
commitdiff
2020-10-13
Arnaud Giersch
const again
tree
|
commitdiff
2020-10-13
Arnaud Giersch
Remove useless type aliases.
tree
|
commitdiff
2020-10-12
Arnaud Giersch
[sonar] Make parameter a pointer-to-const.
tree
|
commitdiff
2020-10-12
Martin Quinson
ns3: Improve a debug message [Mahesh Ketkar]
tree
|
commitdiff
2020-10-12
Martin Quinson
ns3: live with the fact that sometimes finished_ become...
tree
|
commitdiff
2020-10-12
Martin Quinson
Don't display strings with %p [Mahesh Ketkar]
tree
|
commitdiff
2020-10-11
Arnaud Giersch
More const.
tree
|
commitdiff
2020-10-11
Arnaud Giersch
[sonar] Constructors of an "abstract" class should...
tree
|
commitdiff
2020-10-11
Arnaud Giersch
Functions are currenlty not overridden.
tree
|
commitdiff
2020-10-11
Arnaud Giersch
Const get_bandwidth() and get_latency().
tree
|
commitdiff
2020-10-11
Arnaud Giersch
Define const is_used().
tree
|
commitdiff
2020-10-11
Arnaud Giersch
Few more auto's.
tree
|
commitdiff
2020-10-11
Arnaud Giersch
Const in network_wifi and link_energy_wifi.
tree
|
commitdiff
2020-10-11
Arnaud Giersch
Define const get_sharing_policy().
tree
|
commitdiff
2020-10-11
Arnaud Giersch
Define const get_iface().
tree
|
commitdiff
2020-10-11
Arnaud Giersch
Route is not empty (already verified by xbt_assert).
tree
|
commitdiff
2020-10-11
Arnaud Giersch
Don't lookup twice.
tree
|
commitdiff
2020-10-11
Arnaud Giersch
Make expression clear.
tree
|
commitdiff
2020-10-11
Arnaud Giersch
Unused parameter.
tree
|
commitdiff
2020-10-10
Arnaud Giersch
Whitespace cleanup (for codefactor.io).
tree
|
commitdiff
2020-10-10
Arnaud Giersch
Merge branch 'master' into 'master'
tree
|
commitdiff
2020-10-10
Julien EMMANUEL
plugin link_load: fix name in SIMGRID_REGISTER_PLUGIN
tree
|
commitdiff
2020-10-10
Martin Quinson
plugin link_load: tiny logic error (thanks clang for...
tree
|
commitdiff
2020-10-10
Martin Quinson
Rename the link load plugin for decency (and consistency)
tree
|
commitdiff
2020-10-10
Martin Quinson
fix a bug in an error message
tree
|
commitdiff
2020-10-10
Arnaud Giersch
Merge branch 'link-cumload-plugin' into 'master'
tree
|
commitdiff
2020-10-10
Millian Poquet
introduce new plugin: link_cumload
tree
|
commitdiff
2020-10-08
Martin Quinson
new option ns3/seed to seed the ns-3 random generator
tree
|
commitdiff
2020-10-08
Arnaud Giersch
Use meaningful names for dragonfly coords.
tree
|
commitdiff
2020-10-08
Arnaud Giersch
Prefer std::string for C++ API.
tree
|
commitdiff
next