Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Attribute "printf" for ModelChecker::dot_output.
[simgrid.git] / tools /
2022-08-10 Augustin Degomme[ci-skip] try to help gcovr find files (it needs to...
2022-08-07 Martin QuinsonMerge mc_safety.hpp into DFSExplorer class
2022-08-07 Martin QuinsonIntegrate the (WIP) hashing logic in the Snapshot object
2022-08-06 Martin QuinsonFinish the removal of mc::api by moving the last bits...
2022-08-06 Martin QuinsonMove mc:api::get_remote_heap_bytes() to RemoteProcess
2022-08-02 Martin Quinsonlog_state has nothing to do in RemoteApp, it belongs...
2022-08-02 Martin QuinsonRename mc::Session into mc::api::RemoteApp
2022-08-02 Augustin Degomme[ci-skip] activate ccache on sanitizer builds
2022-08-01 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2022-08-01 Augustin Degomme[ci-skip] Flags - let's see if this trailing whitespace...
2022-08-01 Augustin Degomme[ci-skip] use ccache on flags build as well.
2022-07-30 Martin QuinsonMC further cleanups (let it compile, this time)
2022-07-30 Martin QuinsonMC: rename a file to sort out the mess
2022-07-30 Martin Quinsoninline a function, kill a file
2022-07-30 Augustin Degommefix build for clang <15
2022-07-30 Augustin Degommeignore new deprecation warning on freebsd
2022-07-30 Augustin Degommeuse ccache for main ci build.
2022-07-22 Martin QuinsonAnother attempt at PRELOADing mmalloc (WIP)
2022-07-22 Augustin DegommeMerge branch 'support-sendrecv-ti' into 'master'
2022-07-21 Martin QuinsonSplit mmalloc in a separate library
2022-07-04 Arnaud Giersch[project-description] Fix extraction of the ns-3 version.
2022-07-03 Arnaud GierschReintroduce "3-dev" in list of ns3 known versions.
2022-07-03 Arnaud GierschRecompute set of ns-3 lirairies.
2022-07-03 Arnaud GierschTry to fix number of '\' escapes in cmake regexps.
2022-07-02 Martin QuinsonAdapt to the upcoming ns-3 v3.36.1
2022-06-30 Arnaud GierschMerge branch 'dev-get-hostname-faster' into 'master'
2022-06-27 Arnaud GierschDistcheck!
2022-06-27 Arnaud GierschMerge branch 's4u_enforce' into 'master'
2022-06-24 Martin Quinsonsthread is not a binary [anymore] but a library
2022-06-24 Martin Quinsonsthread does not exist on FreeBSD so don't break MC...
2022-06-24 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2022-06-24 Martin QuinsonOngoing attempt for sthread, an automatic intercepter...
2022-05-30 Augustin Degommearm systems have unsigned chars by default, enforce...
2022-05-30 Arnaud GierschMerge selected changes from branch 'simgrid-Jesse-McDon...
2022-05-25 Arnaud GierschMerge branch 'graphicator_seal' into 'master'
2022-05-25 Tom CornebizeSeal the platform in graphicator before dumping
2022-05-20 Arnaud GierschModify test to run latest libsupernode.so at least...
2022-05-20 Augustin DegommeMerge branch 'dev-add_comm_fault_scenario' into 'master'
2022-05-19 Arnaud GierschMerge branch 'dev-fix_mailbox_clear' into 'master'
2022-05-19 Arnaud GierschMerge branch 'dev-hosts_to_activity' into 'master'
2022-05-19 Arnaud GierschReorder (sort) file lists.
2022-05-19 Arnaud GierschMake distcheck.
2022-05-17 Augustin DegommeMerge branch 'dev-unit_test_cleanup' into 'master'
2022-05-17 Arnaud GierschCosmetics: declare graph edges with the "right" direction.
2022-05-12 Arnaud GierschFix build with Eigen3 and Imtel compiler.
2022-05-12 Arnaud GierschRemove from CFLAGS warnings already enabled by -Wall.
2022-05-10 Martin QuinsonMerge branch 'master' into 'master'
2022-05-10 Tom CornebizeEnhance graphicator program
2022-05-10 Arnaud GierschUpdate generator script to match the current code.
2022-05-06 Arnaud GierschDisable bogus warning with g++: add -Wno-free-nonheap...
2022-04-27 Arnaud GierschCosmetics: gcc is now always >= 5.0.
2022-04-27 Arnaud GierschFix build with -Werror on older g++.
2022-04-23 Augustin Degomme[ci-skip] Update project_description.sh
2022-04-23 Augustin Degomme[ci-skip] help flags build finding ns3
2022-04-22 Augustin Degommetry to use ns3-dev on ubuntu.
2022-04-22 Augustin Degommedisable LTO on the arm builder, as it is believed to...
2022-04-21 Augustin Degommens3: allow use of -dev version from manually compiled...
2022-04-20 Arnaud GierschDisable ns3 on ubuntu until version 3.36.
2022-04-15 Arnaud GierschMerge branch 'dev/s4u_tuto_fixes' into 'master'
2022-04-04 Bruno DonassoloSeparate NetworkModel from LinkImpl.
2022-03-30 Martin QuinsonMerge branch 'add_missing_comm_python_bindings' into...
2022-03-29 Martin QuinsonMerge branch 'dev-mailbox-clear' into 'master'
2022-03-28 Bruno DonassoloMerge branch 'issue105' into 'master'
2022-03-27 Augustin Degommeignore MBI in cobertura reports. Keep them for PVS...
2022-03-27 Augustin Degommetest activating MBI on coverage build
2022-03-22 Arnaud GierschMisc Python smells from codefactor.io.
2022-03-18 Bruno DonassoloMove maxmin solver from system
2022-03-18 Bruno DonassoloRename file maxmin to System
2022-03-17 Arnaud GierschSuppress trailing whitespaces.
2022-03-16 Martin QuinsonMerge branch 'add_barrier_python_bindings' into 'master'
2022-03-15 Arnaud GierschExtract eigen3 version from build logs.
2022-03-15 Arnaud GierschFix column numbers for sortTable.
2022-03-15 Arnaud Giersch[project-description] Put build status starting at...
2022-03-15 Arnaud GierschAdd eigen3 to project_description.sh
2022-03-15 Arnaud GierschEnable valgrind for unit-tests.
2022-03-15 Arnaud GierschRename TESH_WRAPPER -> VALGRIND_WRAPPER.
2022-03-15 Martin QuinsonMake the Eigen3 dependency optionnal
2022-03-14 Martin QuinsonCope with Eigen 3.3.4 directly in cmake
2022-03-14 Martin QuinsonMerge branch 'dev-profile-callbacks' into 'master'
2022-03-14 Fabien ChaixRefactoring profiles to use generic callbacks
2022-03-14 Arnaud GierschRemove target "make uninstall".
2022-03-14 Martin QuinsonMerge branch 'xsltproc' into 'master'
2022-03-14 Samuel ThibaultAdd missing xsltproc dependency for starpu-mpi
2022-03-14 Martin QuinsonMerge branch 'starpu-mpi' into 'master'
2022-03-14 Samuel ThibaultExplicitly tell StarPU to enable starpu-mpi
2022-03-13 Augustin Degommeadd eigen to bigdft test
2022-03-13 Martin QuinsonMerge branch 'fix_bindings_mistakenly_set_as_member_fun...
2022-03-12 Arnaud Giersch[tesh] Remove ignored lines *before* trimming the output.
2022-03-11 Martin QuinsonMerge branch 'add_remaining_comm_sync_bindings' into...
2022-03-09 Martin QuinsonMake our valgrind wrapper less verbose, so that it...
2022-03-09 Arnaud GierschKill useless target "make maintainer-clean".
2022-03-09 Martin QuinsonRename mc::SafetyChecker to mc::DFSExplorer
2022-03-08 Arnaud GierschMove Simcall from namespace simix to kernel::actor.
2022-03-08 Arnaud GierschRename popping.cpp -> simcall.cpp to better reflect...
2022-03-08 Arnaud GierschRemove reference to dead files.
2022-03-07 Arnaud Giersch[jenkins] Avoid build errors on centos.
2022-03-07 Arnaud GierschDISTRIB_ID is apparently now all lowercase on NixOS.
2022-03-07 Bruno DonassoloMerge branch 'bmf' into 'master'
2022-03-07 Bruno DonassoloAdd eigen dependency to dockerfiles
2022-03-07 Bruno DonassoloNew model for parallel tasks: host/model:ptask_BMF
next