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
MC: display the status of all actors in case of deadlock
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
2022-07-02
Martin Quinson
Adapt to the upcoming ns-3 v3.36.1
commit
|
commitdiff
|
tree
2022-06-29
Martin Quinson
Disable sthread at the end of the sthread_main
commit
|
commitdiff
|
tree
2022-06-28
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
commit
|
commitdiff
|
tree
2022-06-28
Martin Quinson
Add a TESH for the new sthread feature
commit
|
commitdiff
|
tree
2022-06-27
Martin Quinson
Make sthread_inside_simgrid static into libsthread...
commit
|
commitdiff
|
tree
2022-06-26
Martin Quinson
make sthread work out of MC build trees
commit
|
commitdiff
|
tree
2022-06-25
Martin Quinson
tentative of implementing pthread_join, and to ensure...
commit
|
commitdiff
|
tree
2022-06-24
Martin Quinson
Make sure that sthread_inside_simgrid is initially...
commit
|
commitdiff
|
tree
2022-06-24
Martin Quinson
sthread is not a binary [anymore] but a library
commit
|
commitdiff
|
tree
2022-06-24
Martin Quinson
sthread does not exist on FreeBSD so don't break MC...
commit
|
commitdiff
|
tree
2022-06-24
Martin Quinson
Document one recent change
commit
|
commitdiff
|
tree
2022-06-24
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
commit
|
commitdiff
|
tree
2022-06-24
Martin Quinson
Ongoing attempt for sthread, an automatic intercepter...
commit
|
commitdiff
|
tree
2022-06-24
Martin Quinson
Add a function to determine whether SMPI is currently...
commit
|
commitdiff
|
tree
2022-06-12
Martin Quinson
Hint about how to configure with ninja instead of make
commit
|
commitdiff
|
tree
2022-06-10
Martin Quinson
MC: better encapsulation design
commit
|
commitdiff
|
tree
2022-05-10
Martin Quinson
Merge branch 'master' into 'master'
commit
|
commitdiff
|
tree
2022-05-10
Tom Cornebize
Enhance graphicator program
commit
|
commitdiff
|
tree
2022-04-14
Martin Quinson
specify in the doc that SMPI_PRETEND_CC is good for...
commit
|
commitdiff
|
tree
2022-04-14
Martin Quinson
typo
commit
|
commitdiff
|
tree
2022-03-30
Martin Quinson
Merge branch 'add_missing_comm_python_bindings' into...
commit
|
commitdiff
|
tree
2022-03-29
Martin Quinson
Merge branch 'dev-mailbox-clear' into 'master'
commit
|
commitdiff
|
tree
2022-03-28
Martin Quinson
Fix the generation of MBI test cases (and compile them...
commit
|
commitdiff
|
tree
2022-03-28
Martin Quinson
PVS fixes in MBI: initialize buffers before use
commit
|
commitdiff
|
tree
2022-03-28
Martin Quinson
MBI: cosmetics in a diagnostic
commit
|
commitdiff
|
tree
2022-03-28
Martin Quinson
BuildSimGrid.sh: allow the use of ninja
commit
|
commitdiff
|
tree
2022-03-28
Martin Quinson
Tiny cosmetics around MBI
commit
|
commitdiff
|
tree
2022-03-28
Martin Quinson
MBI: Do not use arrays out of bound
commit
|
commitdiff
|
tree
2022-03-26
Martin Quinson
MBI: typo
commit
|
commitdiff
|
tree
2022-03-26
Martin Quinson
MBI mark the test requiring the detection of local...
commit
|
commitdiff
|
tree
2022-03-26
Martin Quinson
MBI: buffer on stack is a programming error, not a...
commit
|
commitdiff
|
tree
2022-03-26
Martin Quinson
MBI test: disply the right buffer on error
commit
|
commitdiff
|
tree
2022-03-26
Martin Quinson
Resynch MBI generators with upstream
commit
|
commitdiff
|
tree
2022-03-26
Martin Quinson
Reactivate the last MBI generator now that it produces...
commit
|
commitdiff
|
tree
2022-03-25
Martin Quinson
Expose signals Activity::on_suspend and Activity::on_resume...
commit
|
commitdiff
|
tree
2022-03-25
Martin Quinson
kill a signal that never worked anyway
commit
|
commitdiff
|
tree
2022-03-25
Martin Quinson
Yet another tiny improvement to the release process
commit
|
commitdiff
|
tree
2022-03-24
Martin Quinson
kill trailing spaces and tabs in MBI files
commit
|
commitdiff
|
tree
2022-03-24
Martin Quinson
Sync MBI generators with upstream modifications
commit
|
commitdiff
|
tree
2022-03-24
Martin Quinson
Remove a reference to gforge from the README
commit
|
commitdiff
|
tree
2022-03-23
Martin Quinson
Revalidate the tesh outputs after cosmetics to the...
commit
|
commitdiff
|
tree
2022-03-23
Martin Quinson
Fix the dependency of inter-comm transitions
commit
|
commitdiff
|
tree
2022-03-22
Martin Quinson
tiny fix in release process
commit
|
commitdiff
|
tree
2022-03-22
Martin Quinson
MC: be explicit when reaching an execution end (it...
commit
|
commitdiff
|
tree
2022-03-22
Martin Quinson
Comm transitions are INDEP with non-comm transitions
commit
|
commitdiff
|
tree
2022-03-22
Martin Quinson
Fix the release date in the release notes
commit
|
commitdiff
|
tree
2022-03-22
Martin Quinson
Release v3.31
commit
|
commitdiff
|
tree
2022-03-22
Martin Quinson
Update tuto MC to the latest tool output
commit
|
commitdiff
|
tree
2022-03-22
Martin Quinson
Fix make distcheck, once again
commit
|
commitdiff
|
tree
2022-03-22
Martin Quinson
Complete the documentation of v3.31
commit
|
commitdiff
|
tree
2022-03-21
Martin Quinson
Revalidate the tesh of a MC test that has now less...
commit
|
commitdiff
|
tree
2022-03-20
Martin Quinson
Resynchronize simgrid's MBI adapter from MBI project
commit
|
commitdiff
|
tree
2022-03-20
Martin Quinson
Add the remaining MBI generators
commit
|
commitdiff
|
tree
2022-03-20
Martin Quinson
small sonar fixes
commit
|
commitdiff
|
tree
2022-03-20
Martin Quinson
also remove the master example from example syncho...
commit
|
commitdiff
|
tree
2022-03-20
Martin Quinson
Fail loudly when someone tries to use Actor::join(...
commit
|
commitdiff
|
tree
2022-03-20
Martin Quinson
Don't have an extra actor in s4u-synchro-mutex to create...
commit
|
commitdiff
|
tree
next