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
/
mc
/
mc_smx.cpp
2020-10-23
Arnaud Giersch
Merge branch 'pikachuyann/simgrid-stoprofiles'
blob
|
commitdiff
|
raw
2020-10-19
Arnaud Giersch
Correct a few a/an.
blob
|
commitdiff
|
raw
2020-10-08
Martin Quinson
Merge branch 'klement/simgrid-klement' into master
blob
|
commitdiff
|
raw
|
diff to current
2020-10-04
Arnaud Giersch
[sonar] Replace redundant type with "auto" (src/mc/).
blob
|
commitdiff
|
raw
|
diff to current
2020-05-09
Martin Quinson
MC: Further renamings
blob
|
commitdiff
|
raw
|
diff to current
2020-05-06
Martin Quinson
MC: rename remote/RemoteClient -> remote/RemoteClientMe...
blob
|
commitdiff
|
raw
|
diff to current
2020-02-06
Arnaud Giersch
Merge branch 'pikachuyann/simgrid-xbt_random'
blob
|
commitdiff
|
raw
|
diff to current
2020-01-31
Arnaud Giersch
Cosmetics: fix "Malformed whitespace in C++" spotted...
blob
|
commitdiff
|
raw
|
diff to current
2020-01-24
Frederic Suter
Merge branch 'depencencies' of https://framagit.org...
blob
|
commitdiff
|
raw
|
diff to current
2020-01-01
Arnaud Giersch
Update copyright lines with new year.
blob
|
commitdiff
|
raw
|
diff to current
2019-12-28
Arnaud Giersch
[sonar] Constify pointer and reference parameters in...
blob
|
commitdiff
|
raw
|
diff to current
2019-12-23
Arnaud Giersch
[sonar] Constify pointer and reference local variables...
blob
|
commitdiff
|
raw
|
diff to current
2019-12-20
Arnaud Giersch
[sonar] Fix casts to pointer type without const qualifier.
blob
|
commitdiff
|
raw
|
diff to current
2019-10-07
Frederic Suter
Merge branch 'master' into CRTP
blob
|
commitdiff
|
raw
|
diff to current
2019-08-15
Martin Quinson
obey our coding standards, and snake_case some parts...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-09
Martin Quinson
Fix GCC+MC builds
blob
|
commitdiff
|
raw
|
diff to current
2019-08-08
Martin Quinson
namespacify a global function of SIMIX
blob
|
commitdiff
|
raw
|
diff to current
2019-07-29
Martin Quinson
MC: kill a useless function
blob
|
commitdiff
|
raw
|
diff to current
2019-05-31
Martin Quinson
Merge branch 'tracemgrsplit' into 'master'
blob
|
commitdiff
|
raw
|
diff to current
2019-05-30
Martin Quinson
MC::remote: snake case
blob
|
commitdiff
|
raw
|
diff to current
2019-05-16
Frederic Suter
Merge branch 'master' of https://framagit.org/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2019-05-16
Martin Quinson
mc: tiny simplifications and cosmetics (even some snake...
blob
|
commitdiff
|
raw
|
diff to current
2019-05-06
Arnaud Giersch
Kill useless hack (and its union).
blob
|
commitdiff
|
raw
|
diff to current
2019-02-17
Frederic Suter
week-end cleanups in ActorImpl
blob
|
commitdiff
|
raw
|
diff to current
2019-01-08
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2019-01-07
Arnaud Giersch
Update copyright lines with new year.
blob
|
commitdiff
|
raw
|
diff to current
2018-10-11
jed56 ( Jean-Emile...
Merge branch 'master' into v3.20-expose-simgrid-jni
blob
|
commitdiff
|
raw
|
diff to current
2018-07-04
Martin Quinson
Merge branch 'master' of https://github.com/Onesphore...
blob
|
commitdiff
|
raw
|
diff to current
2018-06-30
Martin Quinson
Partially snake_case ActorImpl
blob
|
commitdiff
|
raw
|
diff to current
2018-04-03
Arnaud Giersch
Kill useless typedef s_smx_simcall_t.
blob
|
commitdiff
|
raw
|
diff to current
2018-04-02
Martin Quinson
convert getCname to get_cname
blob
|
commitdiff
|
raw
|
diff to current
2018-03-30
Martin Quinson
Merge pull request #259 from simgrid/configfix
blob
|
commitdiff
|
raw
|
diff to current
2018-03-25
Martin Quinson
fix MC builds
blob
|
commitdiff
|
raw
|
diff to current
2017-12-07
Arnaud Giersch
Add explicit keyword to simgrid::mc::RemotePtr constructor.
blob
|
commitdiff
|
raw
|
diff to current
2017-12-05
Arnaud Giersch
MC: maintain a copy of simix_global->process_to_destroy...
blob
|
commitdiff
|
raw
|
diff to current
2017-11-27
Tom Cornebize
Merge branch 'master' into fix/execute_benched
blob
|
commitdiff
|
raw
|
diff to current
2017-11-23
Takishipp
Merge branch 'actor-yield' of github.com:Takishipp...
blob
|
commitdiff
|
raw
|
diff to current
2017-11-23
Zitagcc
Merge branch 'master' into actor-yield
blob
|
commitdiff
|
raw
|
diff to current
2017-10-18
Zitagcc
Merge branch 'master' into actor-priority
blob
|
commitdiff
|
raw
|
diff to current
2017-10-16
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2017-10-16
Arnaud Giersch
Add comments to acknowledge empty functions (and please...
blob
|
commitdiff
|
raw
|
diff to current
2017-10-15
Martin Quinson
Merge branch 'actor-startkilltime' of https://github...
blob
|
commitdiff
|
raw
|
diff to current
2017-10-15
Martin Quinson
Merge pull request #228 from Takishipp/actor-execute
blob
|
commitdiff
|
raw
|
diff to current
2017-10-14
Arnaud Giersch
Add a method to get the string_data from a simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2017-10-11
Arnaud Giersch
Replace some malloc/free by C++ new/delete.
blob
|
commitdiff
|
raw
|
diff to current
2017-10-10
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2017-10-10
Arnaud Giersch
Sort include lists according to clang-format.
blob
|
commitdiff
|
raw
|
diff to current
2017-10-10
Arnaud Giersch
Rename C++ only header files from .h to .hpp.
blob
|
commitdiff
|
raw
|
diff to current
2017-10-04
Arnaud Giersch
Remove lines of commented code spotted by sonar.
blob
|
commitdiff
|
raw
|
diff to current
2017-07-17
Martin Quinson
Merge pull request #200 from Takishipp/clear_fct
blob
|
commitdiff
|
raw
|
diff to current
2017-07-16
Martin Quinson
MC: rename process into RemoteClient
blob
|
commitdiff
|
raw
|
diff to current
2017-07-06
Martin Quinson
tend to the google coding standards in all S4U API
blob
|
commitdiff
|
raw
|
diff to current
2017-05-29
Takishipp
Merge branches 'master' and 'master' of github.com...
blob
|
commitdiff
|
raw
|
diff to current
2017-05-23
Martin Quinson
remove (void) in C++
blob
|
commitdiff
|
raw
|
diff to current
2017-05-03
Takishipp
Merge branch 'toufic' of github.com:Takishipp/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2017-05-01
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2017-04-30
Martin Quinson
uppercase the s4u header files (+cleanups)
blob
|
commitdiff
|
raw
|
diff to current
2017-01-19
Martin Quinson
Make SIMIX_process_from_PID much faster
blob
|
commitdiff
|
raw
|
diff to current
2017-01-08
Martin Quinson
smx processes are now called actors, avoiding confusion...
blob
|
commitdiff
|
raw
|
diff to current
2016-11-30
Millian Poquet
Merge branch 'master' of https://github.com/mpoquet...
blob
|
commitdiff
|
raw
|
diff to current
2016-11-22
Martin Quinson
move VM into their namespace, and greatly reduce the...
blob
|
commitdiff
|
raw
|
diff to current
2016-08-15
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
blob
|
commitdiff
|
raw
|
diff to current
2016-08-14
Martin Quinson
rename smx_process_t to smx_actor_t
blob
|
commitdiff
|
raw
|
diff to current
2016-07-11
Gabriel Corona
[mc] Remove xbt_dict in ModelChecker
blob
|
commitdiff
|
raw
|
diff to current
2016-07-05
Gabriel Corona
Fix MC
blob
|
commitdiff
|
raw
|
diff to current
2016-06-23
Gabriel Corona
Fix compilation of MC
blob
|
commitdiff
|
raw
|
diff to current
2016-06-22
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
blob
|
commitdiff
|
raw
|
diff to current
2016-06-22
Gabriel Corona
Merge get-pid
blob
|
commitdiff
|
raw
|
diff to current
2016-06-22
Gabriel Corona
[simix] Fix extern 'C' error from clang
blob
|
commitdiff
|
raw
|
diff to current
2016-06-22
Gabriel Corona
[simix] More generic mapping between function name...
blob
|
commitdiff
|
raw
|
diff to current
2016-06-12
Martin Quinson
spellcheck mc. Don't ask why
blob
|
commitdiff
|
raw
|
diff to current
2016-05-23
Gabriel Corona
[mc] Fix remote access to the new Process structure
blob
|
commitdiff
|
raw
|
diff to current
2016-04-28
Gabriel Corona
[mc] Remove redundant 'mc_mode' global variable
blob
|
commitdiff
|
raw
|
diff to current
2016-04-08
Gabriel Corona
[mc] Remove the ugly is_in_vector() hack
blob
|
commitdiff
|
raw
|
diff to current
2016-04-08
Gabriel Corona
[mc] Move resolve_process...() as methods of Process
blob
|
commitdiff
|
raw
|
diff to current
2016-04-08
Gabriel Corona
[mc] Remove useless MC_MODE_CLIENT paths
blob
|
commitdiff
|
raw
|
diff to current
2016-04-08
Gabriel Corona
[mc] Mark some remote pointers as such
blob
|
commitdiff
|
raw
|
diff to current
2016-04-08
Gabriel Corona
[mc] Misc. comments
blob
|
commitdiff
|
raw
|
diff to current
2016-04-07
Gabriel Corona
[mc] Add Factor some gorry code to State::getRecordElem...
blob
|
commitdiff
|
raw
|
diff to current
2016-04-06
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
blob
|
commitdiff
|
raw
|
diff to current
2016-04-06
Gabriel Corona
[mc] Fix #includes
blob
|
commitdiff
|
raw
|
diff to current
2016-04-05
Gabriel Corona
[mc] Use RAII std::string for s_mc_comm_pattern::rdv
blob
|
commitdiff
|
raw
|
diff to current
2016-03-16
Gabriel Corona
[mc] Remove pointless #includes
blob
|
commitdiff
|
raw
|
diff to current
2016-03-15
Gabriel Corona
[mc] Remove useless asserts
blob
|
commitdiff
|
raw
|
diff to current
2016-03-15
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
blob
|
commitdiff
|
raw
|
diff to current
2016-03-15
Gabriel Corona
[mc] Make Process:cache_flags private
blob
|
commitdiff
|
raw
|
diff to current
2016-03-13
Martin Quinson
Merge branch 'master' of github.com:mquinson/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2016-03-13
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2016-03-11
Gabriel Corona
[mc] Move some SIMIX inspection code in the Process...
blob
|
commitdiff
|
raw
|
diff to current
2016-03-10
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2016-03-09
Gabriel Corona
Fix HAVE_FOOBAR flags handling
blob
|
commitdiff
|
raw
|
diff to current
2016-03-07
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2016-03-07
Martin Quinson
Merge branch 'master' of github.com:mquinson/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2016-03-07
Gabriel Corona
[mc] Remove useless braces
blob
|
commitdiff
|
raw
|
diff to current
2016-03-04
Julien Gossa
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2016-03-03
Gabriel Corona
[mc] Remove the mc_smx_process_info typedefs
blob
|
commitdiff
|
raw
|
diff to current
2016-03-03
Gabriel Corona
[mc] Remove the horrid temporary MC_PROCESS_FOREACH...
blob
|
commitdiff
|
raw
|
diff to current
2016-03-03
Gabriel Corona
[mc] Make SimixProcessInformation a real C++ object
blob
|
commitdiff
|
raw
|
diff to current
2016-02-27
Martin Quinson
Merge pull request #65 from fabienchaix/master
blob
|
commitdiff
|
raw
|
diff to current
2016-02-26
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
blob
|
commitdiff
|
raw
|
diff to current
next