2015-07-28 |
Gabriel Corona | [mc] Use the real override |
tree | commitdiff |
2015-07-27 |
Gabriel Corona | [mc] Fix constness issue in MC_make_functions_index() |
tree | commitdiff |
2015-07-27 |
Gabriel Corona | [mc] Remove mc_object_info.cpp |
tree | commitdiff |
2015-07-27 |
Gabriel Corona | [mc] Remove useless functions |
tree | commitdiff |
2015-07-27 |
Gabriel Corona | [mc] Move Frame, ModelChecker, ObjectInformation, Type... |
tree | commitdiff |
2015-07-25 |
Martin Quinson | Revert "Fix non-MC builds" |
tree | commitdiff |
2015-07-25 |
Gabriel Corona | [mc] Fix missing #include in non MC |
tree | commitdiff |
2015-07-25 |
Martin Quinson | Fix non-MC builds |
tree | commitdiff |
2015-07-25 |
Gabriel Corona | [mc] Move MC_random is mc_base.cpp |
tree | commitdiff |
2015-07-25 |
Gabriel Corona | s/smx_host/host/ because of API change |
tree | commitdiff |
2015-07-25 |
Martin Quinson | Revert "Revert "[mc] Move MC_random() in mc_client_api... |
tree | commitdiff |
2015-07-24 |
Martin Quinson | Revert "[mc] Move MC_random() in mc_client_api.cpp" |
tree | commitdiff |
2015-07-24 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2015-07-24 |
Gabriel Corona | [mc] Cleanup |
tree | commitdiff |
2015-07-24 |
Gabriel Corona | [mc] Do not #define __has_feature |
tree | commitdiff |
2015-07-24 |
Gabriel Corona | [mc] Cleanup mc_client_api.cpp |
tree | commitdiff |
2015-07-24 |
Gabriel Corona | [mc] Move MC_random() in mc_client_api.cpp |
tree | commitdiff |
2015-07-24 |
kbaati | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2015-07-24 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2015-07-24 |
Gabriel Corona | [mc] Do not trigger errors in MC_automaton_new_proposit... |
tree | commitdiff |
2015-07-24 |
Gabriel Corona | [mc] Move the proposition declaration functions in... |
tree | commitdiff |
2015-07-24 |
Gabriel Corona | [mc] Cleanup/simplify liveness property automaton regis... |
tree | commitdiff |
2015-07-24 |
Gabriel Corona | [mc] Remove MC_automaton_new_propositional_symbol_callb... |
tree | commitdiff |
2015-07-24 |
Gabriel Corona | [mc] Remove HTML in a comment (this is ugly) |
tree | commitdiff |
2015-07-24 |
Gabriel Corona | [mc] Comment the binary search in ObjectInformation... |
tree | commitdiff |
2015-07-23 |
Gabriel Corona | [mc] Fix out of range error in the binary search implem... |
tree | commitdiff |
2015-07-23 |
Gabriel Corona | [mc] Fix: can't build a std::string with nullptr |
tree | commitdiff |
2015-07-23 |
Gabriel Corona | [mc] Give a real override if we know it's available |
tree | commitdiff |
2015-07-23 |
Gabriel Corona | [mc] Remove a lot of typedefs and typedef usage |
tree | commitdiff |
2015-07-23 |
Gabriel Corona | [mc] Remove remainings of an old type |
tree | commitdiff |
2015-07-23 |
Gabriel Corona | [mc] Simplify lookup of maps |
tree | commitdiff |
2015-07-21 |
Gabriel Corona | [mc] Remove useless/unused stuff |
tree | commitdiff |
2015-07-21 |
Gabriel Corona | [mc] Remove MC_post_process_functions() |
tree | commitdiff |
2015-07-21 |
Gabriel Corona | [mc] Remove MC_dwarf_register_variable() |
tree | commitdiff |
2015-07-21 |
Gabriel Corona | [mc] Avoid the O(n^2) incremental construction of sorte... |
tree | commitdiff |
2015-07-21 |
Gabriel Corona | [mc] Add comments on ObjectInformation |
tree | commitdiff |
2015-07-21 |
Gabriel Corona | [mc] Make ObjectInformation::function_index a std:... |
tree | commitdiff |
2015-07-21 |
Gabriel Corona | [mc] Make ObjectInformation::file_names a std::string |
tree | commitdiff |
2015-07-21 |
Gabriel Corona | [mc] Make Process::subprograms a std::unordered_map |
tree | commitdiff |
2015-07-21 |
Gabriel Corona | [mc] Make type_is an integer instead of a string and... |
tree | commitdiff |
2015-07-21 |
Gabriel Corona | [mc] Move ObjectInformation methods in mc_object_info.cpp |
tree | commitdiff |
2015-07-21 |
Gabriel Corona | [mc] Move some declarations in mc_object_info.h |
tree | commitdiff |
2015-07-21 |
Gabriel Corona | [mc] Make Frame::variables, Frame::scopes and ObjectInf... |
tree | commitdiff |
2015-07-21 |
Gabriel Corona | [mc] C++ location lists and expressions |
tree | commitdiff |
2015-07-21 |
Gabriel Corona | [mc] C++ify Frame |
tree | commitdiff |
2015-07-21 |
Gabriel Corona | [mc] C++ify Variable |
tree | commitdiff |
2015-07-21 |
Gabriel Corona | [mc] OOPify/C++ify Type (cont) |
tree | commitdiff |
2015-07-21 |
Gabriel Corona | [mc] OOPify/C++ify Type (cont) |
tree | commitdiff |
2015-07-21 |
Gabriel Corona | [mc] OOPify/C++ify Type |
tree | commitdiff |
2015-07-21 |
Gabriel Corona | [mc] OOPify/C++ify ObjectInformation |
tree | commitdiff |
2015-07-21 |
Gabriel Corona | [mc] C++ification of memory_map.cpp |
tree | commitdiff |
2015-07-21 |
Gabriel Corona | [mc] Cleanup/C++ification of {ModelChecker,PageStore... |
tree | commitdiff |
2015-07-17 |
Gabriel Corona | [mc] Remove content addressable page store |
tree | commitdiff |
2015-07-17 |
Gabriel Corona | [mc] Cleanup mc_hash |
tree | commitdiff |
2015-07-17 |
Gabriel Corona | [mc] Fix another signedness conversion issue with addre... |
tree | commitdiff |
2015-07-17 |
Gabriel Corona | [mc] Remove useless cast |
tree | commitdiff |
2015-07-16 |
Gabriel Corona | [mc] Fix cross process memory access in 32 bit |
tree | commitdiff |
2015-07-14 |
Martin Quinson | Merge pull request #17 from mpoquet/master |
tree | commitdiff |
2015-07-09 |
Gabriel Corona | [mc] Cleanup the DSO ignore list and add some entries |
tree | commitdiff |
2015-07-09 |
Gabriel Corona | [mc] Fix the DSO debug ignore list |
tree | commitdiff |
2015-06-29 |
Gabriel Corona | [mc] Fix include guards |
tree | commitdiff |
2015-06-29 |
Gabriel Corona | [mc] Remove ugly #include |
tree | commitdiff |
2015-06-29 |
Gabriel Corona | Add some #includes |
tree | commitdiff |
2015-06-19 |
Gabriel Corona | [mc] Remove some extern "C" |
tree | commitdiff |
2015-06-15 |
Gabriel Corona | Remove non-statis initializer in s_dw_type, s_mc_object... |
tree | commitdiff |
2015-06-09 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2015-06-09 |
Gabriel Corona | Use xbt_strdup instead of strdup |
tree | commitdiff |
2015-06-09 |
Gabriel Corona | Some (partial) fixes for cross-compiling to Windows |
tree | commitdiff |
2015-06-09 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2015-06-09 |
Gabriel Corona | [mc] Make Process:object_infos a srd::vector of std... |
tree | commitdiff |
2015-06-09 |
Gabriel Corona | [mc] Give ctor/dtor for s_dw_type |
tree | commitdiff |
2015-06-09 |
Gabriel Corona | [mc] Add ctor/dtor for s_mc_object_info |
tree | commitdiff |
2015-06-09 |
Gabriel Corona | [mc] Make s_mc_snapshot_stack::context not a pointer |
tree | commitdiff |
2015-06-09 |
Gabriel Corona | [mc] Make s_mc_snapshot_stack::stack_frames a std:... |
tree | commitdiff |
2015-06-09 |
Gabriel Corona | [mc] Make s_mc_global_t::stacks a std::vector |
tree | commitdiff |
2015-06-09 |
Gabriel Corona | [mc] Make s_mc_stack_frame::frame_name a std::string |
tree | commitdiff |
2015-06-09 |
Gabriel Corona | [mc] Make s_mc_snapshot_stack::local_variables a std... |
tree | commitdiff |
2015-06-09 |
Gabriel Corona | [mc] Make s_local_variable::name a std::string |
tree | commitdiff |
2015-06-09 |
Gabriel Corona | [mc] Move s_local_variable in mc_snapshot.h |
tree | commitdiff |
2015-06-09 |
Gabriel Corona | [mc] Make Snapshot::snapshot_regions a std::vector |
tree | commitdiff |
2015-06-09 |
Gabriel Corona | [mc] Make Snapshot::to_ignore a std::vector |
tree | commitdiff |
2015-06-09 |
Gabriel Corona | [mc] Make Snapshot::ignored_data a std::vector |
tree | commitdiff |
2015-06-09 |
Gabriel Corona | [mc] Make Snapshot::current_fds a std::vector |
tree | commitdiff |
2015-06-09 |
Gabriel Corona | [mc] Make Snapshot::stack_sizes a std::vector |
tree | commitdiff |
2015-06-09 |
Gabriel Corona | [mc] Make Snapshot::enabled_process a std::set |
tree | commitdiff |
2015-06-05 |
Gabriel Corona | Boost.Context context factory |
tree | commitdiff |
2015-06-02 |
Gabriel Corona | [mc] Fix realloc() in mc_process.cpp |
tree | commitdiff |
2015-06-02 |
Gabriel Corona | [mc] Fix pointer dereference after free() |
tree | commitdiff |
2015-06-02 |
Gabriel Corona | [mc] exit() instead of abort() in normal operation |
tree | commitdiff |
2015-06-02 |
Gabriel Corona | [mc] Add a message to explain no property violation... |
tree | commitdiff |
2015-06-02 |
Gabriel Corona | [mc] Remove mc_region_contain(), use the method instead |
tree | commitdiff |
2015-06-02 |
Gabriel Corona | [mc] C++ify RegionType, StorageType enums |
tree | commitdiff |
2015-06-02 |
Gabriel Corona | [mc] Fix compilation error on clang (and group all... |
tree | commitdiff |
2015-06-02 |
Gabriel Corona | temp |
tree | commitdiff |
2015-06-02 |
Gabriel Corona | [mc] Enable record in liveness mode |
tree | commitdiff |
2015-06-01 |
Gabriel Corona | [mc] Use vector<RegionSnapshot> instead of vector<uniqu... |
tree | commitdiff |
2015-06-01 |
Gabriel Corona | [mc] Fix typo in e_mc_region_storage_type_t |
tree | commitdiff |
2015-06-01 |
Gabriel Corona | [mc] Remove deprecated MC_snapshot_read() |
tree | commitdiff |
2015-06-01 |
Gabriel Corona | [mc] RegionSnapshot, make all fields private |
tree | commitdiff |
2015-06-01 |
Gabriel Corona | [mc] RegionSnapshot, make data private |
tree | commitdiff |
next |