| 2022-08-29 |
Arnaud Giersch | Increase test timeout for coverage too. |
commit | commitdiff | tree | snapshot |
| 2022-08-29 |
Arnaud Giersch | Try gcovr with option --gcov-ignore-parse-errors. |
commit | commitdiff | tree | snapshot |
| 2022-08-29 |
Arnaud Giersch | Use the init-statement to declare variables inside... |
commit | commitdiff | tree | snapshot |
| 2022-08-29 |
Augustin Degomme | Merge branch 'adegomme-master-patch-45262' into 'master' |
commit | commitdiff | tree | snapshot |
| 2022-08-29 |
Augustin Degomme | let's see if this finds more coverage reports |
commit | commitdiff | tree | snapshot |
| 2022-08-27 |
Arnaud Giersch | Guard against invalid idx. |
commit | commitdiff | tree | snapshot |
| 2022-08-26 |
Arnaud Giersch | Type consistency. |
commit | commitdiff | tree | snapshot |
| 2022-08-26 |
Arnaud Giersch | Attribute "printf" for ModelChecker::dot_output. |
commit | commitdiff | tree | snapshot |
| 2022-08-26 |
Arnaud Giersch | Don't throw an exception from destructor. |
commit | commitdiff | tree | snapshot |
| 2022-08-26 |
Arnaud Giersch | C++17 is required since commit d5718258083be61d600e55b7... |
commit | commitdiff | tree | snapshot |
| 2022-08-26 |
Arnaud Giersch | Reduce depth of nested statements |
commit | commitdiff | tree | snapshot |
| 2022-08-26 |
Arnaud Giersch | Don't give write permissions to others with mkdir. |
commit | commitdiff | tree | snapshot |
| 2022-08-26 |
Arnaud Giersch | Use "std::vector" instead of C-style array (sonar). |
commit | commitdiff | tree | snapshot |
| 2022-08-26 |
Arnaud Giersch | Avoid to send/receive zero-size messages. |
commit | commitdiff | tree | snapshot |
| 2022-08-25 |
Arnaud Giersch | Update tesh file. |
commit | commitdiff | tree | snapshot |
| 2022-08-25 |
Arnaud Giersch | Misc cosmetics for sonar. |
commit | commitdiff | tree | snapshot |
| 2022-08-25 |
Arnaud Giersch | Remove temporary object (sonar). |
commit | commitdiff | tree | snapshot |
| 2022-08-25 |
Arnaud Giersch | Declare functions "const" (sonar). |
commit | commitdiff | tree | snapshot |
| 2022-08-25 |
Arnaud Giersch | Make parameters pointer/reference-to-const (sonar). |
commit | commitdiff | tree | snapshot |
| 2022-08-22 |
Arnaud Giersch | Kill redundant blank lines (codefactor.io) |
commit | commitdiff | tree | snapshot |
| 2022-08-10 |
Augustin Degomme | [ci-skip] try to help gcovr find files (it needs to... |
commit | commitdiff | tree | snapshot |
| 2022-08-09 |
Martin Quinson | MC: apply some sonar advices |
commit | commitdiff | tree | snapshot |
| 2022-08-09 |
Arnaud Giersch | Fix the fixme (inline templated struct). |
commit | commitdiff | tree | snapshot |
| 2022-08-09 |
Arnaud Giersch | Unused include. |
commit | commitdiff | tree | snapshot |
| 2022-08-09 |
Augustin Degomme | remove spurious debug message and warning |
commit | commitdiff | tree | snapshot |
| 2022-08-09 |
Augustin Degomme | update teshes |
commit | commitdiff | tree | snapshot |
| 2022-08-09 |
Augustin Degomme | multiple attemps to tune behavior of read/write_all |
commit | commitdiff | tree | snapshot |
| 2022-08-09 |
Augustin Degomme | fix mpi_file set/get view to set shared pointer properl... |
commit | commitdiff | tree | snapshot |
| 2022-08-09 |
Augustin Degomme | update file pointer to match shared one after shared... |
commit | commitdiff | tree | snapshot |
| 2022-08-09 |
Augustin Degomme | seek and other calls must use number of elements and... |
commit | commitdiff | tree | snapshot |
| 2022-08-09 |
Augustin Degomme | update teshes as there are now more seek calls |
commit | commitdiff | tree | snapshot |
| 2022-08-09 |
Augustin Degomme | smpi io: restore position after calls which should... |
commit | commitdiff | tree | snapshot |
| 2022-08-09 |
Augustin Degomme | s4u filesystem: correctly update size of files when... |
commit | commitdiff | tree | snapshot |
| 2022-08-09 |
Augustin Degomme | intercept getpid call in SMPI, to provide internal... |
commit | commitdiff | tree | snapshot |
| 2022-08-09 |
Augustin Degomme | implement MPI_File_get_type_extent, MPI_File_s/get_atom... |
commit | commitdiff | tree | snapshot |
| 2022-08-09 |
Augustin Degomme | filesystem, correctly update file size when seeking... |
commit | commitdiff | tree | snapshot |
| 2022-08-08 |
Martin Quinson | Don't test statequality: it's ~15h w/o DPOR and hard... |
commit | commitdiff | tree | snapshot |
| 2022-08-08 |
Martin Quinson | Correctly disable DPOR when StateEq reduction is enabled |
commit | commitdiff | tree | snapshot |
| 2022-08-08 |
Martin Quinson | Add the teshfiles to the archive even when MC is disabled |
commit | commitdiff | tree | snapshot |
| 2022-08-08 |
Martin Quinson | Add tests of state equality reduction and nodpor for... |
commit | commitdiff | tree | snapshot |
| 2022-08-07 |
Martin Quinson | kill a parameter that is always true |
commit | commitdiff | tree | snapshot |
| 2022-08-07 |
Martin Quinson | mc:DFSExplo: cosmetics in the backtracking |
commit | commitdiff | tree | snapshot |
| 2022-08-07 |
Martin Quinson | Merge mc_safety.hpp into DFSExplorer class |
commit | commitdiff | tree | snapshot |
| 2022-08-07 |
Martin Quinson | Useless cosmetics while trying to understand that code |
commit | commitdiff | tree | snapshot |
| 2022-08-07 |
Martin Quinson | Integrate the (WIP) hashing logic in the Snapshot object |
commit | commitdiff | tree | snapshot |
| 2022-08-07 |
Martin Quinson | Small cleanups in mc::Snapshot |
commit | commitdiff | tree | snapshot |
| 2022-08-06 |
Martin Quinson | Finish the removal of mc::api by moving the last bits... |
commit | commitdiff | tree | snapshot |
| 2022-08-06 |
Martin Quinson | Move mc:api::get_remote_heap_bytes() to RemoteProcess |
commit | commitdiff | tree | snapshot |
| 2022-08-06 |
Martin Quinson | Convert simgrid::mc::snapshot_equal() into Snapshot... |
commit | commitdiff | tree | snapshot |
| 2022-08-06 |
Martin Quinson | Move the dot_output global into ModelChecker |
commit | commitdiff | tree | snapshot |
| 2022-08-06 |
Martin Quinson | Make the RemoteApp a field of the Exploration, and... |
commit | commitdiff | tree | snapshot |
| 2022-08-05 |
Martin Quinson | Simplify the MC initialization code |
commit | commitdiff | tree | snapshot |
| 2022-08-04 |
Martin Quinson | only 3 more functions to go in mc::api |
commit | commitdiff | tree | snapshot |
| 2022-08-04 |
Martin Quinson | Kill another mc::api function |
commit | commitdiff | tree | snapshot |
| 2022-08-04 |
Martin Quinson | Pass the remote app as a parameter to all exploration... |
commit | commitdiff | tree | snapshot |
| 2022-08-04 |
Martin Quinson | Kill 2 more functions from mc::api |
commit | commitdiff | tree | snapshot |
| 2022-08-03 |
Martin Quinson | Move the automaton from mc::api to Liveness. An ugly... |
commit | commitdiff | tree | snapshot |
| 2022-08-02 |
Martin Quinson | log_state has nothing to do in RemoteApp, it belongs... |
commit | commitdiff | tree | snapshot |
| 2022-08-02 |
Martin Quinson | Sanitize MC finalization process and inline a function |
commit | commitdiff | tree | snapshot |
| 2022-08-02 |
Martin Quinson | Kill mc::api::get_remote_app() |
commit | commitdiff | tree | snapshot |
| 2022-08-02 |
Martin Quinson | Kill another function of mc::api |
commit | commitdiff | tree | snapshot |
| 2022-08-02 |
Martin Quinson | Kill an unimplemented declaration |
commit | commitdiff | tree | snapshot |
| 2022-08-02 |
Martin Quinson | Convert Api::get_maxpid() into RemoteApp::get_maxpid() |
commit | commitdiff | tree | snapshot |
| 2022-08-02 |
Martin Quinson | Merge an initialization function into the constructor |
commit | commitdiff | tree | snapshot |
| 2022-08-02 |
Martin Quinson | Rename mc::Session into mc::api::RemoteApp |
commit | commitdiff | tree | snapshot |
| 2022-08-02 |
Augustin Degomme | [ci-skip] activate ccache on sanitizer builds |
commit | commitdiff | tree | snapshot |
| 2022-08-01 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
commit | commitdiff | tree | snapshot |
| 2022-08-01 |
Martin Quinson | Ensure that the verified application still works if... |
commit | commitdiff | tree | snapshot |
| 2022-08-01 |
Augustin Degomme | [ci-skip] Flags - let's see if this trailing whitespace... |
commit | commitdiff | tree | snapshot |
| 2022-08-01 |
Augustin Degomme | [ci-skip] use ccache on flags build as well. |
commit | commitdiff | tree | snapshot |
| 2022-07-31 |
Martin Quinson | Kill a now useless variable |
commit | commitdiff | tree | snapshot |
| 2022-07-31 |
Martin Quinson | sanitize things around FINALIZE_REPLY despite my lazine... |
commit | commitdiff | tree | snapshot |
| 2022-07-31 |
Martin Quinson | Fix SMPI builds by reintroducing a killed MC function... |
commit | commitdiff | tree | snapshot |
| 2022-07-30 |
Martin Quinson | MC further cleanups (let it compile, this time) |
commit | commitdiff | tree | snapshot |
| 2022-07-30 |
Martin Quinson | MC: rename a file to sort out the mess |
commit | commitdiff | tree | snapshot |
| 2022-07-30 |
Martin Quinson | And now cleanup the App-side of cruft that was needed... |
commit | commitdiff | tree | snapshot |
| 2022-07-30 |
Martin Quinson | Finally kill mc::RemoteProcess::actors(). We now commun... |
commit | commitdiff | tree | snapshot |
| 2022-07-30 |
Martin Quinson | Give read access to a private field |
commit | commitdiff | tree | snapshot |
| 2022-07-30 |
Martin Quinson | inline a function, kill a file |
commit | commitdiff | tree | snapshot |
| 2022-07-30 |
Martin Quinson | Well the last rogue call to RemoteProcess::actors(... |
commit | commitdiff | tree | snapshot |
| 2022-07-30 |
Augustin Degomme | try to hide something under the rug for now |
commit | commitdiff | tree | snapshot |
| 2022-07-30 |
Augustin Degomme | remove useless field |
commit | commitdiff | tree | snapshot |
| 2022-07-30 |
Augustin Degomme | fix build for clang <15 |
commit | commitdiff | tree | snapshot |
| 2022-07-30 |
Martin Quinson | Liveness: rename graph_state -> app_state and automaton... |
commit | commitdiff | tree | snapshot |
| 2022-07-30 |
Martin Quinson | further reduce the amount of call sites for RemoteProce... |
commit | commitdiff | tree | snapshot |
| 2022-07-30 |
Martin Quinson | small cosmetics to not spread unrelated logic all aroun... |
commit | commitdiff | tree | snapshot |
| 2022-07-30 |
Martin Quinson | MC: make it clear that we only have the info about... |
commit | commitdiff | tree | snapshot |
| 2022-07-30 |
Martin Quinson | Reduce the amount of MC locations reading the memory... |
commit | commitdiff | tree | snapshot |
| 2022-07-30 |
Augustin Degomme | ignore new deprecation warning on freebsd |
commit | commitdiff | tree | snapshot |
| 2022-07-30 |
Augustin Degomme | use ccache for main ci build. |
commit | commitdiff | tree | snapshot |
| 2022-07-29 |
Martin Quinson | Fix RST formatting + one URL in Release_Notes.rst |
commit | commitdiff | tree | snapshot |
| 2022-07-29 |
Martin Quinson | If there is no LOCK in mmalloc anymore, then there... |
commit | commitdiff | tree | snapshot |
| 2022-07-28 |
Martin Quinson | Remove the need of pthread_mutex in mmalloc, to allow... |
commit | commitdiff | tree | snapshot |
| 2022-07-28 |
Arnaud Giersch | Stick to dwarf-4 for MC builds. |
commit | commitdiff | tree | snapshot |
| 2022-07-28 |
Martin Quinson | Kill useless complexity in mmalloc: one of the dlsym |
commit | commitdiff | tree | snapshot |
| 2022-07-28 |
Martin Quinson | Allow dlsym to call free() on memory that is allocated... |
commit | commitdiff | tree | snapshot |
| 2022-07-25 |
Augustin Degomme | more protection for non linux builds |
commit | commitdiff | tree | snapshot |
| 2022-07-25 |
Augustin Degomme | Disable mmap privatization if MUSL is detected, as... |
commit | commitdiff | tree | snapshot |
| 2022-07-22 |
Martin Quinson | Another attempt at PRELOADing mmalloc (WIP) |
commit | commitdiff | tree | snapshot |
| 2022-07-22 |
Augustin Degomme | Merge branch 'adegomme-master-patch-16995' into 'master' |
commit | commitdiff | tree | snapshot |
| next |
