Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
2023-05-12 Maxwell PirtleAdd first tests for "happens-before"
2023-05-12 Maxwell PirtleMove SDPOR core computation into a method
2023-05-12 Maxwell PirtleAdd tentatively-working SDPOR implementation
2023-05-12 Maxwell PirtleAdd initial outline of SDPOR implementation
2023-05-12 Maxwell PirtleAdd Execution concept without ExecutionViews
2023-05-12 Maxwell PirtleRemove sdpor folder in favor of odpor only
2023-05-12 Maxwell PirtleAdd `Execution` to represent series of transitions
2023-05-12 Maxwell PirtleAdd class for eventual "happens-before" computations
2023-05-11 Fred Suteradd two more utility functions to the Operation plugin
2023-05-10 Martin QuinsonFix make distcheck
2023-05-10 Martin QuinsonMC: Kill the now useless code State::get_recipe
2023-05-10 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2023-05-10 Martin QuinsonDFS MC: Restore from system states even if we have...
2023-05-10 Martin QuinsonMerge branch 'dag-lab' into 'master'
2023-05-10 Martin QuinsonMerge branch 'changelog-operation-plugin' into 'master'
2023-05-09 Arnaud GierschUse forwarding references with std::forward (sonar).
2023-05-09 Arnaud GierschUse a std::vector as an underlying container for backtr...
2023-05-09 Arnaud GierschUse a static variable for empty_set, and allow default...
2023-05-09 Adrien Gougeonadd dag scheduling lab
2023-05-08 Arnaud GierschPlug memory leak.
2023-05-06 Arnaud GierschUse pointer-to-const for parameter (sonar).
2023-05-05 Arnaud GierschFix sonar bug: attribute access on a value that can...
2023-05-05 Arnaud GierschMisc Sonar issues.
2023-05-05 Fred Sutermess up with operations
2023-05-04 Martin QuinsonRename Link::get_usage() to Link::get_load() for consis...
2023-05-04 Adrien Gougeonadd plugins operation and battery
2023-05-03 Fred Suterfurther simplify this example
2023-05-03 Martin QuinsonOne use less of get_recipe() that will soon die
2023-05-03 Martin QuinsonFactorize more code between DFSExplo and LivenessExplo...
2023-05-02 Arnaud GierschKill useless empty function.
2023-05-02 Arnaud GierschMissing "override".
2023-05-02 Arnaud GierschSimplify expression.
2023-05-02 Arnaud GierschFix use-after-free observed with the s4u-operation...
2023-05-02 Arnaud GierschCosmetics (sonar).
2023-05-02 Arnaud GierschDefine each identifier in a dedicated statement (sonar).
2023-04-29 Arnaud GierschRevert "Run mc-*-liveness tests serial, and hope to...
2023-04-27 Arnaud GierschWhitespace cleanup (codefactor.io).
2023-04-27 Martin QuinsonLazily compute the recipe of a state, on need only
2023-04-27 Martin QuinsonMore automatic memory mgmt in MC
2023-04-27 Martin QuinsonMC: give each state an incoming transition too
2023-04-27 Martin QuinsonFix comment [no-ci]
2023-04-27 Arnaud GierschRun mc-*-liveness tests serial, and hope to pass on CI.
2023-04-27 Arnaud GierschFix comment.
2023-04-27 Arnaud GierschThere is no need to declare the default constructors...
2023-04-27 Arnaud GierschFix build error: exception specification of explicitly
2023-04-26 Martin QuinsonMerge branch 'operation-plugin' into 'master'
2023-04-18 Martin QuinsonMerge branch 'udpor-phase7' into 'master'
2023-04-17 Martin Quinsonsonar fixes
2023-04-16 Martin QuinsonLet resource profiles finish their initialization by...
2023-04-16 Martin QuinsonNo need to presolve the models to finish their initiali...
2023-04-16 Martin QuinsonOnly fire on_platform_created after creating the platfo...
2023-04-16 Martin QuinsonAdd a target to recompile all ns3 tests (and only them)
2023-04-16 Adrien Gougeonrename create to init. add init with name only. add...
2023-04-15 Martin QuinsonMake sure that we never have a 0 transition at the...
2023-04-15 Martin QuinsonAlso send the disabled transitions over: UDPOR needs it
2023-04-15 Martin QuinsonMore informative message on system error
2023-04-14 Martin QuinsonMore defensive programing style
2023-04-14 Adrien Gougeonadd missing '&' causing temporary value to be modified
2023-04-14 Adrien Gougeonrename on_start/on_end functions call to on_this_start...
2023-04-13 Martin QuinsonTrust the config system to check that only valid values...
2023-04-12 Arnaud GierschDisable coverage on circleci.
2023-04-12 Martin QuinsonMake this example valgrind-clean
2023-04-12 Martin QuinsonFurther cosmetics in that example, adding a helper...
2023-04-12 Fred Sutersimplify the example now that host can be set to serial
2023-04-12 Martin QuinsonUse host->set_concurrency_limit(1) in an example where...
2023-04-12 Martin QuinsonDocument a bit the MC changes
2023-04-12 Martin QuinsonAllow to set a concurrency limit on disks and hosts
2023-04-12 Arnaud GierschInline Exploration::system_error.
2023-04-12 Arnaud GierschRemove useless specialized exceptions from simgrid...
2023-04-12 Arnaud GierschUse an exception on Exploration::system_exit().
2023-04-12 Arnaud GierschSonar...
2023-04-12 Adrien Gougeonmissing virtual destructor
2023-04-12 Adrien Gougeonfix distcheck
2023-04-12 Adrien Gougeonmissing lib
2023-04-12 Adrien Gougeonclang-format
2023-04-12 Adrien Gougeonadd prog_ns3 to manifest
2023-04-12 Adrien Gougeonadd operation examples
2023-04-12 Adrien Gougeonseveral updates to plugin operation
2023-04-12 Adrien Gougeonadd operation to plugin doc
2023-04-12 Adrien Gougeonadd operation to manifest
2023-04-12 Adrien Gougeonfix bad type comparison
2023-04-12 Adrien Gougeonadd operation plugin
2023-04-11 Arnaud GierschAssignment operators should return non-"const" referenc...
2023-04-11 Arnaud GierschMark functions as "const" (sonar).
2023-04-11 Arnaud GierschUse std::string (sonar).
2023-04-11 Arnaud GierschMisc sonar issues.
2023-04-11 Arnaud GierschReduce scope for variables (sonar).
2023-04-11 Arnaud GierschPointer and reference should be "const" if the correspo...
2023-04-11 Arnaud GierschFix bound checking in assert.
2023-04-11 Arnaud GierschWhitespace cleanup (codefactor.io).
2023-04-10 Arnaud GierschUse an intermediate variable to compute the sum and...
2023-04-10 Arnaud GierschLess low-level operations to manage receive buffer.
2023-04-07 Martin QuinsonPlease don't fix this error reported by clang-static...
2023-04-07 Arnaud GierschDefine and use VALGRIND_NO_TRACE_CHILDREN for simgrid...
2023-04-07 Arnaud GierschAdd $VALGRIND_NO_LEAK_CHECK in tesh files when simgrid...
2023-04-07 Arnaud GierschPass include and library directories to try_compile.
2023-04-07 Arnaud GierschFix usage of option --cfg=path in tesh files.
2023-04-06 Martin QuinsonMake distcheck
2023-04-06 Martin QuinsonMC: Reap all zombie childs to avoid them to accumulate
2023-04-06 Martin QuinsonRemove the timings of another ns3 test to help older...
next