Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[travis] detect linux as we should
[simgrid.git] / src / mc /
2015-09-01 Gabriel Corona[mc] Remove the --cfg=model-check:1 flag
2015-09-01 Gabriel Corona[mc] Remove remaining parts of the single-process mode
2015-08-31 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-08-28 Gabriel CoronaDisable lazy relocation in the model-ched process.
2015-08-28 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-08-28 Gabriel Corona[mc] Make SIMCALL_MUTEX_TRYLOCK visible and forbid...
2015-08-27 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-08-25 Gabriel Corona[mc] Fix segfault when displaying SIMCALL_MUTEX_LOCK
2015-08-05 Martin QuinsonUpdate copyright notices
2015-07-28 Gabriel Corona[mc] Use the real override
2015-07-27 Gabriel Corona[mc] Fix constness issue in MC_make_functions_index()
2015-07-27 Gabriel Corona[mc] Remove mc_object_info.cpp
2015-07-27 Gabriel Corona[mc] Remove useless functions
2015-07-27 Gabriel Corona[mc] Move Frame, ModelChecker, ObjectInformation, Type...
2015-07-25 Martin QuinsonRevert "Fix non-MC builds"
2015-07-25 Gabriel Corona[mc] Fix missing #include in non MC
2015-07-25 Martin QuinsonFix non-MC builds
2015-07-25 Gabriel Corona[mc] Move MC_random is mc_base.cpp
2015-07-25 Gabriel Coronas/smx_host/host/ because of API change
2015-07-25 Martin QuinsonRevert "Revert "[mc] Move MC_random() in mc_client_api...
2015-07-24 Martin QuinsonRevert "[mc] Move MC_random() in mc_client_api.cpp"
2015-07-24 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-07-24 Gabriel Corona[mc] Cleanup
2015-07-24 Gabriel Corona[mc] Do not #define __has_feature
2015-07-24 Gabriel Corona[mc] Cleanup mc_client_api.cpp
2015-07-24 Gabriel Corona[mc] Move MC_random() in mc_client_api.cpp
2015-07-24 kbaatiMerge branch 'master' of git+ssh://scm.gforge.inria...
2015-07-24 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-07-24 Gabriel Corona[mc] Do not trigger errors in MC_automaton_new_proposit...
2015-07-24 Gabriel Corona[mc] Move the proposition declaration functions in...
2015-07-24 Gabriel Corona[mc] Cleanup/simplify liveness property automaton regis...
2015-07-24 Gabriel Corona[mc] Remove MC_automaton_new_propositional_symbol_callb...
2015-07-24 Gabriel Corona[mc] Remove HTML in a comment (this is ugly)
2015-07-24 Gabriel Corona[mc] Comment the binary search in ObjectInformation...
2015-07-23 Gabriel Corona[mc] Fix out of range error in the binary search implem...
2015-07-23 Gabriel Corona[mc] Fix: can't build a std::string with nullptr
2015-07-23 Gabriel Corona[mc] Give a real override if we know it's available
2015-07-23 Gabriel Corona[mc] Remove a lot of typedefs and typedef usage
2015-07-23 Gabriel Corona[mc] Remove remainings of an old type
2015-07-23 Gabriel Corona[mc] Simplify lookup of maps
2015-07-21 Gabriel Corona[mc] Remove useless/unused stuff
2015-07-21 Gabriel Corona[mc] Remove MC_post_process_functions()
2015-07-21 Gabriel Corona[mc] Remove MC_dwarf_register_variable()
2015-07-21 Gabriel Corona[mc] Avoid the O(n^2) incremental construction of sorte...
2015-07-21 Gabriel Corona[mc] Add comments on ObjectInformation
2015-07-21 Gabriel Corona[mc] Make ObjectInformation::function_index a std:...
2015-07-21 Gabriel Corona[mc] Make ObjectInformation::file_names a std::string
2015-07-21 Gabriel Corona[mc] Make Process::subprograms a std::unordered_map
2015-07-21 Gabriel Corona[mc] Make type_is an integer instead of a string and...
2015-07-21 Gabriel Corona[mc] Move ObjectInformation methods in mc_object_info.cpp
2015-07-21 Gabriel Corona[mc] Move some declarations in mc_object_info.h
2015-07-21 Gabriel Corona[mc] Make Frame::variables, Frame::scopes and ObjectInf...
2015-07-21 Gabriel Corona[mc] C++ location lists and expressions
2015-07-21 Gabriel Corona[mc] C++ify Frame
2015-07-21 Gabriel Corona[mc] C++ify Variable
2015-07-21 Gabriel Corona[mc] OOPify/C++ify Type (cont)
2015-07-21 Gabriel Corona[mc] OOPify/C++ify Type (cont)
2015-07-21 Gabriel Corona[mc] OOPify/C++ify Type
2015-07-21 Gabriel Corona[mc] OOPify/C++ify ObjectInformation
2015-07-21 Gabriel Corona[mc] C++ification of memory_map.cpp
2015-07-21 Gabriel Corona[mc] Cleanup/C++ification of {ModelChecker,PageStore...
2015-07-17 Gabriel Corona[mc] Remove content addressable page store
2015-07-17 Gabriel Corona[mc] Cleanup mc_hash
2015-07-17 Gabriel Corona[mc] Fix another signedness conversion issue with addre...
2015-07-17 Gabriel Corona[mc] Remove useless cast
2015-07-16 Gabriel Corona[mc] Fix cross process memory access in 32 bit
2015-07-14 Martin QuinsonMerge pull request #17 from mpoquet/master
2015-07-09 Gabriel Corona[mc] Cleanup the DSO ignore list and add some entries
2015-07-09 Gabriel Corona[mc] Fix the DSO debug ignore list
2015-06-29 Gabriel Corona[mc] Fix include guards
2015-06-29 Gabriel Corona[mc] Remove ugly #include
2015-06-29 Gabriel CoronaAdd some #includes
2015-06-19 Gabriel Corona[mc] Remove some extern "C"
2015-06-15 Gabriel CoronaRemove non-statis initializer in s_dw_type, s_mc_object...
2015-06-09 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-06-09 Gabriel CoronaUse xbt_strdup instead of strdup
2015-06-09 Gabriel CoronaSome (partial) fixes for cross-compiling to Windows
2015-06-09 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-06-09 Gabriel Corona[mc] Make Process:object_infos a srd::vector of std...
2015-06-09 Gabriel Corona[mc] Give ctor/dtor for s_dw_type
2015-06-09 Gabriel Corona[mc] Add ctor/dtor for s_mc_object_info
2015-06-09 Gabriel Corona[mc] Make s_mc_snapshot_stack::context not a pointer
2015-06-09 Gabriel Corona[mc] Make s_mc_snapshot_stack::stack_frames a std:...
2015-06-09 Gabriel Corona[mc] Make s_mc_global_t::stacks a std::vector
2015-06-09 Gabriel Corona[mc] Make s_mc_stack_frame::frame_name a std::string
2015-06-09 Gabriel Corona[mc] Make s_mc_snapshot_stack::local_variables a std...
2015-06-09 Gabriel Corona[mc] Make s_local_variable::name a std::string
2015-06-09 Gabriel Corona[mc] Move s_local_variable in mc_snapshot.h
2015-06-09 Gabriel Corona[mc] Make Snapshot::snapshot_regions a std::vector
2015-06-09 Gabriel Corona[mc] Make Snapshot::to_ignore a std::vector
2015-06-09 Gabriel Corona[mc] Make Snapshot::ignored_data a std::vector
2015-06-09 Gabriel Corona[mc] Make Snapshot::current_fds a std::vector
2015-06-09 Gabriel Corona[mc] Make Snapshot::stack_sizes a std::vector
2015-06-09 Gabriel Corona[mc] Make Snapshot::enabled_process a std::set
2015-06-05 Gabriel CoronaBoost.Context context factory
2015-06-02 Gabriel Corona[mc] Fix realloc() in mc_process.cpp
2015-06-02 Gabriel Corona[mc] Fix pointer dereference after free()
2015-06-02 Gabriel Corona[mc] exit() instead of abort() in normal operation
2015-06-02 Gabriel Corona[mc] Add a message to explain no property violation...
2015-06-02 Gabriel Corona[mc] Remove mc_region_contain(), use the method instead
next