| 2023-03-03 |
Martin Quinson | Move the PageStore from ModelChecker to RemoteApp
|
commit | commitdiff | tree |
| 2023-03-02 |
Martin Quinson | Move the stats of visited_states count from ModelChecker...
|
commit | commitdiff | tree |
| 2023-03-02 |
Martin Quinson | Move the dot_output from ModelChecker to Exploration
|
commit | commitdiff | tree |
| 2023-03-02 |
Martin Quinson | One reference to the global singleton mc_model_checker...
|
commit | commitdiff | tree |
| 2023-03-02 |
Martin Quinson | Rename some fields to obey our coding standard
|
commit | commitdiff | tree |
| 2023-03-02 |
Martin Quinson | Allow to call SMPI_app_instance_start() once the simulation...
|
commit | commitdiff | tree |
| 2023-03-02 |
Martin Quinson | Fix a typo found by clang in MC builds
|
commit | commitdiff | tree |
| 2023-03-02 |
Martin Quinson | GH action: build out of sources
|
commit | commitdiff | tree |
| 2023-03-02 |
Martin Quinson | Install python deps on GHaction + better documentation...
|
commit | commitdiff | tree |
| 2023-03-02 |
Martin Quinson | Mais quel débile, punaise
|
commit | commitdiff | tree |
| 2023-03-02 |
Martin Quinson | MC builds have specific dependencies
|
commit | commitdiff | tree |
| 2023-03-02 |
Martin Quinson | GH action: ninja is verbose on error anyway
|
commit | commitdiff | tree |
| 2023-03-02 |
Martin Quinson | GH action: use the correct package name
|
commit | commitdiff | tree |
| 2023-03-02 |
Martin Quinson | gh action: we need 'sudo' here
|
commit | commitdiff | tree |
| 2023-03-02 |
Martin Quinson | GH action: install deps
|
commit | commitdiff | tree |
| 2023-03-02 |
Martin Quinson | GH action: use existing runners
|
commit | commitdiff | tree |
| 2023-03-02 |
Martin Quinson | messing with git actions
|
commit | commitdiff | tree |
| 2023-03-02 |
Martin Quinson | Fix yaml syntax :(
|
commit | commitdiff | tree |
| 2023-03-02 |
Martin Quinson | Add a github action to test our git on Debian11, regular...
|
commit | commitdiff | tree |
| 2023-03-01 |
Martin Quinson | New function SMPI_app_instance_start() to easily start...
|
commit | commitdiff | tree |
| 2023-03-01 |
Martin Quinson | Try to fix a fixme blindly, just in case it was easy
|
commit | commitdiff | tree |
| 2023-02-28 |
Martin Quinson | Fix make distcheck
|
commit | commitdiff | tree |
| 2023-02-28 |
Martin Quinson | doc: Rework the intro pages
|
commit | commitdiff | tree |
| 2023-02-27 |
Martin Quinson | Plug a memleak + experience that code out of the MC...
|
commit | commitdiff | tree |
| 2023-02-27 |
Martin Quinson | cosmetics in docs
|
commit | commitdiff | tree |
| 2023-02-27 |
Martin Quinson | Asynchronous locks and fluid I/O streams were aded...
|
commit | commitdiff | tree |
| 2023-02-27 |
Martin Quinson | Add 3 figures to the design goals + minor rewording
|
commit | commitdiff | tree |
| 2023-02-27 |
Martin Quinson | Update release notes
|
commit | commitdiff | tree |
| 2023-02-26 |
Martin Quinson | Allow to control the problem size from the cmd line...
|
commit | commitdiff | tree |
| 2023-02-26 |
Martin Quinson | Revalidate a tesh file (result of a merge error)
|
commit | commitdiff | tree |
| 2023-02-26 |
Martin Quinson | Use bool for booleans
|
commit | commitdiff | tree |
| 2023-02-26 |
Martin Quinson | Kill a now useless field
|
commit | commitdiff | tree |
| 2023-02-26 |
Martin Quinson | Merge branch 'master' into 'master'
|
commit | commitdiff | tree |
| 2023-02-26 |
Martin Quinson | Also detect the disk failures
|
commit | commitdiff | tree |
| 2023-02-26 |
Martin Quinson | Further simplify the way host failures are detected
|
commit | commitdiff | tree |
| 2023-02-25 |
Martin Quinson | Simplify the way Execs detect host failures
|
commit | commitdiff | tree |
| 2023-02-24 |
Martin Quinson | Revert "Include the output of this test in the tesh...
|
commit | commitdiff | tree |
| 2023-02-24 |
Martin Quinson | Bummer :(
|
commit | commitdiff | tree |
| 2023-02-24 |
Martin Quinson | Two more random hints to contributors (and reindent...
|
commit | commitdiff | tree |
| 2023-02-24 |
Martin Quinson | Add some Noteworthy tests to the Contributor's doc
|
commit | commitdiff | tree |
| 2023-02-24 |
Martin Quinson | When the chaos monkey is invoked with nothing to do...
|
commit | commitdiff | tree |
| 2023-02-24 |
Martin Quinson | Include the output of this test in the tesh file, because...
|
commit | commitdiff | tree |
| 2023-02-24 |
Martin Quinson | Allow to specify the parameters on the command line...
|
commit | commitdiff | tree |
| 2023-02-24 |
Martin Quinson | Merge branch 'udpor-phase2' into 'master'
|
commit | commitdiff | tree |
| 2023-02-24 |
Martin Quinson | Document more changes, and update the Release Notes
|
commit | commitdiff | tree |
| 2023-02-24 |
Martin Quinson | Add a comment on why we need such a callback
|
commit | commitdiff | tree |
| 2023-02-23 |
Martin Quinson | Merge ActivityImpl::post() and ::finish()
|
commit | commitdiff | tree |
| 2023-02-23 |
Martin Quinson | Do not clean twice in Activity::post(), so that even...
|
commit | commitdiff | tree |
| 2023-02-23 |
Martin Quinson | Revert "Get ready for more versions of ns3"
|
commit | commitdiff | tree |
| 2023-02-23 |
Martin Quinson | Sanitize the handling of timeouts in CommImpl, ExecImpl...
|
commit | commitdiff | tree |
| 2023-02-23 |
Martin Quinson | Prefer ActivityImpl::post() to ::finish() that should die
|
commit | commitdiff | tree |
| 2023-02-23 |
Martin Quinson | Get ready for more versions of ns3
|
commit | commitdiff | tree |
| 2023-02-22 |
Martin Quinson | Partially revert 2ad536e710c5936ff8e525e4bbb5e7046f292aac...
|
commit | commitdiff | tree |
| 2023-02-22 |
Martin Quinson | Implement the semaphore functions in sthread
|
commit | commitdiff | tree |
| 2023-02-22 |
Martin Quinson | protect the dict initialization against multithreading
|
commit | commitdiff | tree |
| 2023-02-21 |
Martin Quinson | Cosmetics
|
commit | commitdiff | tree |
| 2023-02-21 |
Martin Quinson | logs: protect finalization against multiple calls
|
commit | commitdiff | tree |
| 2023-02-21 |
Martin Quinson | Let the xbt_log module register its finalizer itself
|
commit | commitdiff | tree |
| 2023-02-21 |
Martin Quinson | Kill simgrid::xbt::cmdline and simgrid::xbt::binary_name
|
commit | commitdiff | tree |
| 2023-02-21 |
Martin Quinson | Simplify the library initialization + deprecate 2 XBT...
|
commit | commitdiff | tree |
| 2023-02-21 |
Martin Quinson | Remove a useless lib constructor (simpler is better)
|
commit | commitdiff | tree |
| 2023-02-21 |
Martin Quinson | Initialize the dict module on need, w/o relying on...
|
commit | commitdiff | tree |
| 2023-02-19 |
Martin Quinson | Remove more occurences of 'surf' with uppercases
|
commit | commitdiff | tree |
| 2023-02-19 |
Martin Quinson | Document that surf is gone
|
commit | commitdiff | tree |
| 2023-02-19 |
Martin Quinson | Finally kill surf_interface.hpp watched_host was actually...
|
commit | commitdiff | tree |
| 2023-02-19 |
Martin Quinson | rename another file with had 'surf' in its name
|
commit | commitdiff | tree |
| 2023-02-19 |
Martin Quinson | Kill a file with 'surf' in its name, and further empty...
|
commit | commitdiff | tree |
| 2023-02-19 |
Martin Quinson | Rework a comment (to remove 'surf')
|
commit | commitdiff | tree |
| 2023-02-18 |
Martin Quinson | kill src/simix
|
commit | commitdiff | tree |
| 2023-02-18 |
Martin Quinson | Move the non-deprecated bits of simix to kernel::actor...
|
commit | commitdiff | tree |
| 2023-02-18 |
Martin Quinson | Kill src/include
|
commit | commitdiff | tree |
| 2023-02-18 |
Martin Quinson | reduce the amount of header includes in headers, to...
|
commit | commitdiff | tree |
| 2023-02-18 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid
|
commit | commitdiff | tree |
| 2023-02-18 |
Martin Quinson | Remove an obsolete cmake warning
|
commit | commitdiff | tree |
| 2023-02-18 |
Martin Quinson | Move some content of surf_interface to a new math_utils.h
|
commit | commitdiff | tree |
| 2023-02-18 |
Martin Quinson | Move the files related to the platform parsing to kernel/xml
|
commit | commitdiff | tree |
| 2023-02-18 |
Martin Quinson | move a symbol declaration out of surf_interface.hpp
|
commit | commitdiff | tree |
| 2023-02-18 |
Martin Quinson | CMake requires ns3 v3.28+, so don't work around a bug...
|
commit | commitdiff | tree |
| 2023-02-18 |
Martin Quinson | Move the ns3 helper files to kernel/models/ns3
|
commit | commitdiff | tree |
| 2023-02-18 |
Martin Quinson | Move the surf tesh tests with the other models' ones
|
commit | commitdiff | tree |
| 2023-02-18 |
Martin Quinson | Remove some more occurence of 'surf' in comments and...
|
commit | commitdiff | tree |
| 2023-02-18 |
Martin Quinson | Further rename the identifiers of flexml to simgrid_parse_*
|
commit | commitdiff | tree |
| 2023-02-18 |
Martin Quinson | Change the namespace of flexml-generated parser from...
|
commit | commitdiff | tree |
| 2023-02-18 |
Martin Quinson | Two more references of the surf/precision option name
|
commit | commitdiff | tree |
| 2023-02-18 |
Martin Quinson | Remove surf from the content from the examples of simulated...
|
commit | commitdiff | tree |
| 2023-02-18 |
Martin Quinson | Rename ActivityImpl::surf_action_ to ActivityImpl:...
|
commit | commitdiff | tree |
| 2023-02-17 |
Martin Quinson | Move HostImpl to kernel/resource with its friends
|
commit | commitdiff | tree |
| 2023-02-17 |
Martin Quinson | move the models to the right directory (empty src/surf...
|
commit | commitdiff | tree |
| 2023-02-17 |
Martin Quinson | Allow precision/bmf as a synonym to bmf/precision
|
commit | commitdiff | tree |
| 2023-02-17 |
Martin Quinson | Rename option maxmin/precision to precision/work-amount...
|
commit | commitdiff | tree |
| 2023-02-17 |
Martin Quinson | Rename option "surf/precision" to "precision/timing...
|
commit | commitdiff | tree |
| 2023-02-17 |
Martin Quinson | Rename sg_surf_precision to sg_precision_timing for...
|
commit | commitdiff | tree |
| 2023-02-17 |
Martin Quinson | Use surf_precision as a value for PMPI_Wtick
|
commit | commitdiff | tree |
| 2023-02-17 |
Martin Quinson | doc: add a little graph about the host energy plugin
|
commit | commitdiff | tree |
| 2023-02-16 |
Martin Quinson | Merge branch 'fix-mc-tests' into 'master'
|
commit | commitdiff | tree |
| 2023-02-16 |
Martin Quinson | fix MC+gcc builds
|
commit | commitdiff | tree |
| 2023-02-16 |
Martin Quinson | CI: build the model-checker on framagit, to test the MRs
|
commit | commitdiff | tree |
| 2023-02-16 |
Martin Quinson | fix the build (but not all tests) of MC
|
commit | commitdiff | tree |
| 2023-02-15 |
Martin Quinson | Merge branch 'actor-comms' into 'master'
|
commit | commitdiff | tree |
| 2023-02-15 |
Martin Quinson | properly deal with network/optim (end of the ModuleGroup...
|
commit | commitdiff | tree |
| next |
