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
don't use char* for pointers that shall be serialized with >>
2022-02-11
Martin Quinson
don't use char* for pointers that shall be serialized...
commit
|
commitdiff
|
tree
2022-02-11
Martin Quinson
Pass the depends() from the observer to the mc::Transition...
commit
|
commitdiff
|
tree
2022-02-11
Martin Quinson
Big bang in MC: app's observers are serialized, to...
commit
|
commitdiff
|
tree
2022-02-07
Martin Quinson
Fast path: don't check the dependency between null...
commit
|
commitdiff
|
tree
2022-02-07
Martin Quinson
Unify the way we count expended states between checkers
commit
|
commitdiff
|
tree
2022-02-07
Martin Quinson
Define and use a Transition::to_cstring()
commit
|
commitdiff
|
tree
2022-02-07
Martin Quinson
Move Transition::execute() to State::execute_next()
commit
|
commitdiff
|
tree
2022-02-07
Martin Quinson
Make State::transition_ private
commit
|
commitdiff
|
tree
2022-02-07
Martin Quinson
Move the selection of the next transition to execute...
commit
|
commitdiff
|
tree
2022-02-07
Martin Quinson
Make Liveness and CommDet more similar to Safety
commit
|
commitdiff
|
tree
2022-02-07
Martin Quinson
MC: inline a function
commit
|
commitdiff
|
tree
2022-02-07
Martin Quinson
Automatize the computation of executed_transitions_
commit
|
commitdiff
|
tree
2022-02-07
Martin Quinson
Move request_execute and request_to_string from api...
commit
|
commitdiff
|
tree
2022-02-07
Martin Quinson
Kill a now unused parameter
commit
|
commitdiff
|
tree
2022-02-07
Martin Quinson
MC: Trade less use of executed_req for more network...
commit
|
commitdiff
|
tree
2022-02-07
Martin Quinson
MC: simplification: this function shall return a boolean
commit
|
commitdiff
|
tree
2022-02-07
Martin Quinson
Let's use bool for booleans
commit
|
commitdiff
|
tree
2022-02-07
Martin Quinson
MC: Inline and simplify a function
commit
|
commitdiff
|
tree
2022-02-07
Martin Quinson
MC: kill an unused function
commit
|
commitdiff
|
tree
2022-02-06
Martin Quinson
nardin clang (fix clang MC builds)
commit
|
commitdiff
|
tree
2022-02-06
Martin Quinson
MC: rely less on executed_req_ and more on observers
commit
|
commitdiff
|
tree
2022-02-05
Martin Quinson
What about not testing the dependencies of transitions...
commit
|
commitdiff
|
tree
2022-02-05
Martin Quinson
MC: Kill now unused fields
commit
|
commitdiff
|
tree
2022-02-05
Martin Quinson
Don't compute the dependencies locally in the checker...
commit
|
commitdiff
|
tree
2022-02-05
Martin Quinson
MC: isend/irecv are not blocking
commit
|
commitdiff
|
tree
2022-02-05
Martin Quinson
MC: do not segfault when the logs are activated
commit
|
commitdiff
|
tree
2022-02-04
Martin Quinson
convert more isend/irecv locations to the new simcalls...
commit
|
commitdiff
|
tree
2022-02-03
Martin Quinson
specify in the COPYING file that we are LGPL-v2.1-only
commit
|
commitdiff
|
tree
2022-02-03
Martin Quinson
preshot sonar (dead code; equality test between double)
commit
|
commitdiff
|
tree
2022-02-03
Martin Quinson
Merge branch 'wifi_rate_zero' into 'master'
commit
|
commitdiff
|
tree
2022-02-02
Martin Quinson
Exclude an oversized python notebook file from the...
commit
|
commitdiff
|
tree
2022-02-02
Martin Quinson
activity-lifecycle: Factorize some code
commit
|
commitdiff
|
tree
2022-02-02
Martin Quinson
Make it clear in output that the direct comms are sendto...
commit
|
commitdiff
|
tree
2022-02-01
Martin Quinson
this file is too deep to allow XBT_INFO, so keep with...
commit
|
commitdiff
|
tree
2022-02-01
Martin Quinson
More verbose on an error experienced on aarch64-darwin...
commit
|
commitdiff
|
tree
2022-02-01
Martin Quinson
doc: explain how to install stuff in a docker that...
commit
|
commitdiff
|
tree
2022-01-31
Martin Quinson
CMake does not want versions < 2.8.12 of itself
commit
|
commitdiff
|
tree
2022-01-31
Martin Quinson
docker: push all tags
commit
|
commitdiff
|
tree
2022-01-31
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
commit
|
commitdiff
|
tree
2022-01-31
Martin Quinson
Start a new dev cycle for v3.31
commit
|
commitdiff
|
tree
2022-01-30
Martin Quinson
bummer
commit
|
commitdiff
|
tree
2022-01-30
Martin Quinson
Build the S4U tuto on top of the stable image again
commit
|
commitdiff
|
tree
2022-01-30
Martin Quinson
Rework the gh action to build the stable dockers
commit
|
commitdiff
|
tree
2022-01-30
Martin Quinson
Release v3.30 (Sunday Bloody Sunday)
commit
|
commitdiff
|
tree
2022-01-30
Martin Quinson
Make sure that min<max in MC_random
commit
|
commitdiff
|
tree
2022-01-30
Martin Quinson
Document the next release. I think we're good to go
commit
|
commitdiff
|
tree
2022-01-30
Martin Quinson
Reorg the cmake in teshuite/mc to factorize things...
commit
|
commitdiff
|
tree
2022-01-29
Martin Quinson
Make the Catch2-SimGrid integration available to more...
commit
|
commitdiff
|
tree
2022-01-28
Martin Quinson
tiny improvement to the doc
commit
|
commitdiff
|
tree
2022-01-28
Martin Quinson
Add a destructor to the NetworkNS3Model to cleanup...
commit
|
commitdiff
|
tree
2022-01-28
Martin Quinson
doc: mark python attributes as attributes
commit
|
commitdiff
|
tree
2022-01-28
Martin Quinson
Don't segfault when Engine::get_instance() is called...
commit
|
commitdiff
|
tree
2022-01-28
Martin Quinson
fix some doc issues
commit
|
commitdiff
|
tree
2022-01-26
Martin Quinson
py: indicate which properties are R/W and which are R-O
commit
|
commitdiff
|
tree
2022-01-25
Martin Quinson
cmake: Maybe we have a nested if issue?
commit
|
commitdiff
|
tree
2022-01-25
Martin Quinson
jenkins: actually pass SIMGRID_PYTHON_LIBDIR to cmake...
commit
|
commitdiff
|
tree
2022-01-25
Martin Quinson
jenkins: force SIMGRID_PYTHON_LIBDIR on NixOS
commit
|
commitdiff
|
tree
2022-01-25
Martin Quinson
Allow to override the python install path (and document it)
commit
|
commitdiff
|
tree
2022-01-25
Martin Quinson
try to honor CMAKE_INSTALL_PREFIX when installing the...
commit
|
commitdiff
|
tree
2022-01-25
Martin Quinson
adjust the dependencies between the docker images ...
commit
|
commitdiff
|
tree
2022-01-24
Martin Quinson
Install python module to Python3_SITEARCH as it should...
commit
|
commitdiff
|
tree
2022-01-24
Martin Quinson
bummer
commit
|
commitdiff
|
tree
2022-01-24
Martin Quinson
Merge the docker-tuto-s4u action into docker, to ease...
commit
|
commitdiff
|
tree
2022-01-24
Martin Quinson
Install the python bindings
commit
|
commitdiff
|
tree
2022-01-24
Martin Quinson
docs: add the copybutton extension to sphinx
commit
|
commitdiff
|
tree
2022-01-24
Martin Quinson
Enable python in the stable and unstable docker images
commit
|
commitdiff
|
tree
2022-01-24
Martin Quinson
This docker is now based on simgrid/unstable so it...
commit
|
commitdiff
|
tree
2022-01-23
Martin Quinson
Python: Add platform-failures example, and extend Py...
commit
|
commitdiff
|
tree
2022-01-23
Martin Quinson
Implement the last (?) Python functions needed for...
commit
|
commitdiff
|
tree
2022-01-23
Martin Quinson
Extend the python bindings and cosmetics
commit
|
commitdiff
|
tree
2022-01-22
Martin Quinson
Really tiny optimization when the communication is...
commit
|
commitdiff
|
tree
2022-01-22
Martin Quinson
Extend a test to use Host::route_to
commit
|
commitdiff
|
tree
2022-01-22
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
commit
|
commitdiff
|
tree
2022-01-22
Martin Quinson
Further fixups and cosmetics in the doc
commit
|
commitdiff
|
tree
2022-01-22
Martin Quinson
Make Activity::on_completion take a const&, just like...
commit
|
commitdiff
|
tree
2022-01-22
Martin Quinson
Many tiny documentation improvements
commit
|
commitdiff
|
tree
2022-01-22
Martin Quinson
Change how examples are presented: from itemize to...
commit
|
commitdiff
|
tree
2022-01-21
Martin Quinson
Fix some more problems in the doc + cosmetics + extend...
commit
|
commitdiff
|
tree
2022-01-21
Martin Quinson
Docker: syntax error
commit
|
commitdiff
|
tree
2022-01-21
Martin Quinson
Document simgrid.Engine.instance in Python
commit
|
commitdiff
|
tree
2022-01-21
Martin Quinson
gh action: allow tuto-s4u to build on unstable, as...
commit
|
commitdiff
|
tree
2022-01-21
Martin Quinson
Docker: remove borken cruft to switch the user from...
commit
|
commitdiff
|
tree
2022-01-21
Martin Quinson
Update the action name
commit
|
commitdiff
|
tree
2022-01-21
Martin Quinson
split the action to build the s4u tuto docker image
commit
|
commitdiff
|
tree
2022-01-21
Martin Quinson
tutorials: run the dockers as a user
commit
|
commitdiff
|
tree
2022-01-21
Martin Quinson
The python tuto needs the unstable version of simgrid
commit
|
commitdiff
|
tree
2022-01-21
Martin Quinson
Port the Algorithm tutorial to python
commit
|
commitdiff
|
tree
2022-01-20
Martin Quinson
Fix makedistcheck
commit
|
commitdiff
|
tree
2022-01-20
Martin Quinson
Convert the MasterWorker to python, in preparation...
commit
|
commitdiff
|
tree
2022-01-20
Martin Quinson
The tuto will soon need python3
commit
|
commitdiff
|
tree
2022-01-20
Martin Quinson
doc: don't include files that were removed earlier
commit
|
commitdiff
|
tree
2022-01-08
Martin Quinson
Try to switch the docker image we use for the pip job
commit
|
commitdiff
|
tree
2022-01-06
Martin Quinson
Merge branch 'appveyor' of github.com:simgrid/simgrid
commit
|
commitdiff
|
tree
2022-01-05
Martin Quinson
cosmetics [no-ci]
commit
|
commitdiff
|
tree
2022-01-05
Martin Quinson
Introduce on_???_cb functions to shield the signals
commit
|
commitdiff
|
tree
2022-01-03
Martin Quinson
Second attempt at fixing appveyor
commit
|
commitdiff
|
tree
2022-01-02
Martin Quinson
Fix Java builds on native windows
commit
|
commitdiff
|
tree
2022-01-02
Martin Quinson
Fix non-graphviz builds
commit
|
commitdiff
|
tree
2021-12-27
Martin Quinson
cosmetics in java implem
commit
|
commitdiff
|
tree
2021-12-27
Martin Quinson
java: setup a RAII wrapper to properly deal with GetStringUT...
commit
|
commitdiff
|
tree
next