Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Use a std::vector as an underlying container for backtrack_points, so that maximal_su...
[simgrid.git] / tools /
2023-04-26 Martin QuinsonMerge branch 'operation-plugin' into 'master' tree | commitdiff
2023-04-18 Martin QuinsonMerge branch 'udpor-phase7' into 'master' tree | commitdiff
2023-04-12 Adrien Gougeonadd operation plugin tree | commitdiff
2023-04-07 Arnaud GierschDefine and use VALGRIND_NO_TRACE_CHILDREN for simgrid... tree | commitdiff
2023-04-07 Arnaud GierschPass include and library directories to try_compile. tree | commitdiff
2023-04-06 Martin QuinsonMake distcheck tree | commitdiff
2023-04-06 Martin QuinsonAllow ns3 to be idempotent if correctly patched tree | commitdiff
2023-04-05 Arnaud GierschCentralize definitions for the name of environment... tree | commitdiff
2023-04-05 Maxwell PirtleAdd ExtensionSetCalculator files tree | commitdiff
2023-04-02 Martin QuinsonCosmetics in cmake tree | commitdiff
2023-04-01 Martin QuinsonReally diplay cmake parameters in the jenkins logs tree | commitdiff
2023-04-01 Martin QuinsonJenkins: display cmake parameters in the logs tree | commitdiff
2023-04-01 Martin QuinsonOption model-checking OFF by default tree | commitdiff
2023-04-01 Martin QuinsonRevert "Also valgrind childs in CI, to valgrind MC... tree | commitdiff
2023-04-01 Martin QuinsonFix make distcheck tree | commitdiff
2023-04-01 Martin QuinsonAlso valgrind childs in CI, to valgrind MC apps tree | commitdiff
2023-04-01 Martin QuinsonOnly compile stateless MC when libevent is found tree | commitdiff
2023-03-31 Martin QuinsonRename SIMGRID_HAVE_MC into SIMGRID_HAVE_STATEFUL_MC... tree | commitdiff
2023-03-31 Martin QuinsonCompile the safe part of MC in default mode too tree | commitdiff
2023-03-31 Martin QuinsonMerge branch 'master' into 'master' tree | commitdiff
2023-03-31 Arnaud GierschAllow to skip some stages of "make distcheck". tree | commitdiff
2023-03-31 Martin QuinsonMerge branch 'master' into 'master' tree | commitdiff
2023-03-31 AdrienAdd battery plugin and fix DAG doc tree | commitdiff
2023-03-30 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-30 mlaurentRename guide as strategy and fix counter-example displa... tree | commitdiff
2023-03-29 Arnaud Giersch[jenkins] Remove stale sockets from simgrid-mc. tree | commitdiff
2023-03-29 mlaurentAdd missing file tree | commitdiff
2023-03-27 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-24 Martin QuinsonMore explicit error message tree | commitdiff
2023-03-24 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-23 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-22 Martin QuinsonMerge branch 'udpor-phase6' into 'master' tree | commitdiff
2023-03-22 Martin Quinsonjenkins::Flags if you run the tests, be verbose on... tree | commitdiff
2023-03-20 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-20 mlaurentadd wait guide and mofidication for the heuristic compu... tree | commitdiff
2023-03-20 Maxwell PirtleRemove empty Comb.cpp tree | commitdiff
2023-03-19 Martin QuinsonFinally kill the now empty ModelChecker class tree | commitdiff
2023-03-19 Martin QuinsonFix make distcheck tree | commitdiff
2023-03-16 Arnaud GierschDecrease required version for nlohmann_json; add to... tree | commitdiff
2023-03-13 Martin QuinsonTest for JSON before using it tree | commitdiff
2023-03-13 Martin Quinsonfix make distcheck tree | commitdiff
2023-03-13 Fred SuterMerge branch 'master' into 'master' tree | commitdiff
2023-03-13 Maxwell PirtleAdd Comb data structure for K-partial alternatives tree | commitdiff
2023-03-12 Martin QuinsonMC: rename remote/RemoteProcess to sosp/RemoteProcessMemory tree | commitdiff
2023-03-10 Martin QuinsonMerge branch 'udpor-phase5' into 'master' tree | commitdiff
2023-03-09 Maxwell PirtleAdd src/.../udpor/udpor_tests_private.hpp to CMake tree | commitdiff
2023-03-08 Martin QuinsonMerge branch 'udpor-phase4' into 'master' tree | commitdiff
2023-03-06 Maxwell PirtleAdd iterator_wrapping convenience container tree | commitdiff
2023-03-06 Maxwell PirtleAdd first implementation of variable for-loop tree | commitdiff
2023-03-06 Martin Quinsonsthread: Add a way to verify accesses to non-reentrant... tree | commitdiff
2023-03-06 Arnaud GierschEnable compile optimizations when tests will be run. tree | commitdiff
2023-03-05 Arnaud GierschMissing ']' tree | commitdiff
2023-03-05 Arnaud GierschEnable _GLIBCXX_DEBUG for one of the builds. tree | commitdiff
2023-03-05 Martin QuinsonMerge branch 'maximal-subset-search' into 'master' tree | commitdiff
2023-03-04 Augustin Degommeremove ns3 from ubuntu stable and github actions, as... tree | commitdiff
2023-03-03 Martin QuinsonBump cmake to at least 3.12 tree | commitdiff
2023-03-02 Maxwell PirtleAdd first implementation of maximal_subsets_iterator tree | commitdiff
2023-02-28 Augustin DegommeMerge branch 'udpor-phase3' into 'master' tree | commitdiff
2023-02-28 Maxwell PirtleRemove CompatibilityGraph and friends tree | commitdiff
2023-02-28 Maxwell PirtleAdd tests for LazyKSubsets and LazyPowerset tree | commitdiff
2023-02-28 Maxwell PirtleAdd LazyPowerSet and LazyKSubsets tree | commitdiff
2023-02-27 Maxwell PirtleRemove subsets.cpp file tree | commitdiff
2023-02-27 Maxwell PirtleAdd first "implementation" of k-subsets iterator tree | commitdiff
2023-02-27 Martin QuinsonAdd 3 figures to the design goals + minor rewording tree | commitdiff
2023-02-27 Maxwell PirtleAdd CompatibilityGraph and CompatibilityGraphNode tree | commitdiff
2023-02-26 Augustin Degomme[ci skip] add lstdc++ to bigdft flags as well tree | commitdiff
2023-02-26 Augustin Degommebigdft - attempt at fixing build error with new C+... tree | commitdiff
2023-02-24 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-02-23 Martin QuinsonRevert "Get ready for more versions of ns3" tree | commitdiff
2023-02-23 Arnaud GierschFix distcheck. tree | commitdiff
2023-02-23 Martin QuinsonGet ready for more versions of ns3 tree | commitdiff
2023-02-23 Arnaud GierschMerge branch 'simgrid-udpor-integration' into 'master' tree | commitdiff
2023-02-22 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-02-22 Maxwell PirtleAdd preliminary tests for Configuration tree | commitdiff
2023-02-21 Martin QuinsonCosmetics tree | commitdiff
2023-02-21 Martin QuinsonLet the xbt_log module register its finalizer itself tree | commitdiff
2023-02-21 Martin QuinsonSimplify the library initialization + deprecate 2 XBT... tree | commitdiff
2023-02-21 Maxwell PirtleAdd first batch of tests for History class tree | commitdiff
2023-02-20 Maxwell PirtleAdd History object skeleton tree | commitdiff
2023-02-20 Maxwell PirtleRemove StateManager tree | commitdiff
2023-02-20 Maxwell PirtleAdd first batch of tests for UDPOR tree | commitdiff
2023-02-20 Maxwell PirtleAdd Unfolding data structure tree | commitdiff
2023-02-20 Maxwell PirtleMove UDPOR constructs out of udpor_global.cpp tree | commitdiff
2023-02-20 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-02-19 Martin QuinsonFinally kill surf_interface.hpp watched_host was actual... tree | commitdiff
2023-02-19 Martin Quinsonrename another file with had 'surf' in its name tree | commitdiff
2023-02-19 Martin QuinsonKill a file with 'surf' in its name, and further empty... tree | commitdiff
2023-02-19 Arnaud GierschRework compile optimizations for MC. tree | commitdiff
2023-02-19 Arnaud GierschMove -Wno-unused-local-typedefs to common flags. tree | commitdiff
2023-02-18 Martin Quinsonkill src/simix tree | commitdiff
2023-02-18 Martin QuinsonKill src/include tree | commitdiff
2023-02-18 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2023-02-18 Martin QuinsonRemove an obsolete cmake warning tree | commitdiff
2023-02-18 Martin QuinsonMove some content of surf_interface to a new math_utils.h tree | commitdiff
2023-02-18 Arnaud GierschUpdate path. tree | commitdiff
2023-02-18 Martin QuinsonMove the files related to the platform parsing to kerne... tree | commitdiff
2023-02-18 Martin QuinsonCMake requires ns3 v3.28+, so don't work around a bug... tree | commitdiff
2023-02-18 Martin QuinsonMove the ns3 helper files to kernel/models/ns3 tree | commitdiff
2023-02-18 Martin QuinsonMove the surf tesh tests with the other models' ones tree | commitdiff
2023-02-18 Martin QuinsonFurther rename the identifiers of flexml to simgrid_parse_* tree | commitdiff
next
Clone of SimGrid repository with local patches