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
Sanity checks about the lock protecting a pthread_cond
2023-06-05
Martin Quinson
Remove a test that was indended to show that this branch...
commit
|
commitdiff
|
tree
2023-06-05
Martin Quinson
Use Debian:12 for our build deps
commit
|
commitdiff
|
tree
2023-06-05
Martin Quinson
Merge branch 'rename-operation-task' into 'master'
commit
|
commitdiff
|
tree
2023-06-05
Martin Quinson
Merge branch 'odpor-implementation' into 'master'
commit
|
commitdiff
|
tree
2023-06-01
Martin Quinson
Merge branch 'python-repr' into 'master'
commit
|
commitdiff
|
tree
2023-05-31
Martin Quinson
Merge branch 'doc-photovoltaic-plugin' into 'master'
commit
|
commitdiff
|
tree
2023-05-31
Martin Quinson
Merge branch 'operation-python' into 'master'
commit
|
commitdiff
|
tree
2023-05-31
Martin Quinson
Merge branch 'simgrid-fork-plugin-photovoltaic'
commit
|
commitdiff
|
tree
2023-05-30
Martin Quinson
GitHub action: update to actions/checkout@v3
commit
|
commitdiff
|
tree
2023-05-24
Martin Quinson
Specialize the Activity on_veto, on_suspend and on_resume...
commit
|
commitdiff
|
tree
2023-05-23
Martin Quinson
Hide a bit an internal method (make it protected)
commit
|
commitdiff
|
tree
2023-05-23
Martin Quinson
easy cleanup
commit
|
commitdiff
|
tree
2023-05-23
Martin Quinson
Give the on_this_ variant to all VM signals
commit
|
commitdiff
|
tree
2023-05-23
Martin Quinson
Sort the signals on the plugin page
commit
|
commitdiff
|
tree
2023-05-23
Martin Quinson
Rename Resource::on_state_change to Resource::on_onoff...
commit
|
commitdiff
|
tree
2023-05-23
Martin Quinson
Use the right version for the deprecate macro
commit
|
commitdiff
|
tree
2023-05-23
Martin Quinson
Give the _this_ variants to the Link signals
commit
|
commitdiff
|
tree
2023-05-23
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
commit
|
commitdiff
|
tree
2023-05-23
Martin Quinson
Various cleanups in the Host signals
commit
|
commitdiff
|
tree
2023-05-22
Martin Quinson
Add instance signals for all Disk signals
commit
|
commitdiff
|
tree
2023-05-22
Martin Quinson
Add instance signals for all Actor signals
commit
|
commitdiff
|
tree
2023-05-22
Martin Quinson
no need to save all ns3 sink points
commit
|
commitdiff
|
tree
2023-05-22
Martin Quinson
Rename cfg 'ns3/TcpModel' to 'ns3/UdpModel'
commit
|
commitdiff
|
tree
2023-05-22
Martin Quinson
Test that setting ns3 TCP models actually work
commit
|
commitdiff
|
tree
2023-05-22
Martin Quinson
cosmetics in the ChangeLog
commit
|
commitdiff
|
tree
2023-05-10
Martin Quinson
Fix make distcheck
commit
|
commitdiff
|
tree
2023-05-10
Martin Quinson
MC: Kill the now useless code State::get_recipe
commit
|
commitdiff
|
tree
2023-05-10
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
commit
|
commitdiff
|
tree
2023-05-10
Martin Quinson
DFS MC: Restore from system states even if we have...
commit
|
commitdiff
|
tree
2023-05-10
Martin Quinson
Merge branch 'dag-lab' into 'master'
commit
|
commitdiff
|
tree
2023-05-10
Martin Quinson
Merge branch 'changelog-operation-plugin' into 'master'
commit
|
commitdiff
|
tree
2023-05-04
Martin Quinson
Rename Link::get_usage() to Link::get_load() for consistency...
commit
|
commitdiff
|
tree
2023-05-03
Martin Quinson
One use less of get_recipe() that will soon die
commit
|
commitdiff
|
tree
2023-05-03
Martin Quinson
Factorize more code between DFSExplo and LivenessExplo...
commit
|
commitdiff
|
tree
2023-04-27
Martin Quinson
Lazily compute the recipe of a state, on need only
commit
|
commitdiff
|
tree
2023-04-27
Martin Quinson
More automatic memory mgmt in MC
commit
|
commitdiff
|
tree
2023-04-27
Martin Quinson
MC: give each state an incoming transition too
commit
|
commitdiff
|
tree
2023-04-27
Martin Quinson
Fix comment [no-ci]
commit
|
commitdiff
|
tree
2023-04-26
Martin Quinson
Merge branch 'operation-plugin' into 'master'
commit
|
commitdiff
|
tree
2023-04-18
Martin Quinson
Merge branch 'udpor-phase7' into 'master'
commit
|
commitdiff
|
tree
2023-04-17
Martin Quinson
sonar fixes
commit
|
commitdiff
|
tree
2023-04-16
Martin Quinson
Let resource profiles finish their initialization by...
commit
|
commitdiff
|
tree
2023-04-16
Martin Quinson
No need to presolve the models to finish their initializatio...
commit
|
commitdiff
|
tree
2023-04-16
Martin Quinson
Only fire on_platform_created after creating the platform...
commit
|
commitdiff
|
tree
2023-04-16
Martin Quinson
Add a target to recompile all ns3 tests (and only them)
commit
|
commitdiff
|
tree
2023-04-15
Martin Quinson
Make sure that we never have a 0 transition at the...
commit
|
commitdiff
|
tree
2023-04-15
Martin Quinson
Also send the disabled transitions over: UDPOR needs it
commit
|
commitdiff
|
tree
2023-04-15
Martin Quinson
More informative message on system error
commit
|
commitdiff
|
tree
2023-04-14
Martin Quinson
More defensive programing style
commit
|
commitdiff
|
tree
2023-04-13
Martin Quinson
Trust the config system to check that only valid values...
commit
|
commitdiff
|
tree
2023-04-12
Martin Quinson
Make this example valgrind-clean
commit
|
commitdiff
|
tree
2023-04-12
Martin Quinson
Further cosmetics in that example, adding a helper...
commit
|
commitdiff
|
tree
2023-04-12
Martin Quinson
Use host->set_concurrency_limit(1) in an example where...
commit
|
commitdiff
|
tree
2023-04-12
Martin Quinson
Document a bit the MC changes
commit
|
commitdiff
|
tree
2023-04-12
Martin Quinson
Allow to set a concurrency limit on disks and hosts
commit
|
commitdiff
|
tree
2023-04-07
Martin Quinson
Please don't fix this error reported by clang-static...
commit
|
commitdiff
|
tree
2023-04-06
Martin Quinson
Make distcheck
commit
|
commitdiff
|
tree
2023-04-06
Martin Quinson
MC: Reap all zombie childs to avoid them to accumulate
commit
|
commitdiff
|
tree
2023-04-06
Martin Quinson
Remove the timings of another ns3 test to help older...
commit
|
commitdiff
|
tree
2023-04-06
Martin Quinson
Allow ns3 to be idempotent if correctly patched
commit
|
commitdiff
|
tree
2023-04-05
Martin Quinson
Improve the logging level of that message that is relatively...
commit
|
commitdiff
|
tree
2023-04-05
Martin Quinson
these ns3 tests need an 'output sort' directive :(
commit
|
commitdiff
|
tree
2023-04-05
Martin Quinson
Fix make distcheck, stupid bummer
commit
|
commitdiff
|
tree
2023-04-05
Martin Quinson
Enforce the ns3 timings for the latest version of ns3...
commit
|
commitdiff
|
tree
2023-04-05
Martin Quinson
Make strsignal(SIGSEGV) return the same string across...
commit
|
commitdiff
|
tree
2023-04-04
Martin Quinson
Use the fast SOCK_SEQPACKET where available
commit
|
commitdiff
|
tree
2023-04-04
Martin Quinson
Make the MC protocol work on top of STREAM sockets
commit
|
commitdiff
|
tree
2023-04-03
Martin Quinson
Don't die at compilation when activating stateless...
commit
|
commitdiff
|
tree
2023-04-03
Martin Quinson
Remove a file generated by cmake
commit
|
commitdiff
|
tree
2023-04-03
Martin Quinson
Ensure in tests that the ns3 timings remain unchanged
commit
|
commitdiff
|
tree
2023-04-02
Martin Quinson
Kill another override-to-same-content
commit
|
commitdiff
|
tree
2023-04-02
Martin Quinson
Cosmetics in cmake
commit
|
commitdiff
|
tree
2023-04-02
Martin Quinson
Don't override a method to the same content
commit
|
commitdiff
|
tree
2023-04-02
Martin Quinson
Don't use ucontextes on Apple hosts
commit
|
commitdiff
|
tree
2023-04-02
Martin Quinson
Cast a printf parameter to please MacOS X
commit
|
commitdiff
|
tree
2023-04-02
Martin Quinson
Disable MC stateful API when not running in MC
commit
|
commitdiff
|
tree
2023-04-02
Martin Quinson
MC stateful API is only needed when stateful MC is...
commit
|
commitdiff
|
tree
2023-04-02
Martin Quinson
Don't use CLOEXEC
commit
|
commitdiff
|
tree
2023-04-01
Martin Quinson
Ensure that the clang optimizer does not swallow the...
commit
|
commitdiff
|
tree
2023-04-01
Martin Quinson
Ignore empty replay path + hide a global (to avoid...
commit
|
commitdiff
|
tree
2023-04-01
Martin Quinson
More logs around the configuration of the MC variants
commit
|
commitdiff
|
tree
2023-04-01
Martin Quinson
Really diplay cmake parameters in the jenkins logs
commit
|
commitdiff
|
tree
2023-04-01
Martin Quinson
Jenkins: display cmake parameters in the logs
commit
|
commitdiff
|
tree
2023-04-01
Martin Quinson
Option model-checking OFF by default
commit
|
commitdiff
|
tree
2023-04-01
Martin Quinson
Don't qwack when the default empty string is passed...
commit
|
commitdiff
|
tree
2023-04-01
Martin Quinson
Revert "Also valgrind childs in CI, to valgrind MC...
commit
|
commitdiff
|
tree
2023-04-01
Martin Quinson
Fix an initialization race around the AppSide
commit
|
commitdiff
|
tree
2023-04-01
Martin Quinson
Fix make distcheck
commit
|
commitdiff
|
tree
2023-04-01
Martin Quinson
Also valgrind childs in CI, to valgrind MC apps
commit
|
commitdiff
|
tree
2023-04-01
Martin Quinson
Only compile stateless MC when libevent is found
commit
|
commitdiff
|
tree
2023-03-31
Martin Quinson
Rename SIMGRID_HAVE_MC into SIMGRID_HAVE_STATEFUL_MC...
commit
|
commitdiff
|
tree
2023-03-31
Martin Quinson
Fix non-MC builds when MC-only dependencies are missing
commit
|
commitdiff
|
tree
2023-03-31
Martin Quinson
Compile the safe part of MC in default mode too
commit
|
commitdiff
|
tree
2023-03-31
Martin Quinson
Try to please the ultramodern clang running on FreeBSD...
commit
|
commitdiff
|
tree
2023-03-31
Martin Quinson
Fix doc on how to select the compiler before compiling
commit
|
commitdiff
|
tree
2023-03-31
Martin Quinson
Merge branch 'master' into 'master'
commit
|
commitdiff
|
tree
2023-03-31
Martin Quinson
Correctly select the clang compiler on gitlab CI
commit
|
commitdiff
|
tree
2023-03-31
Martin Quinson
Gitlab CI: Use clang on modelchecker builds, for MRs
commit
|
commitdiff
|
tree
2023-03-31
Martin Quinson
Fix clang builds
commit
|
commitdiff
|
tree
2023-03-31
Martin Quinson
Add a small implementation note in MC
commit
|
commitdiff
|
tree
next