A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
silence warnings from boost (only on netbsd..
2016-05-11
Gabriel Corona
[mc] Generalize AddressSpace::read<T>() to return a...
commit
|
commitdiff
|
tree
2016-05-11
Gabriel Corona
[mc] Fix MC with the class-hierarchification of simgrid...
commit
|
commitdiff
|
tree
2016-05-09
Gabriel Corona
Fix BoostContext #include
commit
|
commitdiff
|
tree
2016-05-06
Gabriel Corona
[mc] Use bool instead of int for match_pairs
commit
|
commitdiff
|
tree
2016-05-06
Gabriel Corona
[mc] Don't use new/delete for HeapLocationPairs
commit
|
commitdiff
|
tree
2016-05-06
Gabriel Corona
[mc] Use std::set for the list-of-heap-location-pairs
commit
|
commitdiff
|
tree
2016-05-04
Gabriel Corona
[mc] Merge StateComparator with ComparisonState
commit
|
commitdiff
|
tree
2016-05-04
Gabriel Corona
[mc] Move s_heap_area in compare.cpp
commit
|
commitdiff
|
tree
2016-05-04
Gabriel Corona
[mc] Remove useless bits in compare.cpp
commit
|
commitdiff
|
tree
2016-05-04
Gabriel Corona
[mc] Remove useless header file
commit
|
commitdiff
|
tree
2016-05-04
Gabriel Corona
[mc] Merge mc_diff.cpp and mc_compare.cpp
commit
|
commitdiff
|
tree
2016-05-04
Gabriel Corona
[mc] Remove __STDC_FORMAT_MACROS
commit
|
commitdiff
|
tree
2016-05-04
Gabriel Corona
[mc] Simplified control flow
commit
|
commitdiff
|
tree
2016-05-04
Gabriel Corona
[mc] Move some functions as methods of StateComparator
commit
|
commitdiff
|
tree
2016-05-04
Gabriel Corona
[mc] Refactoring of the state comparison code
commit
|
commitdiff
|
tree
2016-05-04
Gabriel Corona
[mc] Better documentation of weird-DWARF-issue workaround
commit
|
commitdiff
|
tree
2016-05-03
Gabriel Corona
[config] Fix inconsistent noexcept in ~missing_key_error()
commit
|
commitdiff
|
tree
2016-05-03
Gabriel Corona
[config] More general comparators for Flag
commit
|
commitdiff
|
tree
2016-05-03
Gabriel Corona
[config] Mark ~missing_key_error() noexcept
commit
|
commitdiff
|
tree
2016-05-03
Gabriel Corona
Avoid useless calls to abort() when throwing exceptions...
commit
|
commitdiff
|
tree
2016-05-03
Gabriel Corona
[config] Horrible mess to translate C++ exceptions...
commit
|
commitdiff
|
tree
2016-05-03
Gabriel Corona
Remove bogus XBT_PRIVATE
commit
|
commitdiff
|
tree
2016-05-03
Gabriel Corona
[config] Use the c++ API for some configuration flags
commit
|
commitdiff
|
tree
2016-05-03
Gabriel Corona
[config] Some alias support in the C++ API
commit
|
commitdiff
|
tree
2016-05-03
Gabriel Corona
[config] Remove one bindFlag() overload which does...
commit
|
commitdiff
|
tree
2016-05-02
Gabriel Corona
[config] Rewrite the config core
commit
|
commitdiff
|
tree
2016-04-29
Gabriel Corona
Remove return type of xbt_cfg_set_as_string()
commit
|
commitdiff
|
tree
2016-04-29
Gabriel Corona
[config] Remove/privatize unused APIs
commit
|
commitdiff
|
tree
2016-04-29
Gabriel Corona
[config] Move aliases outside of the main option dict
commit
|
commitdiff
|
tree
2016-04-29
Gabriel Corona
[config] Remove multiple-value support in the config...
commit
|
commitdiff
|
tree
2016-04-29
Gabriel Corona
[config] Create a Config class
commit
|
commitdiff
|
tree
2016-04-29
Gabriel Corona
[config] Rename s_xbt_cfgelm_t to simgrid::config:...
commit
|
commitdiff
|
tree
2016-04-29
Gabriel Corona
Ensure that the dict subsystem is initialized when...
commit
|
commitdiff
|
tree
2016-04-28
Gabriel Corona
Remove spurious XBT_PUBLIC
commit
|
commitdiff
|
tree
2016-04-28
Gabriel Corona
Remove useless boost #includes
commit
|
commitdiff
|
tree
2016-04-28
Gabriel Corona
Use C++ Flag for context factory selection
commit
|
commitdiff
|
tree
2016-04-28
Gabriel Corona
[config] Add a template declareFlag<T>(...)
commit
|
commitdiff
|
tree
2016-04-28
Gabriel Corona
[mc] Fix compilation when MC id disabled
commit
|
commitdiff
|
tree
2016-04-28
Gabriel Corona
[mc] Remove redundant 'mc_mode' global variable
commit
|
commitdiff
|
tree
2016-04-27
Gabriel Corona
Add missing #include for std::current_exception()
commit
|
commitdiff
|
tree
2016-04-26
Gabriel Corona
Add a comment/TODO about i386 RawContext
commit
|
commitdiff
|
tree
2016-04-26
Gabriel Corona
RawContext: add comments for x86 raw_swapcontext()
commit
|
commitdiff
|
tree
2016-04-25
Gabriel Corona
Use our own minimal signal implementation
commit
|
commitdiff
|
tree
2016-04-25
Gabriel Corona
Add #includes in cpu_interface.hpp
commit
|
commitdiff
|
tree
2016-04-25
Gabriel Corona
Fix bad pointer cast in the L07 model
commit
|
commitdiff
|
tree
2016-04-25
Gabriel Corona
bg-set-signal.tesh, Don't run the perl interpreter...
commit
|
commitdiff
|
tree
2016-04-25
Gabriel Corona
[mc] Really ignore the output of bugged1_liveness
commit
|
commitdiff
|
tree
2016-04-22
Gabriel Corona
Fix printf format
commit
|
commitdiff
|
tree
2016-04-22
Gabriel Corona
Fix 32 bit compilation procedure
commit
|
commitdiff
|
tree
2016-04-21
Gabriel Corona
[doc] Add documentation about compiling to 32bit on...
commit
|
commitdiff
|
tree
2016-04-21
Gabriel Corona
[cmake] Use the correct multiarch triple instead of...
commit
|
commitdiff
|
tree
2016-04-21
Gabriel Corona
[mc] Ingnore the output of the liveness test and only...
commit
|
commitdiff
|
tree
2016-04-19
Gabriel Corona
[mc] Increase the timeout of the liveness tests
commit
|
commitdiff
|
tree
2016-04-19
Gabriel Corona
[mc] Fix error in computation of Frame range when DW_AT_high...
commit
|
commitdiff
|
tree
2016-04-19
Gabriel Corona
[mc] Fix ObjectInformation address computation
commit
|
commitdiff
|
tree
2016-04-19
Gabriel Corona
[mc] Disable (for now) umpire test which never worked
commit
|
commitdiff
|
tree
2016-04-18
Gabriel Corona
[mc] Add missing XBT_PUBLIC() in config.hpp
commit
|
commitdiff
|
tree
2016-04-18
Gabriel Corona
[mc] Fix loop bound checking using heaplimit
commit
|
commitdiff
|
tree
2016-04-18
Gabriel Corona
Clear errno when throwing an errno exception
commit
|
commitdiff
|
tree
2016-04-18
Gabriel Corona
Add documentation (and errno_code()) to system.hpp
commit
|
commitdiff
|
tree
2016-04-18
Gabriel Corona
Update the changelog
commit
|
commitdiff
|
tree
2016-04-18
Gabriel Corona
Revert "What's not malloced cannot be leaked"
commit
|
commitdiff
|
tree
2016-04-18
Gabriel Corona
Rewrite/simplify the C++ flag declaration
commit
|
commitdiff
|
tree
2016-04-18
Gabriel Corona
Use new/delete for s_xbt_cfgelm_t
commit
|
commitdiff
|
tree
2016-04-18
Gabriel Corona
Move the config.c code in C++
commit
|
commitdiff
|
tree
2016-04-14
Gabriel Corona
[mc] Fix this != nullptr remaining from previous refactoring
commit
|
commitdiff
|
tree
2016-04-14
Gabriel Corona
[mc] Remove unused declarations
commit
|
commitdiff
|
tree
2016-04-14
Gabriel Corona
[mc] Remove spurious declaration (remaining from previous...
commit
|
commitdiff
|
tree
2016-04-14
Gabriel Corona
[mc] Move the remaining restoreState() into CommuinicationDe...
commit
|
commitdiff
|
tree
2016-04-14
Gabriel Corona
[mc] Duplicate restoreState() as a method of SafetyChecker
commit
|
commitdiff
|
tree
2016-04-14
Gabriel Corona
[mv] Remove soft-darty tracking
commit
|
commitdiff
|
tree
2016-04-14
Gabriel Corona
[mc] Rename replay() function to restoreState()
commit
|
commitdiff
|
tree
2016-04-14
Gabriel Corona
[mc] Move mc_global stuff into CommunicationDeterminismChecker
commit
|
commitdiff
|
tree
2016-04-14
Gabriel Corona
[mc] Move mc_global stuff into LivenessChecker
commit
|
commitdiff
|
tree
2016-04-14
Gabriel Corona
[mc] Move initial state into Session
commit
|
commitdiff
|
tree
2016-04-13
Gabriel Corona
[mc] Remove useless bits
commit
|
commitdiff
|
tree
2016-04-13
Gabriel Corona
[mc] Move MC_report() functions as static functions...
commit
|
commitdiff
|
tree
2016-04-13
Gabriel Corona
[mc] Remove mc_stats and move remaining stats in ModelChecke...
commit
|
commitdiff
|
tree
2016-04-13
Gabriel Corona
[mc] Remove mc_stats.state_size (not used)
commit
|
commitdiff
|
tree
2016-04-13
Gabriel Corona
[mc] Move mc_stats.expanded_states into the Checkers
commit
|
commitdiff
|
tree
2016-04-13
Gabriel Corona
[mc] Remove orphaned declarations
commit
|
commitdiff
|
tree
2016-04-13
Gabriel Corona
Remove useless #includes
commit
|
commitdiff
|
tree
2016-04-13
Gabriel Corona
[mc] Livenesschecker, make private stuff private
commit
|
commitdiff
|
tree
2016-04-13
Gabriel Corona
[mc] Move liveness stats out of mc_stats into LivenessChecker
commit
|
commitdiff
|
tree
2016-04-13
Gabriel Corona
[mc] Delegate some part of Session::logState() to Checker...
commit
|
commitdiff
|
tree
2016-04-13
Gabriel Corona
[mc] Move MC_print_statistics() as Session::logState()
commit
|
commitdiff
|
tree
2016-04-13
Gabriel Corona
[mc] Remove old dual-stack-related comment
commit
|
commitdiff
|
tree
2016-04-13
Gabriel Corona
[mc] Use Session::execute() in LivenessChecker as well
commit
|
commitdiff
|
tree
2016-04-13
Gabriel Corona
[mc] Remove useless model-checker/model-checked round...
commit
|
commitdiff
|
tree
2016-04-13
Gabriel Corona
[mc] Add methods to Session
commit
|
commitdiff
|
tree
2016-04-13
Gabriel Corona
[mc] s/getRecordElement/getTransition/
commit
|
commitdiff
|
tree
2016-04-13
Gabriel Corona
simgrid::config::flag, a more declarative way to describe...
commit
|
commitdiff
|
tree
2016-04-11
Gabriel Corona
[mc] Rename RecordTraceElement as Transition and use...
commit
|
commitdiff
|
tree
2016-04-08
Gabriel Corona
[mc] Remove the ugly is_in_vector() hack
commit
|
commitdiff
|
tree
2016-04-08
Gabriel Corona
[mc] Move resolve_process...() as methods of Process
commit
|
commitdiff
|
tree
2016-04-08
Gabriel Corona
[mc] Remove old commented-out code
commit
|
commitdiff
|
tree
2016-04-08
Gabriel Corona
[mc] Remove useless MC_MODE_CLIENT paths
commit
|
commitdiff
|
tree
2016-04-08
Gabriel Corona
[mc] Mark some remote pointers as such
commit
|
commitdiff
|
tree
2016-04-08
Gabriel Corona
[mc] Misc. comments
commit
|
commitdiff
|
tree
2016-04-08
Gabriel Corona
[mc] Mark xbt::string as a hack
commit
|
commitdiff
|
tree
next