9
I Use This!
High Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.
Oct 23, 2024 — Oct 23, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
do not put the python bindings .so in /usr/local/local More... 24 days ago
add missing bindings to turn disks on and off More... 24 days ago
Fix make distcheck after the PR
mquinson
as Martin Quinson
More... 25 days ago
Fix some warnings and update the latest merged PR to the new API
mquinson
as Martin Quinson
More... 26 days ago
Document a merged PR
mquinson
as Martin Quinson
More... 26 days ago
Merge branch 'master' of github.com:simgrid/simgrid
mquinson
as Martin Quinson
More... 26 days ago
A reminder that the tests have to be built before running them
mquinson
as Martin Quinson
More... 29 days ago
At least, remove Engine::on_platform_sealed()
mquinson
as Martin Quinson
More... 30 days ago
Make sure that the englobing zone and sharing policy of every link is set from the constructor, so that on_creation can be fired from here
mquinson
as Martin Quinson
More... 30 days ago
Cosmetics in the MC tuto
mquinson
as Martin Quinson
More... 30 days ago
clang needs another libstdc++. I'm sick of this package unable to draw its dependencies
mquinson
as Martin Quinson
More... about 1 month ago
bummer
mquinson
as Martin Quinson
More... about 1 month ago
Valgrind is not installed in the mc-slim docker
mquinson
as Martin Quinson
More... about 1 month ago
try to reduce the size of the MC dockers
mquinson
as Martin Quinson
More... about 1 month ago
Refresh the MC tutorial with a smaller docker image
mquinson
as Martin Quinson
More... about 1 month ago
New docker image, with the bare minimum to use the model-checker
mquinson
as Martin Quinson
More... about 1 month ago
Removing gcc from the docker does not work :-(
mquinson
as Martin Quinson
More... about 1 month ago
Actually, these tests run on MUSL
mquinson
as Martin Quinson
More... about 1 month ago
docker: use debian:testing-slim as a base, and do install libstdc++-14-dev in tuto-mc
mquinson
as Martin Quinson
More... about 1 month ago
tuto-mc docker: do not uninstall clang before building; merge the layers
mquinson
as Martin Quinson
More... about 1 month ago
Build the docker unstable with clang
mquinson
as Martin Quinson
More... about 1 month ago
simgrid-mc now accepts the --cfg=model-check/replay parameter
mquinson
as Martin Quinson
More... about 1 month ago
do not really need to seal platform if instr stuff is declared only when needed and not in main More... about 1 month ago
Add a volatile to this shared variable sounds like a good idea More... about 1 month ago
Post lecture updates to the tutorial
mquinson
as Martin Quinson
More... about 1 month ago
Merge branch 'master' into 'master'
mquinson
as Martin Quinson
More... about 1 month ago
Make an error message easier to see and understand
mquinson
as Martin Quinson
More... about 1 month ago
Improve the tuto now that the example really works
mquinson
as Martin Quinson
More... about 1 month ago
Do not test starpu 1.3 any more More... about 1 month ago
Revert "Use clang to build the unstable docker image, to see if it helps mclang"
mquinson
as Martin Quinson
More... about 1 month ago