AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

2023-06-22	Martin Quinson	Improve the release notes for MC	commit \| commitdiff \| tree
2023-06-22	Martin Quinson	Document source-set and DPOR options	commit \| commitdiff \| tree
2023-06-22	Martin Quinson	model-check/sleep-set is now true by default	commit \| commitdiff \| tree
2023-06-21	Martin Quinson	Increase a bit an example which size got reduced when...	commit \| commitdiff \| tree
2023-06-16	Martin Quinson	Fix indent in an example	commit \| commitdiff \| tree
2023-06-15	Martin Quinson	fix the instructions on how to use local installs of...	commit \| commitdiff \| tree
2023-06-15	Martin Quinson	Fix the liveness tests by ignoring the Comm ID memory...	commit \| commitdiff \| tree
2023-06-15	Martin Quinson	Revalidate the tesh files after the recent MC depends...	commit \| commitdiff \| tree
2023-06-15	Martin Quinson	Do not consider the memory addresses in MC depends...	commit \| commitdiff \| tree
2023-06-15	Martin Quinson	MC: Give an ID to comms to not use their pointer value...	commit \| commitdiff \| tree
2023-06-15	Martin Quinson	Explain the relevant PYTHONPATH when installing from...	commit \| commitdiff \| tree
2023-06-13	Martin Quinson	Revalidate the MC tesh files after the recent changes...	commit \| commitdiff \| tree
2023-06-13	Martin Quinson	re-add --help-coll to the doc now that it's implemented	commit \| commitdiff \| tree
2023-06-13	Martin Quinson	Tiny doc improvement	commit \| commitdiff \| tree
2023-06-13	Martin Quinson	improve the doc of how to select the right algorithm	commit \| commitdiff \| tree
2023-06-09	Martin Quinson	Merge branch 'udpor-phase8' into 'master'	commit \| commitdiff \| tree
2023-06-07	Martin Quinson	Merge branch 'master' into 'master'	commit \| commitdiff \| tree
2023-06-05	Martin Quinson	Install package non-interactively on CI	commit \| commitdiff \| tree
2023-06-05	Martin Quinson	Another struct/class mismatch between forward declaration...	commit \| commitdiff \| tree
2023-06-05	Martin Quinson	Enable the ODPOR/SDPOR tests in default builds also	commit \| commitdiff \| tree
2023-06-05	Martin Quinson	Please clang by not defaulting a constructor that it...	commit \| commitdiff \| tree
2023-06-05	Martin Quinson	Merge branch 'fix-sonar-task' into 'master'	commit \| commitdiff \| tree
2023-06-05	Martin Quinson	Merge branch 'odpor-clean-ups' into 'master'	commit \| commitdiff \| tree
2023-06-05	Martin Quinson	CI pages: try to use the Debian version of the python...	commit \| commitdiff \| tree
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
next

Clone of SimGrid repository with local patches

RSS Atom