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
Deal with PTHREAD_STATIC_INITIALIZER if it behave as in glibc
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
2022-07-30
Martin Quinson
MC: rename a file to sort out the mess
commit
|
commitdiff
|
tree
2022-07-30
Martin Quinson
And now cleanup the App-side of cruft that was needed...
commit
|
commitdiff
|
tree
2022-07-30
Martin Quinson
Finally kill mc::RemoteProcess::actors(). We now communicate...
commit
|
commitdiff
|
tree
2022-07-30
Martin Quinson
Give read access to a private field
commit
|
commitdiff
|
tree
2022-07-30
Martin Quinson
inline a function, kill a file
commit
|
commitdiff
|
tree
2022-07-30
Martin Quinson
Well the last rogue call to RemoteProcess::actors(...
commit
|
commitdiff
|
tree
2022-07-30
Martin Quinson
Liveness: rename graph_state -> app_state and automaton_stat...
commit
|
commitdiff
|
tree
2022-07-30
Martin Quinson
further reduce the amount of call sites for RemoteProcess...
commit
|
commitdiff
|
tree
2022-07-30
Martin Quinson
small cosmetics to not spread unrelated logic all around...
commit
|
commitdiff
|
tree
2022-07-30
Martin Quinson
MC: make it clear that we only have the info about...
commit
|
commitdiff
|
tree
2022-07-30
Martin Quinson
Reduce the amount of MC locations reading the memory...
commit
|
commitdiff
|
tree
2022-07-29
Martin Quinson
Fix RST formatting + one URL in Release_Notes.rst
commit
|
commitdiff
|
tree
2022-07-29
Martin Quinson
If there is no LOCK in mmalloc anymore, then there...
commit
|
commitdiff
|
tree
2022-07-28
Martin Quinson
Remove the need of pthread_mutex in mmalloc, to allow...
commit
|
commitdiff
|
tree
2022-07-28
Martin Quinson
Kill useless complexity in mmalloc: one of the dlsym
commit
|
commitdiff
|
tree
2022-07-28
Martin Quinson
Allow dlsym to call free() on memory that is allocated...
commit
|
commitdiff
|
tree
2022-07-22
Martin Quinson
Another attempt at PRELOADing mmalloc (WIP)
commit
|
commitdiff
|
tree
2022-07-21
Martin Quinson
Fix build error due to clang-format reordering the...
commit
|
commitdiff
|
tree
2022-07-21
Martin Quinson
Split mmalloc in a separate library
commit
|
commitdiff
|
tree
2022-07-21
Martin Quinson
Further small simplifications to mmalloc, killing dead...
commit
|
commitdiff
|
tree
2022-07-21
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
commit
|
commitdiff
|
tree
2022-07-21
Martin Quinson
Separate mmalloc from xbt
commit
|
commitdiff
|
tree
2022-07-21
Martin Quinson
Kill a function that is unused and unimplemented
commit
|
commitdiff
|
tree
2022-07-13
Martin Quinson
sthread: correctly switch to within simgrid when calling...
commit
|
commitdiff
|
tree
2022-07-13
Martin Quinson
mc::api: Inline a useless function
commit
|
commitdiff
|
tree
2022-07-13
Martin Quinson
Make sure that all MC tests are built on target tests-mc
commit
|
commitdiff
|
tree
2022-07-13
Martin Quinson
mmalloc: rename a symbol to prepare further refactorings
commit
|
commitdiff
|
tree
2022-07-11
Martin Quinson
The variable is named LD_BIND_NOW so these lines were...
commit
|
commitdiff
|
tree
2022-07-10
Martin Quinson
Survive with old cmakes
commit
|
commitdiff
|
tree
2022-07-10
Martin Quinson
Compile pthread-mutex-simple in a way that allows its...
commit
|
commitdiff
|
tree
2022-07-10
Martin Quinson
MC: allow to pass env variables to the verified application
commit
|
commitdiff
|
tree
2022-07-10
Martin Quinson
sthread: Intercept gettimeofday + sleep + usleep
commit
|
commitdiff
|
tree
2022-07-02
Martin Quinson
sthread: don't intercept the main when run from smpirun
commit
|
commitdiff
|
tree
next