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
Simplify the serialization protocol to implement TestAny & WaitAny in a moment
[simgrid.git]
/
src
/
mc
/
api.cpp
2022-02-12
Martin Quinson
Move dot_label() from Observer to Transition (+ some...
blob
|
commitdiff
|
raw
2022-02-12
Martin Quinson
Fix more sonar things
blob
|
commitdiff
|
raw
|
diff to current
2022-02-11
Martin Quinson
Inline another stupid function
blob
|
commitdiff
|
raw
|
diff to current
2022-02-11
Martin Quinson
Inline another useless function in MC and a define...
blob
|
commitdiff
|
raw
|
diff to current
2022-02-11
Martin Quinson
Inline a function of mc::api
blob
|
commitdiff
|
raw
|
diff to current
2022-02-11
Martin Quinson
Big bang in MC: app's observers are serialized, to...
blob
|
commitdiff
|
raw
|
diff to current
2022-02-07
Martin Quinson
Move the selection of the next transition to execute...
blob
|
commitdiff
|
raw
|
diff to current
2022-02-07
Martin Quinson
Make Liveness and CommDet more similar to Safety
blob
|
commitdiff
|
raw
|
diff to current
2022-02-07
Martin Quinson
Automatize the computation of executed_transitions_
blob
|
commitdiff
|
raw
|
diff to current
2022-02-07
Martin Quinson
Move request_execute and request_to_string from api...
blob
|
commitdiff
|
raw
|
diff to current
2022-02-07
Martin Quinson
Kill a now unused parameter
blob
|
commitdiff
|
raw
|
diff to current
2022-02-07
Martin Quinson
MC: Trade less use of executed_req for more network...
blob
|
commitdiff
|
raw
|
diff to current
2022-02-07
Martin Quinson
MC: simplification: this function shall return a boolean
blob
|
commitdiff
|
raw
|
diff to current
2022-02-07
Martin Quinson
MC: Inline and simplify a function
blob
|
commitdiff
|
raw
|
diff to current
2022-02-07
Martin Quinson
MC: kill an unused function
blob
|
commitdiff
|
raw
|
diff to current
2022-02-06
SUTER Frederic
kill unused function
blob
|
commitdiff
|
raw
|
diff to current
2022-02-05
Martin Quinson
MC: Kill now unused fields
blob
|
commitdiff
|
raw
|
diff to current
2022-02-05
Martin Quinson
Don't compute the dependencies locally in the checker...
blob
|
commitdiff
|
raw
|
diff to current
2022-02-05
Martin Quinson
MC: isend/irecv are not blocking
blob
|
commitdiff
|
raw
|
diff to current
2022-02-04
SUTER Frederic
continue to mess with MC
blob
|
commitdiff
|
raw
|
diff to current
2022-02-03
SUTER Frederic
remove old simcall_comm_test and simcall_comm_testany
blob
|
commitdiff
|
raw
|
diff to current
2022-02-03
SUTER Frederic
simcall translation is now useless
blob
|
commitdiff
|
raw
|
diff to current
2022-02-03
Martin Quinson
Merge branch 'wifi_rate_zero' into 'master'
blob
|
commitdiff
|
raw
|
diff to current
2022-02-03
SUTER Frederic
draft CommI{send,recv}Observer
blob
|
commitdiff
|
raw
|
diff to current
2022-02-03
Arnaud Giersch
Merge branch 'stable'
blob
|
commitdiff
|
raw
|
diff to current
2022-02-02
SUTER Frederic
more progress in simcalls modernization and MC cleanup
blob
|
commitdiff
|
raw
|
diff to current
2022-02-01
SUTER Frederic
Start to modernize the remaining old simcalls related...
blob
|
commitdiff
|
raw
|
diff to current
2022-01-13
SUTER Frederic
forgot to build MC
blob
|
commitdiff
|
raw
|
diff to current
2022-01-06
Arnaud Giersch
Update copyright lines for 2022.
blob
|
commitdiff
|
raw
|
diff to current
2021-12-22
Martin Quinson
MC: chop chop chop
blob
|
commitdiff
|
raw
|
diff to current
2021-12-22
Martin Quinson
mc: inline a function
blob
|
commitdiff
|
raw
|
diff to current
2021-12-22
Martin Quinson
mc: Kill dead code
blob
|
commitdiff
|
raw
|
diff to current
2021-09-14
SUTER Frederic
Merge branch 'master' of https://framagit.org/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2021-07-19
Arnaud Giersch
[pvs-studio] No need to assign variable the same value.
blob
|
commitdiff
|
raw
|
diff to current
2021-06-22
Arnaud Giersch
Make field 'mc::ActorState::times_considered' private.
blob
|
commitdiff
|
raw
|
diff to current
2021-06-22
Arnaud Giersch
Add missing copyright notices.
blob
|
commitdiff
|
raw
|
diff to current
2021-04-30
Arnaud Giersch
Missing includes.
blob
|
commitdiff
|
raw
|
diff to current
2021-04-23
Arnaud Giersch
Make SIMIX_simcall_name() use the type of observer_...
blob
|
commitdiff
|
raw
|
diff to current
2021-04-19
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2021-04-06
Arnaud Giersch
Use a Remote<> for remote smpi::Request.
blob
|
commitdiff
|
raw
|
diff to current
2021-04-03
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2021-04-02
Arnaud Giersch
Make mc::Api::get_actor_name return a const&.
blob
|
commitdiff
|
raw
|
diff to current
2021-04-01
Arnaud Giersch
FIXME++
blob
|
commitdiff
|
raw
|
diff to current
2021-04-01
Arnaud Giersch
Render mc::Api::get_actor_name() public.
blob
|
commitdiff
|
raw
|
diff to current
2021-04-01
Martin Quinson
snake_case some surviving camels
blob
|
commitdiff
|
raw
|
diff to current
2021-04-01
Martin Quinson
Actor's ID should be a long, and should be named AID
blob
|
commitdiff
|
raw
|
diff to current
2021-03-31
Arnaud Giersch
Save a reinterpret_cast.
blob
|
commitdiff
|
raw
|
diff to current
2021-03-30
Arnaud Giersch
[mc] Don't retrieve actor hostname again if it's alread...
blob
|
commitdiff
|
raw
|
diff to current
2021-03-30
Arnaud Giersch
[mc] Fix mc::Api::get_actor_host_name.
blob
|
commitdiff
|
raw
|
diff to current
2021-03-26
Martin Quinson
Move SimcallObserver from simgrid::mc to simgrid::kerne...
blob
|
commitdiff
|
raw
|
diff to current
2021-03-14
Martin Quinson
Move the logic of Api::get_maxpid() to RemoteProcess...
blob
|
commitdiff
|
raw
|
diff to current
2021-03-14
Martin Quinson
Give an explicit name to the session singleton
blob
|
commitdiff
|
raw
|
diff to current
2021-03-14
Martin Quinson
Remove more uses of the session global
blob
|
commitdiff
|
raw
|
diff to current
2021-03-14
Martin Quinson
cosmetics
blob
|
commitdiff
|
raw
|
diff to current
2021-03-14
Martin Quinson
The checker has the session and don't need the API...
blob
|
commitdiff
|
raw
|
diff to current
2021-03-14
Martin Quinson
Kill a file that was almost empty
blob
|
commitdiff
|
raw
|
diff to current
2021-03-14
Martin Quinson
Kill some use of the mc_model_checker global variable
blob
|
commitdiff
|
raw
|
diff to current
2021-03-14
Martin Quinson
The checker now have a reference to the session
blob
|
commitdiff
|
raw
|
diff to current
2021-03-14
Martin Quinson
Rename model_checker->get_remote_simulation() into...
blob
|
commitdiff
|
raw
|
diff to current
2021-03-13
Martin Quinson
Rename mc::RemoteSimulation into mc::RemoteProcess
blob
|
commitdiff
|
raw
|
diff to current
2021-03-13
Martin Quinson
MC: simplify initialization and kill api::set_checker()
blob
|
commitdiff
|
raw
|
diff to current
2021-03-13
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2021-03-13
Martin Quinson
getraw is only useful when dealing with boost intrusive...
blob
|
commitdiff
|
raw
|
diff to current
2021-03-13
Martin Quinson
inline simcall_check_dependency() now that it's called...
blob
|
commitdiff
|
raw
|
diff to current
2021-03-13
Martin Quinson
MC: check dependency between 2 given requests only...
blob
|
commitdiff
|
raw
|
diff to current
2021-03-13
Martin Quinson
request_depend_asymmetric(r1,r2) now tests when r1...
blob
|
commitdiff
|
raw
|
diff to current
2021-03-13
Martin Quinson
Sort comm_* simcalls alphabetically
blob
|
commitdiff
|
raw
|
diff to current
2021-03-13
Martin Quinson
inline a function
blob
|
commitdiff
|
raw
|
diff to current
2021-03-13
Martin Quinson
Both request cannot be of the same type here
blob
|
commitdiff
|
raw
|
diff to current
2021-03-13
Martin Quinson
Only 4 simcalls are considered by indep theorems for now
blob
|
commitdiff
|
raw
|
diff to current
2021-03-13
Martin Quinson
MC: cosmetics and tiny code simplifications
blob
|
commitdiff
|
raw
|
diff to current
2021-03-12
Martin Quinson
MC: simix::unmarshal should NEVER be called automatically
blob
|
commitdiff
|
raw
|
diff to current
2021-03-12
Martin Quinson
cosmetics
blob
|
commitdiff
|
raw
|
diff to current
2021-03-11
Martin Quinson
s4u_synchro were renamed to activity in 2015, as far...
blob
|
commitdiff
|
raw
|
diff to current
2021-03-09
Arnaud Giersch
Modernize simcall mutex_lock.
blob
|
commitdiff
|
raw
|
diff to current
2021-03-09
Martin Quinson
Split the {TEST,WAIT}ANY translation away from MC_state...
blob
|
commitdiff
|
raw
|
diff to current
2021-03-09
Martin Quinson
Prepare to split the {TEST,WAIT}ANY translation away...
blob
|
commitdiff
|
raw
|
diff to current
2021-03-08
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2021-03-08
Arnaud Giersch
Modernize simcall mutex_trylock.
blob
|
commitdiff
|
raw
|
diff to current
2021-03-08
Arnaud Giersch
Don't adjust variable name each time Api::get_maxpid...
blob
|
commitdiff
|
raw
|
diff to current
2021-03-08
Arnaud Giersch
Useless braces.
blob
|
commitdiff
|
raw
|
diff to current
2021-03-08
Martin Quinson
That was a nasty optimization :-/
blob
|
commitdiff
|
raw
|
diff to current
2021-03-06
Martin Quinson
MC: untangle dependencies
blob
|
commitdiff
|
raw
|
diff to current
2021-03-06
Martin Quinson
MC: more symmetry between WAITANY and TESTANY in dependency
blob
|
commitdiff
|
raw
|
diff to current
2021-03-06
Martin Quinson
MC: untangle the dependency code a tiny bit
blob
|
commitdiff
|
raw
|
diff to current
2021-03-06
Martin Quinson
MC: inline a function, kill a file
blob
|
commitdiff
|
raw
|
diff to current
2021-03-04
Martin Quinson
mc: rename Inspector to Observer
blob
|
commitdiff
|
raw
|
diff to current
2021-03-04
Martin Quinson
Simplify mc::api a bit
blob
|
commitdiff
|
raw
|
diff to current
2021-03-02
Arnaud Giersch
Const for methods.
blob
|
commitdiff
|
raw
|
diff to current
2021-03-02
Arnaud Giersch
Cosmetic rename.
blob
|
commitdiff
|
raw
|
diff to current
2021-03-02
Arnaud Giersch
Auto + std::make_unique.
blob
|
commitdiff
|
raw
|
diff to current
2021-03-02
Arnaud Giersch
Make Transition::textual a std::string.
blob
|
commitdiff
|
raw
|
diff to current
2021-03-02
Arnaud Giersch
Remove some useless nested code blocks.
blob
|
commitdiff
|
raw
|
diff to current
2021-03-02
Arnaud Giersch
Using C++ strings.
blob
|
commitdiff
|
raw
|
diff to current
2021-03-01
Arnaud Giersch
Use xbt::string for MC hostnames.
blob
|
commitdiff
|
raw
|
diff to current
2021-03-01
Arnaud Giersch
Kill useless function.
blob
|
commitdiff
|
raw
|
diff to current
2021-03-01
Martin Quinson
Set the textual representation of a transition before...
blob
|
commitdiff
|
raw
|
diff to current
2021-02-28
Martin Quinson
Split inspector::is_pending() in two logical parts
blob
|
commitdiff
|
raw
|
diff to current
2021-02-28
Martin Quinson
objectification of MC simcall achieved -- many tests...
blob
|
commitdiff
|
raw
|
diff to current
2021-02-24
agougeon
Merge branch 'master' of framagit.org:simgrid/simgrid
blob
|
commitdiff
|
raw
|
diff to current
next