A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Try to make the abort() inconditionnal in failed xbt_assert, to please the checkers
2022-10-25
Martin Quinson
Try to make the abort() inconditionnal in failed xbt_assert...
commit
|
commitdiff
|
tree
2022-10-25
Martin Quinson
Add a ref to the disk paper
commit
|
commitdiff
|
tree
2022-10-25
Martin Quinson
Arnaud prefers ϱ to x (+depict the simulated platform)
commit
|
commitdiff
|
tree
2022-10-25
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
commit
|
commitdiff
|
tree
2022-10-25
Martin Quinson
Draft a first version of the Models chapter in the doc
commit
|
commitdiff
|
tree
2022-10-24
Martin Quinson
doc: link to some more existing examples
commit
|
commitdiff
|
tree
2022-10-24
Martin Quinson
Fix non-smpi builds
commit
|
commitdiff
|
tree
2022-10-23
Martin Quinson
Make the factor callbacks private in NetworkModelFactors
commit
|
commitdiff
|
tree
2022-10-23
Martin Quinson
Move get_{bandwidth,latency}_factor to the NetworkModelFacto...
commit
|
commitdiff
|
tree
2022-10-23
Martin Quinson
Cleanups. Kill useless code
commit
|
commitdiff
|
tree
2022-10-23
Martin Quinson
Rename NetworkModelIntf into NetworkModelFactors
commit
|
commitdiff
|
tree
2022-10-23
Martin Quinson
Move set_lat_factor_cb and friends to NetworkModelFactors
commit
|
commitdiff
|
tree
2022-10-23
Martin Quinson
Change public NetworkModelIntf.hpp into private NetworkModel...
commit
|
commitdiff
|
tree
2022-10-23
Martin Quinson
Allow to set the network factors callback from userland...
commit
|
commitdiff
|
tree
2022-10-23
Martin Quinson
Move FactorSet from smpi::utils to kernel::resource
commit
|
commitdiff
|
tree
2022-10-23
Martin Quinson
Rewrite the doc of the bw and latency factors
commit
|
commitdiff
|
tree
2022-10-23
Martin Quinson
Merge network/bandwidth-factor and smpi/bw-factor ...
commit
|
commitdiff
|
tree
2022-10-22
Martin Quinson
Hide cfg_latency_factor and bw, and change them into...
commit
|
commitdiff
|
tree
2022-10-22
Martin Quinson
Parameters 'network/latency-factor' and bandwidth-factor...
commit
|
commitdiff
|
tree
2022-10-22
Martin Quinson
Also cleanup the network/weight-S parameter
commit
|
commitdiff
|
tree
2022-10-22
Martin Quinson
Cleanups around network/latency-factor. Default latency...
commit
|
commitdiff
|
tree
2022-10-22
Martin Quinson
Inline the parse_factor function now that FactorSet...
commit
|
commitdiff
|
tree
2022-10-22
Martin Quinson
Reduce the exposition of s_smpi_factor_t
commit
|
commitdiff
|
tree
2022-10-22
Martin Quinson
further refacto smpi_factors to reduce dupplication
commit
|
commitdiff
|
tree
2022-10-22
Martin Quinson
Introduce class simgrid::smpi::utils::FactorSet to...
commit
|
commitdiff
|
tree
2022-10-22
Martin Quinson
Reduce dupplication around smpi factors
commit
|
commitdiff
|
tree
2022-10-21
Martin Quinson
Kill an unused declaration
commit
|
commitdiff
|
tree
2022-10-21
Martin Quinson
fix the parameter of a strncpy call
commit
|
commitdiff
|
tree
2022-10-21
Martin Quinson
Doc: link another python example (+ typo)
commit
|
commitdiff
|
tree
2022-10-21
Martin Quinson
in MC mode, failed xbt_assert() are reported as MC_assert()s
commit
|
commitdiff
|
tree
2022-10-17
Martin Quinson
Fix non-MC builds that don't have libevent-dev installed
commit
|
commitdiff
|
tree
2022-10-16
Martin Quinson
Kill redundent sanity checks
commit
|
commitdiff
|
tree
2022-10-16
Martin Quinson
Don't include simgrid/config.h from simgrid/modelchecker...
commit
|
commitdiff
|
tree
2022-10-16
Martin Quinson
Deal with PTHREAD_STATIC_INITIALIZER if it behave as...
commit
|
commitdiff
|
tree
2022-10-16
Martin Quinson
Add a sthread+MC example that deadlocks
commit
|
commitdiff
|
tree
2022-10-16
Martin Quinson
Rename the transitions so that asynchronous ones clearly...
commit
|
commitdiff
|
tree
2022-10-16
Martin Quinson
Add a sthread example that works (no deadlock)
commit
|
commitdiff
|
tree
2022-10-16
Martin Quinson
Implement pthread_join in MC mode for sthread
commit
|
commitdiff
|
tree
2022-10-10
Martin Quinson
MBI: don't even run the concurrency tests. Save white...
commit
|
commitdiff
|
tree
2022-10-10
Martin Quinson
MBI: use file globbing to make sure that we don't forget...
commit
|
commitdiff
|
tree
2022-10-10
Martin Quinson
MBI: Properly integrate the Epoch lifecycle tests into...
commit
|
commitdiff
|
tree
2022-10-10
Martin Quinson
Only add a barrier to 8 collectives. The other ones...
commit
|
commitdiff
|
tree
2022-10-10
Martin Quinson
Fix windows build by not declaring XBT_PUBLIC an inline...
commit
|
commitdiff
|
tree
2022-10-10
Martin Quinson
MBI.py: More informative error message on failure
commit
|
commitdiff
|
tree
2022-10-10
Martin Quinson
New option to detect dangerous code mixing collectives...
commit
|
commitdiff
|
tree
2022-10-10
Martin Quinson
Allow to pass aliases to declare_flag
commit
|
commitdiff
|
tree
2022-10-10
Martin Quinson
MBI: re-mark as WILL_FAIL some tests that require to...
commit
|
commitdiff
|
tree
2022-10-06
Martin Quinson
Document the recent https://framagit.org/simgrid/simgrid...
commit
|
commitdiff
|
tree
2022-10-06
Martin Quinson
typo in the tutorial
commit
|
commitdiff
|
tree
2022-10-06
Martin Quinson
Let the latest MBI tests compile with our paranoid...
commit
|
commitdiff
|
tree
2022-10-06
Martin Quinson
We don't use doxygen to build the docs anymore
commit
|
commitdiff
|
tree
2022-10-06
Martin Quinson
Integrate the patch javadoc-openjdk17 from Debian
commit
|
commitdiff
|
tree
2022-10-04
Martin Quinson
docker-stable gh action: push all tags; display the...
commit
|
commitdiff
|
tree
2022-10-03
Martin Quinson
Start the next dev cycle
commit
|
commitdiff
|
tree
2022-10-03
Martin Quinson
Release v3.32: The Wiedervereinigung release
commit
|
commitdiff
|
tree
2022-10-03
Martin Quinson
Fix an error message
commit
|
commitdiff
|
tree
2022-10-02
Martin Quinson
Draft of release notes
commit
|
commitdiff
|
tree
2022-10-02
Martin Quinson
Tentative NEWS file for the 3.32 release
commit
|
commitdiff
|
tree
2022-10-02
Martin Quinson
docs: tiny improvement about cmake+SMPI in user code
commit
|
commitdiff
|
tree
2022-10-02
Martin Quinson
More helpful error message when someone needs --cfg...
commit
|
commitdiff
|
tree
2022-10-02
Martin Quinson
Cosmetics in the ChangeLog
commit
|
commitdiff
|
tree
2022-10-02
Martin Quinson
Document all commits since 3.31. The changelog may...
commit
|
commitdiff
|
tree
2022-10-02
Martin Quinson
Hint the users about how to avoid dwarf5 errors around MC
commit
|
commitdiff
|
tree
2022-09-08
Martin Quinson
CentOS uses dnf nowadays
commit
|
commitdiff
|
tree
2022-08-09
Martin Quinson
MC: apply some sonar advices
commit
|
commitdiff
|
tree
2022-08-08
Martin Quinson
Don't test statequality: it's ~15h w/o DPOR and hard...
commit
|
commitdiff
|
tree
2022-08-08
Martin Quinson
Correctly disable DPOR when StateEq reduction is enabled
commit
|
commitdiff
|
tree
2022-08-08
Martin Quinson
Add the teshfiles to the archive even when MC is disabled
commit
|
commitdiff
|
tree
2022-08-08
Martin Quinson
Add tests of state equality reduction and nodpor for...
commit
|
commitdiff
|
tree
2022-08-07
Martin Quinson
kill a parameter that is always true
commit
|
commitdiff
|
tree
2022-08-07
Martin Quinson
mc:DFSExplo: cosmetics in the backtracking
commit
|
commitdiff
|
tree
2022-08-07
Martin Quinson
Merge mc_safety.hpp into DFSExplorer class
commit
|
commitdiff
|
tree
2022-08-07
Martin Quinson
Useless cosmetics while trying to understand that code
commit
|
commitdiff
|
tree
2022-08-07
Martin Quinson
Integrate the (WIP) hashing logic in the Snapshot object
commit
|
commitdiff
|
tree
2022-08-07
Martin Quinson
Small cleanups in mc::Snapshot
commit
|
commitdiff
|
tree
2022-08-06
Martin Quinson
Finish the removal of mc::api by moving the last bits...
commit
|
commitdiff
|
tree
2022-08-06
Martin Quinson
Move mc:api::get_remote_heap_bytes() to RemoteProcess
commit
|
commitdiff
|
tree
2022-08-06
Martin Quinson
Convert simgrid::mc::snapshot_equal() into Snapshot...
commit
|
commitdiff
|
tree
2022-08-06
Martin Quinson
Move the dot_output global into ModelChecker
commit
|
commitdiff
|
tree
2022-08-06
Martin Quinson
Make the RemoteApp a field of the Exploration, and...
commit
|
commitdiff
|
tree
2022-08-05
Martin Quinson
Simplify the MC initialization code
commit
|
commitdiff
|
tree
2022-08-04
Martin Quinson
only 3 more functions to go in mc::api
commit
|
commitdiff
|
tree
2022-08-04
Martin Quinson
Kill another mc::api function
commit
|
commitdiff
|
tree
2022-08-04
Martin Quinson
Pass the remote app as a parameter to all exploration...
commit
|
commitdiff
|
tree
2022-08-04
Martin Quinson
Kill 2 more functions from mc::api
commit
|
commitdiff
|
tree
2022-08-03
Martin Quinson
Move the automaton from mc::api to Liveness. An ugly...
commit
|
commitdiff
|
tree
2022-08-02
Martin Quinson
log_state has nothing to do in RemoteApp, it belongs...
commit
|
commitdiff
|
tree
2022-08-02
Martin Quinson
Sanitize MC finalization process and inline a function
commit
|
commitdiff
|
tree
2022-08-02
Martin Quinson
Kill mc::api::get_remote_app()
commit
|
commitdiff
|
tree
2022-08-02
Martin Quinson
Kill another function of mc::api
commit
|
commitdiff
|
tree
2022-08-02
Martin Quinson
Kill an unimplemented declaration
commit
|
commitdiff
|
tree
2022-08-02
Martin Quinson
Convert Api::get_maxpid() into RemoteApp::get_maxpid()
commit
|
commitdiff
|
tree
2022-08-02
Martin Quinson
Merge an initialization function into the constructor
commit
|
commitdiff
|
tree
2022-08-02
Martin Quinson
Rename mc::Session into mc::api::RemoteApp
commit
|
commitdiff
|
tree
2022-08-01
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
commit
|
commitdiff
|
tree
2022-08-01
Martin Quinson
Ensure that the verified application still works if...
commit
|
commitdiff
|
tree
2022-07-31
Martin Quinson
Kill a now useless variable
commit
|
commitdiff
|
tree
2022-07-31
Martin Quinson
sanitize things around FINALIZE_REPLY despite my laziness...
commit
|
commitdiff
|
tree
2022-07-31
Martin Quinson
Fix SMPI builds by reintroducing a killed MC function...
commit
|
commitdiff
|
tree
2022-07-30
Martin Quinson
MC further cleanups (let it compile, this time)
commit
|
commitdiff
|
tree
next