2022-08-07 |
Martin Quinson | kill a parameter that is always true |
tree | commitdiff |
2022-08-07 |
Martin Quinson | mc:DFSExplo: cosmetics in the backtracking |
tree | commitdiff |
2022-08-07 |
Martin Quinson | Merge mc_safety.hpp into DFSExplorer class |
tree | commitdiff |
2022-08-07 |
Martin Quinson | Useless cosmetics while trying to understand that code |
tree | commitdiff |
2022-08-07 |
Martin Quinson | Integrate the (WIP) hashing logic in the Snapshot object |
tree | commitdiff |
2022-08-07 |
Martin Quinson | Small cleanups in mc::Snapshot |
tree | commitdiff |
2022-08-06 |
Martin Quinson | Finish the removal of mc::api by moving the last bits... |
tree | commitdiff |
2022-08-06 |
Martin Quinson | Move mc:api::get_remote_heap_bytes() to RemoteProcess |
tree | commitdiff |
2022-08-06 |
Martin Quinson | Convert simgrid::mc::snapshot_equal() into Snapshot... |
tree | commitdiff |
2022-08-06 |
Martin Quinson | Move the dot_output global into ModelChecker |
tree | commitdiff |
2022-08-06 |
Martin Quinson | Make the RemoteApp a field of the Exploration, and... |
tree | commitdiff |
2022-08-05 |
Martin Quinson | Simplify the MC initialization code |
tree | commitdiff |
2022-08-04 |
Martin Quinson | only 3 more functions to go in mc::api |
tree | commitdiff |
2022-08-04 |
Martin Quinson | Kill another mc::api function |
tree | commitdiff |
2022-08-04 |
Martin Quinson | Pass the remote app as a parameter to all exploration... |
tree | commitdiff |
2022-08-04 |
Martin Quinson | Kill 2 more functions from mc::api |
tree | commitdiff |
2022-08-03 |
Martin Quinson | Move the automaton from mc::api to Liveness. An ugly... |
tree | commitdiff |
2022-08-02 |
Martin Quinson | log_state has nothing to do in RemoteApp, it belongs... |
tree | commitdiff |
2022-08-02 |
Martin Quinson | Sanitize MC finalization process and inline a function |
tree | commitdiff |
2022-08-02 |
Martin Quinson | Kill mc::api::get_remote_app() |
tree | commitdiff |
2022-08-02 |
Martin Quinson | Kill another function of mc::api |
tree | commitdiff |
2022-08-02 |
Martin Quinson | Kill an unimplemented declaration |
tree | commitdiff |
2022-08-02 |
Martin Quinson | Convert Api::get_maxpid() into RemoteApp::get_maxpid() |
tree | commitdiff |
2022-08-02 |
Martin Quinson | Merge an initialization function into the constructor |
tree | commitdiff |
2022-08-02 |
Martin Quinson | Rename mc::Session into mc::api::RemoteApp |
tree | commitdiff |
2022-08-01 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
tree | commitdiff |
2022-08-01 |
Martin Quinson | Ensure that the verified application still works if... |
tree | commitdiff |
2022-07-31 |
Martin Quinson | Kill a now useless variable |
tree | commitdiff |
2022-07-31 |
Martin Quinson | sanitize things around FINALIZE_REPLY despite my lazine... |
tree | commitdiff |
2022-07-31 |
Martin Quinson | Fix SMPI builds by reintroducing a killed MC function... |
tree | commitdiff |
2022-07-30 |
Martin Quinson | MC further cleanups (let it compile, this time) |
tree | commitdiff |
2022-07-30 |
Martin Quinson | MC: rename a file to sort out the mess |
tree | commitdiff |
2022-07-30 |
Martin Quinson | And now cleanup the App-side of cruft that was needed... |
tree | commitdiff |
2022-07-30 |
Martin Quinson | Finally kill mc::RemoteProcess::actors(). We now commun... |
tree | commitdiff |
2022-07-30 |
Martin Quinson | Give read access to a private field |
tree | commitdiff |
2022-07-30 |
Martin Quinson | inline a function, kill a file |
tree | commitdiff |
2022-07-30 |
Martin Quinson | Well the last rogue call to RemoteProcess::actors(... |
tree | commitdiff |
2022-07-30 |
Augustin Degomme | try to hide something under the rug for now |
tree | commitdiff |
2022-07-30 |
Augustin Degomme | remove useless field |
tree | commitdiff |
2022-07-30 |
Martin Quinson | Liveness: rename graph_state -> app_state and automaton... |
tree | commitdiff |
2022-07-30 |
Martin Quinson | further reduce the amount of call sites for RemoteProce... |
tree | commitdiff |
2022-07-30 |
Martin Quinson | small cosmetics to not spread unrelated logic all aroun... |
tree | commitdiff |
2022-07-30 |
Martin Quinson | MC: make it clear that we only have the info about... |
tree | commitdiff |
2022-07-30 |
Martin Quinson | Reduce the amount of MC locations reading the memory... |
tree | commitdiff |
2022-07-29 |
Martin Quinson | If there is no LOCK in mmalloc anymore, then there... |
tree | commitdiff |
2022-07-28 |
Martin Quinson | Remove the need of pthread_mutex in mmalloc, to allow... |
tree | commitdiff |
2022-07-28 |
Martin Quinson | Kill useless complexity in mmalloc: one of the dlsym |
tree | commitdiff |
2022-07-28 |
Martin Quinson | Allow dlsym to call free() on memory that is allocated... |
tree | commitdiff |
2022-07-25 |
Augustin Degomme | more protection for non linux builds |
tree | commitdiff |
2022-07-25 |
Augustin Degomme | Disable mmap privatization if MUSL is detected, as... |
tree | commitdiff |
2022-07-22 |
Martin Quinson | Another attempt at PRELOADing mmalloc (WIP) |
tree | commitdiff |
2022-07-22 |
Augustin Degomme | Merge branch 'adegomme-master-patch-16995' into 'master' |
tree | commitdiff |
2022-07-22 |
Augustin Degomme | SMPI/replay: Fix issue with recv of size =0. |
tree | commitdiff |
2022-07-22 |
Augustin Degomme | Merge branch 'support-sendrecv-ti' into 'master' |
tree | commitdiff |
2022-07-21 |
Martin Quinson | Fix build error due to clang-format reordering the... |
tree | commitdiff |
2022-07-21 |
Martin Quinson | Split mmalloc in a separate library |
tree | commitdiff |
2022-07-21 |
Martin Quinson | Further small simplifications to mmalloc, killing dead... |
tree | commitdiff |
2022-07-21 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
tree | commitdiff |
2022-07-21 |
Martin Quinson | Separate mmalloc from xbt |
tree | commitdiff |
2022-07-21 |
Martin Quinson | Kill a function that is unused and unimplemented |
tree | commitdiff |
2022-07-20 |
Arnaud Giersch | Java NativeLib: delete temporary files ASAP. |
tree | commitdiff |
2022-07-20 |
Arnaud Giersch | Kill useless commented code. |
tree | commitdiff |
2022-07-20 |
chaix | Quick and dirty support of SendRecv in time-independent... |
tree | commitdiff |
2022-07-19 |
Augustin Degomme | add casts in case types don't match (musl). Let's hope... |
tree | commitdiff |
2022-07-18 |
Arnaud Giersch | Remove redundant cast. |
tree | commitdiff |
2022-07-15 |
Fred Suter | Prevent segfault when VM's host is created with pstate > 0 |
tree | commitdiff |
2022-07-13 |
Martin Quinson | sthread: correctly switch to within simgrid when callin... |
tree | commitdiff |
2022-07-13 |
Martin Quinson | mc::api: Inline a useless function |
tree | commitdiff |
2022-07-13 |
Martin Quinson | mmalloc: rename a symbol to prepare further refactorings |
tree | commitdiff |
2022-07-13 |
SUTER Frederic | When multi-threaded Exec are launched on VM, account... |
tree | commitdiff |
2022-07-13 |
SUTER Frederic | get access to Exec thread count |
tree | commitdiff |
2022-07-13 |
Arnaud Giersch | Use fixed point arithmetic to avoid rounding errors. |
tree | commitdiff |
2022-07-12 |
Arnaud Giersch | Fix definition of overriding gettimeofday. |
tree | commitdiff |
2022-07-11 |
Arnaud Giersch | Handle different types for second parameter of gettimeo... |
tree | commitdiff |
2022-07-11 |
Arnaud Giersch | For sonar... |
tree | commitdiff |
2022-07-11 |
Martin Quinson | The variable is named LD_BIND_NOW so these lines were... |
tree | commitdiff |
2022-07-10 |
Martin Quinson | MC: allow to pass env variables to the verified application |
tree | commitdiff |
2022-07-10 |
Martin Quinson | sthread: Intercept gettimeofday + sleep + usleep |
tree | commitdiff |
2022-07-08 |
Bruno Donassolo | Merge branch 'issue111' into 'master' |
tree | commitdiff |
2022-07-07 |
Bruno Donassolo | Workaround for multicore ptasks. |
tree | commitdiff |
2022-07-05 |
Arnaud Giersch | Redundant initializations. |
tree | commitdiff |
2022-07-02 |
Martin Quinson | sthread: don't intercept the main when run from smpirun |
tree | commitdiff |
2022-07-02 |
Arnaud Giersch | Make libsthtread valgrind-aware. |
tree | commitdiff |
2022-07-01 |
Arnaud Giersch | Sonar issues. |
tree | commitdiff |
2022-06-30 |
Arnaud Giersch | Cosmetics (indentation, codefactor.io). |
tree | commitdiff |
2022-06-30 |
Arnaud Giersch | Merge branch 'dev-get-hostname-faster' into 'master' |
tree | commitdiff |
2022-06-30 |
Arnaud Giersch | Merge branch 'python_ptask' into 'master' |
tree | commitdiff |
2022-06-29 |
Tom Cornebize | Add ptasks in the Python bindings |
tree | commitdiff |
2022-06-29 |
Martin Quinson | Disable sthread at the end of the sthread_main |
tree | commitdiff |
2022-06-28 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
tree | commitdiff |
2022-06-28 |
Martin Quinson | Add a TESH for the new sthread feature |
tree | commitdiff |
2022-06-28 |
Arnaud Giersch | SMPI_is_inited() and smpi_enabled() have the same purpo... |
tree | commitdiff |
2022-06-28 |
Arnaud Giersch | Easy Sonar smells. |
tree | commitdiff |
2022-06-28 |
Arnaud Giersch | Use std::string. |
tree | commitdiff |
2022-06-28 |
Arnaud Giersch | Missing return in the raw path. |
tree | commitdiff |
2022-06-28 |
Arnaud Giersch | Avoid memory leak when exception is thrown. |
tree | commitdiff |
2022-06-27 |
Martin Quinson | Make sthread_inside_simgrid static into libsthread... |
tree | commitdiff |
2022-06-27 |
Arnaud Giersch | Merge branch 's4u_enforce' into 'master' |
tree | commitdiff |
2022-06-27 |
Fabien Chaix | Answer to Mt comments |
tree | commitdiff |
2022-06-26 |
Martin Quinson | make sthread work out of MC build trees |
tree | commitdiff |
next |