2023-03-04 |
Augustin Degomme | remove ns3 from ubuntu stable and github actions, as... |
commit | commitdiff | tree | snapshot |
2023-03-03 |
Martin Quinson | Fix a useless change -- and go get some sleep |
commit | commitdiff | tree | snapshot |
2023-03-03 |
Martin Quinson | Bump cmake to at least 3.12 |
commit | commitdiff | tree | snapshot |
2023-03-03 |
Martin Quinson | python3-dev is another dependency of the Python bindings |
commit | commitdiff | tree | snapshot |
2023-03-03 |
Martin Quinson | Reindent -- almost no real change |
commit | commitdiff | tree | snapshot |
2023-03-03 |
Arnaud Giersch | Forgot to add c++17g to the "ignore" list. |
commit | commitdiff | tree | snapshot |
2023-03-03 |
Martin Quinson | fix MC + gcc builds |
commit | commitdiff | tree | snapshot |
2023-03-03 |
Martin Quinson | Move the implem of a function out of the header to... |
commit | commitdiff | tree | snapshot |
2023-03-03 |
Martin Quinson | Move the PageStore from ModelChecker to RemoteApp |
commit | commitdiff | tree | snapshot |
2023-03-02 |
Martin Quinson | Move the stats of visited_states count from ModelChecke... |
commit | commitdiff | tree | snapshot |
2023-03-02 |
Martin Quinson | Move the dot_output from ModelChecker to Exploration |
commit | commitdiff | tree | snapshot |
2023-03-02 |
Martin Quinson | One reference to the global singleton mc_model_checker... |
commit | commitdiff | tree | snapshot |
2023-03-02 |
Martin Quinson | Rename some fields to obey our coding standard |
commit | commitdiff | tree | snapshot |
2023-03-02 |
Martin Quinson | Allow to call SMPI_app_instance_start() once the simula... |
commit | commitdiff | tree | snapshot |
2023-03-02 |
Arnaud Giersch | Zero-initialize more messages. |
commit | commitdiff | tree | snapshot |
2023-03-02 |
Arnaud Giersch | Message is retrieved as an unsigned long (according... |
commit | commitdiff | tree | snapshot |
2023-03-02 |
Martin Quinson | Fix a typo found by clang in MC builds |
commit | commitdiff | tree | snapshot |
2023-03-02 |
Arnaud Giersch | Replace memset(..., 0, ...) with zero-initialization. |
commit | commitdiff | tree | snapshot |
2023-03-02 |
Arnaud Giersch | Zero-initialize messages (essentially their padding... |
commit | commitdiff | tree | snapshot |
2023-03-02 |
Arnaud Giersch | Help to identify null values. |
commit | commitdiff | tree | snapshot |
2023-03-02 |
Arnaud Giersch | Lookup only once in map. |
commit | commitdiff | tree | snapshot |
2023-03-02 |
Arnaud Giersch | Useless assignments to local variable. |
commit | commitdiff | tree | snapshot |
2023-03-02 |
Martin Quinson | GH action: build out of sources |
commit | commitdiff | tree | snapshot |
2023-03-02 |
Martin Quinson | Install python deps on GHaction + better documentation... |
commit | commitdiff | tree | snapshot |
2023-03-02 |
Martin Quinson | Mais quel débile, punaise |
commit | commitdiff | tree | snapshot |
2023-03-02 |
Martin Quinson | MC builds have specific dependencies |
commit | commitdiff | tree | snapshot |
2023-03-02 |
Martin Quinson | GH action: ninja is verbose on error anyway |
commit | commitdiff | tree | snapshot |
2023-03-02 |
Martin Quinson | GH action: use the correct package name |
commit | commitdiff | tree | snapshot |
2023-03-02 |
Martin Quinson | gh action: we need 'sudo' here |
commit | commitdiff | tree | snapshot |
2023-03-02 |
Martin Quinson | GH action: install deps |
commit | commitdiff | tree | snapshot |
2023-03-02 |
Martin Quinson | GH action: use existing runners |
commit | commitdiff | tree | snapshot |
2023-03-02 |
Martin Quinson | messing with git actions |
commit | commitdiff | tree | snapshot |
2023-03-02 |
Martin Quinson | Fix yaml syntax :( |
commit | commitdiff | tree | snapshot |
2023-03-02 |
Martin Quinson | Add a github action to test our git on Debian11, regula... |
commit | commitdiff | tree | snapshot |
2023-03-02 |
Henri Casanova | Pass on documentation's Design Goals section |
commit | commitdiff | tree | snapshot |
2023-03-01 |
Henri Casanova | More work on the documentation's Models section |
commit | commitdiff | tree | snapshot |
2023-03-01 |
Martin Quinson | New function SMPI_app_instance_start() to easily start... |
commit | commitdiff | tree | snapshot |
2023-03-01 |
Martin Quinson | Try to fix a fixme blindly, just in case it was easy |
commit | commitdiff | tree | snapshot |
2023-03-01 |
Henri Casanova | Pass on the documentation's Introduction page. Minor... |
commit | commitdiff | tree | snapshot |
2023-02-28 |
Martin Quinson | Fix make distcheck |
commit | commitdiff | tree | snapshot |
2023-02-28 |
Augustin Degomme | Merge branch 'udpor-phase3' into 'master' |
commit | commitdiff | tree | snapshot |
2023-02-28 |
Maxwell Pirtle | Add src/xbt/.../subsets_tests.cpp to manifest file |
commit | commitdiff | tree | snapshot |
2023-02-28 |
Maxwell Pirtle | Remove CompatibilityGraph and friends |
commit | commitdiff | tree | snapshot |
2023-02-28 |
Maxwell Pirtle | Add tests for LazyKSubsets and LazyPowerset |
commit | commitdiff | tree | snapshot |
2023-02-28 |
Maxwell Pirtle | Add LazyPowerSet and LazyKSubsets |
commit | commitdiff | tree | snapshot |
2023-02-28 |
Maxwell Pirtle | Add more comments to subsets_iterator implementation |
commit | commitdiff | tree | snapshot |
2023-02-28 |
Maxwell Pirtle | Add powerset_iterator to simgrid::xbt |
commit | commitdiff | tree | snapshot |
2023-02-28 |
Maxwell Pirtle | Use boost::iterator_facade for subsets_iterator |
commit | commitdiff | tree | snapshot |
2023-02-28 |
Arnaud Giersch | Update .mailmap [ci-skip] |
commit | commitdiff | tree | snapshot |
2023-02-28 |
Martin Quinson | doc: Rework the intro pages |
commit | commitdiff | tree | snapshot |
2023-02-27 |
Maxwell Pirtle | Remove subsets.cpp file |
commit | commitdiff | tree | snapshot |
2023-02-27 |
Maxwell Pirtle | Add "working" (but untested) implementation of iterativ... |
commit | commitdiff | tree | snapshot |
2023-02-27 |
Maxwell Pirtle | Add first "implementation" of k-subsets iterator |
commit | commitdiff | tree | snapshot |
2023-02-27 |
Maxwell Pirtle | Add iterator files to xbt/utils |
commit | commitdiff | tree | snapshot |
2023-02-27 |
Martin Quinson | Plug a memleak + experience that code out of the MC... |
commit | commitdiff | tree | snapshot |
2023-02-27 |
Martin Quinson | cosmetics in docs |
commit | commitdiff | tree | snapshot |
2023-02-27 |
Martin Quinson | Asynchronous locks and fluid I/O streams were aded... |
commit | commitdiff | tree | snapshot |
2023-02-27 |
Martin Quinson | Add 3 figures to the design goals + minor rewording |
commit | commitdiff | tree | snapshot |
2023-02-27 |
Martin Quinson | Update release notes |
commit | commitdiff | tree | snapshot |
2023-02-27 |
Maxwell Pirtle | Fix most of the remaining code warnings |
commit | commitdiff | tree | snapshot |
2023-02-27 |
Maxwell Pirtle | Add default method for constructing full graph |
commit | commitdiff | tree | snapshot |
2023-02-27 |
Maxwell Pirtle | Add predicate filtering to compatibility graph comp |
commit | commitdiff | tree | snapshot |
2023-02-27 |
Maxwell Pirtle | Fix most cosmetics and code warnings |
commit | commitdiff | tree | snapshot |
2023-02-27 |
Maxwell Pirtle | Create a private struct to hold search data |
commit | commitdiff | tree | snapshot |
2023-02-27 |
Maxwell Pirtle | Add first go at compatibility graph construction |
commit | commitdiff | tree | snapshot |
2023-02-27 |
Maxwell Pirtle | Add first steps towards an implementation of ex(C) |
commit | commitdiff | tree | snapshot |
2023-02-27 |
Maxwell Pirtle | Add CompatibilityGraph and CompatibilityGraphNode |
commit | commitdiff | tree | snapshot |
2023-02-26 |
Augustin Degomme | [ci skip] add lstdc++ to bigdft flags as well |
commit | commitdiff | tree | snapshot |
2023-02-26 |
Augustin Degomme | bigdft - attempt at fixing build error with new C+... |
commit | commitdiff | tree | snapshot |
2023-02-26 |
Martin Quinson | Allow to control the problem size from the cmd line... |
commit | commitdiff | tree | snapshot |
2023-02-26 |
Martin Quinson | Revalidate a tesh file (result of a merge error) |
commit | commitdiff | tree | snapshot |
2023-02-26 |
Martin Quinson | Use bool for booleans |
commit | commitdiff | tree | snapshot |
2023-02-26 |
Martin Quinson | Kill a now useless field |
commit | commitdiff | tree | snapshot |
2023-02-26 |
Martin Quinson | Merge branch 'master' into 'master' |
commit | commitdiff | tree | snapshot |
2023-02-26 |
Martin Quinson | Also detect the disk failures |
commit | commitdiff | tree | snapshot |
2023-02-26 |
Martin Quinson | Further simplify the way host failures are detected |
commit | commitdiff | tree | snapshot |
2023-02-25 |
Martin Quinson | Simplify the way Execs detect host failures |
commit | commitdiff | tree | snapshot |
2023-02-24 |
Martin Quinson | Revert "Include the output of this test in the tesh... |
commit | commitdiff | tree | snapshot |
2023-02-24 |
Martin Quinson | Bummer :( |
commit | commitdiff | tree | snapshot |
2023-02-24 |
Arnaud Giersch | Clear timeout detectors on finish(). |
commit | commitdiff | tree | snapshot |
2023-02-24 |
Arnaud Giersch | Fill cmdline_ for each instance of EngimeImpl. |
commit | commitdiff | tree | snapshot |
2023-02-24 |
Arnaud Giersch | Update sonar-project.properties [ci-skip] |
commit | commitdiff | tree | snapshot |
2023-02-24 |
Martin Quinson | Two more random hints to contributors (and reindent... |
commit | commitdiff | tree | snapshot |
2023-02-24 |
Martin Quinson | Add some Noteworthy tests to the Contributor's doc |
commit | commitdiff | tree | snapshot |
2023-02-24 |
Martin Quinson | When the chaos monkey is invoked with nothing to do... |
commit | commitdiff | tree | snapshot |
2023-02-24 |
Martin Quinson | Include the output of this test in the tesh file, becau... |
commit | commitdiff | tree | snapshot |
2023-02-24 |
Martin Quinson | Allow to specify the parameters on the command line... |
commit | commitdiff | tree | snapshot |
2023-02-24 |
Martin Quinson | Merge branch 'udpor-phase2' into 'master' |
commit | commitdiff | tree | snapshot |
2023-02-24 |
mlaurent | Merge branch 'master' of https://framagit.org/simgrid... |
commit | commitdiff | tree | snapshot |
2023-02-24 |
mlaurent | fix the done marking of multiple times taken transitions |
commit | commitdiff | tree | snapshot |
2023-02-24 |
Maxwell Pirtle | Add complicated topological sort test |
commit | commitdiff | tree | snapshot |
2023-02-24 |
Maxwell Pirtle | Add first unit tests for topological sorting |
commit | commitdiff | tree | snapshot |
2023-02-24 |
Maxwell Pirtle | Add topological sort of configuration events |
commit | commitdiff | tree | snapshot |
2023-02-24 |
Martin Quinson | Document more changes, and update the Release Notes |
commit | commitdiff | tree | snapshot |
2023-02-24 |
Martin Quinson | Add a comment on why we need such a callback |
commit | commitdiff | tree | snapshot |
2023-02-23 |
Martin Quinson | Merge ActivityImpl::post() and ::finish() |
commit | commitdiff | tree | snapshot |
2023-02-23 |
Martin Quinson | Do not clean twice in Activity::post(), so that even... |
commit | commitdiff | tree | snapshot |
2023-02-23 |
Fred Suter | uniformization: call post that calls finish |
commit | commitdiff | tree | snapshot |
2023-02-23 |
Martin Quinson | Revert "Get ready for more versions of ns3" |
commit | commitdiff | tree | snapshot |
2023-02-23 |
Martin Quinson | Sanitize the handling of timeouts in CommImpl, ExecImpl... |
commit | commitdiff | tree | snapshot |
next |