| 2012-06-21 |
Martin Quinson | let model-checking compile without supernovae activated... |
tree | commitdiff |
| 2012-06-21 |
Martin Quinson | useless cosmetics |
tree | commitdiff |
| 2012-06-21 |
Marion Guthmuller | model-checker : unused variable |
tree | commitdiff |
| 2012-06-21 |
Martin Quinson | remove useless check that will never detect any issue |
tree | commitdiff |
| 2012-06-21 |
Marion Guthmuller | model-checker : factorization of code for model-checkin... |
tree | commitdiff |
| 2012-06-21 |
Martin Quinson | Deprecate functions MSG_global_init() / MSG_global_init... |
tree | commitdiff |
| 2012-06-21 |
Samuel Lepetit | Cleanup in SIMIX_process_on_exit_runall |
tree | commitdiff |
| 2012-06-21 |
Samuel Lepetit | Fix bug #14412 (Killing a SIMIX process just after... |
tree | commitdiff |
| 2012-06-21 |
Samuel Lepetit | Fix commit 825fb3d5095e6cce48885d1d04ab1ec3823dae6c |
tree | commitdiff |
| 2012-06-21 |
Arnaud Giersch | Call simcall_set_category after simdata->compute is... |
tree | commitdiff |
| 2012-06-21 |
Martin Quinson | pebcak protection: some day, someone will use a differe... |
tree | commitdiff |
| 2012-06-21 |
Samuel Lepetit | Move SIMIX_process_on_exit functions to public |
tree | commitdiff |
| 2012-06-21 |
jbrv | remove some trailing spaces |
tree | commitdiff |
| 2012-06-21 |
jbrv | event trace generation : improving some functions |
tree | commitdiff |
| 2012-06-20 |
suter | typo |
tree | commitdiff |
| 2012-06-20 |
Martin Quinson | MC checkpoints implies MC |
tree | commitdiff |
| 2012-06-20 |
Martin Quinson | meaningful pebcak message: you need to compile MC in... |
tree | commitdiff |
| 2012-06-20 |
Marion Guthmuller | model-checker : new surf configuration mc-checkpoint |
tree | commitdiff |
| 2012-06-20 |
Marion Guthmuller | Revert "model-checker : add new surf configuration... |
tree | commitdiff |
| 2012-06-20 |
Marion Guthmuller | model-checker : add new surf configuration mc-checkpoint |
tree | commitdiff |
| 2012-06-20 |
suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-06-20 |
Samuel Lepetit | Add on_exit support on SIMIX/MSG, calling functions... |
tree | commitdiff |
| 2012-06-20 |
suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-06-20 |
suter | Don't try to dump an output if no event has been stored... |
tree | commitdiff |
| 2012-06-20 |
Marion Guthmuller | model-checker : cosmetics, tab forgotten |
tree | commitdiff |
| 2012-06-20 |
navarro | Remove unused variable |
tree | commitdiff |
| 2012-06-20 |
Samuel Lepetit | Bugfix in MSG_parallel_task_execute |
tree | commitdiff |
| 2012-06-20 |
Samuel Lepetit | Stop doing evil things in MSG_parallel_task_execute... |
tree | commitdiff |
| 2012-06-20 |
navarro | Put the different model in the dtd. Permit the xml... |
tree | commitdiff |
| 2012-06-20 |
Samuel Lepetit | Factorise MSG_task_execute and MSG_parallel_task_execute |
tree | commitdiff |
| 2012-06-20 |
suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-06-20 |
Arnaud Giersch | More cleanup! |
tree | commitdiff |
| 2012-06-20 |
suter | add a simple explication about how to use the config... |
tree | commitdiff |
| 2012-06-20 |
Samuel Lepetit | Memory leak fix |
tree | commitdiff |
| 2012-06-20 |
suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-06-20 |
suter | works better once tested |
tree | commitdiff |
| 2012-06-20 |
Samuel Lepetit | Use the same way of checking the state of the communica... |
tree | commitdiff |
| 2012-06-20 |
navarro | Replace usleep for nanosleep |
tree | commitdiff |
| 2012-06-20 |
Samuel Lepetit | Bugfix of the previous commit. |
tree | commitdiff |
| 2012-06-20 |
Arnaud Giersch | Keep tabs in generated files. |
tree | commitdiff |
| 2012-06-20 |
Arnaud Giersch | Include "xbt/RngStream.h", and avoid duplicate definiti... |
tree | commitdiff |
| 2012-06-20 |
Samuel Lepetit | Fix issue when a host failed while executing a task... |
tree | commitdiff |
| 2012-06-20 |
Marion Guthmuller | model-checker : cosmetics reindent |
tree | commitdiff |
| 2012-06-20 |
Marion Guthmuller | model-checker : cosmetics reindent |
tree | commitdiff |
| 2012-06-20 |
Marion Guthmuller | model-checker : cosmectics reindent and unnecessary... |
tree | commitdiff |
| 2012-06-20 |
suter | Solve white space conflicts |
tree | commitdiff |
| 2012-06-20 |
suter | add a new type of typed task to represent a MxN data... |
tree | commitdiff |
| 2012-06-20 |
jbrv | Probabilist trace generator : variable names changed |
tree | commitdiff |
| 2012-06-20 |
Martin Quinson | sed -i -e 's/\t/ /g' *.[ch] Please people, stop using... |
tree | commitdiff |
| 2012-06-20 |
Marion Guthmuller | model-checker : detect pointers on valid blocks in... |
tree | commitdiff |
| 2012-06-20 |
Marion Guthmuller | model-checker : memset 0 on block/fragment allocated... |
tree | commitdiff |
| 2012-06-19 |
navarro | Start to rewrite the mechanism for usage of a storage |
tree | commitdiff |
| 2012-06-19 |
jbrv | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-06-19 |
Christophe Thiéry | Actually, upvalues were implemented a while ago. |
tree | commitdiff |
| 2012-06-19 |
jbrv | Make rngStream management functions in platform more... |
tree | commitdiff |
| 2012-06-19 |
Marion Guthmuller | model-checker : fixme about initialization |
tree | commitdiff |
| 2012-06-19 |
Marion Guthmuller | model-checker : remove unused code and update debug... |
tree | commitdiff |
| 2012-06-19 |
Marion Guthmuller | model-checker : add stats in mmalloc |
tree | commitdiff |
| 2012-06-19 |
Marion Guthmuller | model-checker : cosmetics reindent |
tree | commitdiff |
| 2012-06-19 |
navarro | Fix compilation warning for unused variables |
tree | commitdiff |
| 2012-06-19 |
Samuel Lepetit | Remove internal function from the documentation |
tree | commitdiff |
| 2012-06-19 |
Samuel Lepetit | Typo |
tree | commitdiff |
| 2012-06-18 |
Marion Guthmuller | model-checker : add debug messages |
tree | commitdiff |
| 2012-06-18 |
Marion Guthmuller | model-checker : assert on block/fragment address in... |
tree | commitdiff |
| 2012-06-18 |
Marion Guthmuller | model-checker : unnecessary comments removed |
tree | commitdiff |
| 2012-06-18 |
navarro | Add 'content' priority for storage and then storage_type |
tree | commitdiff |
| 2012-06-18 |
navarro | Put the storage content into the storage and not into... |
tree | commitdiff |
| 2012-06-15 |
navarro | Clean sources for mc and reedit some files |
tree | commitdiff |
| 2012-06-14 |
Marion Guthmuller | resolve merge conflict |
tree | commitdiff |
| 2012-06-14 |
Marion Guthmuller | model-checker : lex and yacc parsing moved in src/xbt... |
tree | commitdiff |
| 2012-06-14 |
Marion Guthmuller | model-checker : remove unused files |
tree | commitdiff |
| 2012-06-14 |
Samuel Lepetit | Indentation fix |
tree | commitdiff |
| 2012-06-14 |
Samuel Lepetit | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-06-14 |
Arnaud Giersch | Fix format string. |
tree | commitdiff |
| 2012-06-14 |
Arnaud Giersch | Remove unused variable. |
tree | commitdiff |
| 2012-06-14 |
Arnaud Giersch | Add cases for missing enumeration values. |
tree | commitdiff |
| 2012-06-14 |
schnorr | [trace] correctly generating viva categorized configuration |
tree | commitdiff |
| 2012-06-14 |
suter | add a SD_task_set_rate function |
tree | commitdiff |
| 2012-06-14 |
Samuel Lepetit | Update MSG_comm_wait documentation |
tree | commitdiff |
| 2012-06-14 |
Samuel Lepetit | Add a MSG_vm_destroy function to free a virtual machine |
tree | commitdiff |
| 2012-06-14 |
Samuel Lepetit | Bugfix in cloud API (again) |
tree | commitdiff |
| 2012-06-14 |
Samuel Lepetit | Fix the cloud API, nicely this time. |
tree | commitdiff |
| 2012-06-14 |
Samuel Lepetit | Revert "Debug the cloud API, it should work as expected... |
tree | commitdiff |
| 2012-06-14 |
schnorr | [trace] re-write of trace mark API, need to declare... |
tree | commitdiff |
| 2012-06-14 |
schnorr | [trace] only ignore the call if the mark type wasn... |
tree | commitdiff |
| 2012-06-14 |
schnorr | [trace] we don't need to trace the destruction of the... |
tree | commitdiff |
| 2012-06-14 |
schnorr | [trace] don't let mark the trace if platform is not... |
tree | commitdiff |
| 2012-06-14 |
Marion Guthmuller | model-checker : add header (description, copyright... |
tree | commitdiff |
| 2012-06-14 |
Arnaud Giersch | Fix build with paranoid flags: remove redundant '\0... |
tree | commitdiff |
| 2012-06-14 |
Marion Guthmuller | model-checker : comment unused variable |
tree | commitdiff |
| 2012-06-14 |
Marion Guthmuller | model-checker : get end heap with field breakval in... |
tree | commitdiff |
| 2012-06-14 |
Sascha Hunold | updated jedule output of SimDag |
tree | commitdiff |
| 2012-06-14 |
Marion Guthmuller | model-checker : move print statistics if property is... |
tree | commitdiff |
| 2012-06-14 |
Marion Guthmuller | model-checker : fix std_heap address for heap compariso... |
tree | commitdiff |
| 2012-06-14 |
Marion Guthmuller | model-checker : in second test unit, snapshot compariso... |
tree | commitdiff |
| 2012-06-13 |
Arnaud Giersch | [trace] correct impossible code. |
tree | commitdiff |
| 2012-06-13 |
Arnaud Giersch | [trace] new function: PJ_value_get_or_new(). |
tree | commitdiff |
| 2012-06-13 |
Arnaud Giersch | [trace] throw an exception instead of returning NULL. |
tree | commitdiff |
| 2012-06-13 |
Arnaud Giersch | [trace] test is obviously redundant here. |
tree | commitdiff |
| 2012-06-13 |
Martin Quinson | New function: MSG_host_set_property_value() |
tree | commitdiff |
| next |
