2012-06-18 |
navarro | Mark those exe as advanced |
commit | commitdiff | tree | snapshot |
2012-06-18 |
navarro | Rewrite some target for make dist* |
commit | commitdiff | tree | snapshot |
2012-06-18 |
navarro | Don't enable supernvae by default, now we often use... |
commit | commitdiff | tree | snapshot |
2012-06-18 |
navarro | Put the storage content into the storage and not into... |
commit | commitdiff | tree | snapshot |
2012-06-18 |
Martin Quinson | add a new stressing test to GRAS. Yeah, it actually... |
commit | commitdiff | tree | snapshot |
2012-06-15 |
Arnaud Giersch | Add xbt/automaton/automaton_create.c to supernovae... |
commit | commitdiff | tree | snapshot |
2012-06-15 |
Arnaud Giersch | Tell full directory for ddt_parse.yy.c |
commit | commitdiff | tree | snapshot |
2012-06-15 |
navarro | Put a warn if try to make a dist without maintainer... |
commit | commitdiff | tree | snapshot |
2012-06-15 |
navarro | Don not stop compilation but just put a warning |
commit | commitdiff | tree | snapshot |
2012-06-15 |
navarro | For now model checking can not be compile with flto. |
commit | commitdiff | tree | snapshot |
2012-06-15 |
navarro | Add generated mc files to extra dist |
commit | commitdiff | tree | snapshot |
2012-06-15 |
navarro | Clean sources for mc and reedit some files |
commit | commitdiff | tree | snapshot |
2012-06-15 |
Arnaud Giersch | Fix includes in surfxml_parse.h |
commit | commitdiff | tree | snapshot |
2012-06-15 |
Arnaud Giersch | Remove unused variable. |
commit | commitdiff | tree | snapshot |
2012-06-15 |
navarro | Remove unused files |
commit | commitdiff | tree | snapshot |
2012-06-15 |
navarro | add missing platforms in distrib |
commit | commitdiff | tree | snapshot |
2012-06-15 |
Marion Guthmuller | model-checker : remove clone file |
commit | commitdiff | tree | snapshot |
2012-06-15 |
Marion Guthmuller | model-checker : remove unused files in examples/ms/mc |
commit | commitdiff | tree | snapshot |
2012-06-15 |
suter | slight modifications |
commit | commitdiff | tree | snapshot |
2012-06-15 |
suter | add a new example that use SD_task_set_rate to throttle... |
commit | commitdiff | tree | snapshot |
2012-06-14 |
navarro | 2nd part of kill GLOB_RECURSE |
commit | commitdiff | tree | snapshot |
2012-06-14 |
Marion Guthmuller | resolve merge conflict |
commit | commitdiff | tree | snapshot |
2012-06-14 |
Marion Guthmuller | model-checker : examples updated with new lex and yacc... |
commit | commitdiff | tree | snapshot |
2012-06-14 |
Marion Guthmuller | model-checker : lex and yacc parsing moved in src/xbt... |
commit | commitdiff | tree | snapshot |
2012-06-14 |
Marion Guthmuller | model-checker : remove unused files |
commit | commitdiff | tree | snapshot |
2012-06-14 |
Samuel Lepetit | Indentation fix |
commit | commitdiff | tree | snapshot |
2012-06-14 |
Samuel Lepetit | Merge branch 'master' of git+ssh://scm.gforge.inria... |
commit | commitdiff | tree | snapshot |
2012-06-14 |
Arnaud Giersch | Fix format string. |
commit | commitdiff | tree | snapshot |
2012-06-14 |
Arnaud Giersch | Remove unused variable. |
commit | commitdiff | tree | snapshot |
2012-06-14 |
Arnaud Giersch | Add cases for missing enumeration values. |
commit | commitdiff | tree | snapshot |
2012-06-14 |
schnorr | [trace] correctly generating viva categorized configuration |
commit | commitdiff | tree | snapshot |
2012-06-14 |
suter | add a SD_task_set_rate function |
commit | commitdiff | tree | snapshot |
2012-06-14 |
Samuel Lepetit | Update MSG_comm_wait documentation |
commit | commitdiff | tree | snapshot |
2012-06-14 |
navarro | First step to delete GLOB command from cmake |
commit | commitdiff | tree | snapshot |
2012-06-14 |
navarro | Reorganized some files for cmake |
commit | commitdiff | tree | snapshot |
2012-06-14 |
Samuel Lepetit | Add a MSG_vm_destroy function to free a virtual machine |
commit | commitdiff | tree | snapshot |
2012-06-14 |
Samuel Lepetit | Add tesh file for masterslave_virtual_machines |
commit | commitdiff | tree | snapshot |
2012-06-14 |
Samuel Lepetit | Bugfix in cloud API (again) |
commit | commitdiff | tree | snapshot |
2012-06-14 |
Marion Guthmuller | model-checker : remove unnecessary include in lex file |
commit | commitdiff | tree | snapshot |
2012-06-14 |
Samuel Lepetit | Fix the cloud API, nicely this time. |
commit | commitdiff | tree | snapshot |
2012-06-14 |
Arnaud Giersch | Use {include,link}_directories for Find{F2C,Graphviz... |
commit | commitdiff | tree | snapshot |
2012-06-14 |
Samuel Lepetit | Revert "Debug the cloud API, it should work as expected... |
commit | commitdiff | tree | snapshot |
2012-06-14 |
Arnaud Giersch | Ensure that additional include/link directories for... |
commit | commitdiff | tree | snapshot |
2012-06-14 |
Arnaud Giersch | __GNUC__ is already defined at this place. |
commit | commitdiff | tree | snapshot |
2012-06-14 |
Marion Guthmuller | model-checker : add header (description, copyright... |
commit | commitdiff | tree | snapshot |
2012-06-14 |
schnorr | [trace] we don't destroy things we didn't create |
commit | commitdiff | tree | snapshot |
2012-06-14 |
schnorr | [trace] re-write of trace mark API, need to declare... |
commit | commitdiff | tree | snapshot |
2012-06-14 |
schnorr | [trace] only ignore the call if the mark type wasn... |
commit | commitdiff | tree | snapshot |
2012-06-14 |
schnorr | [trace] we don't need to trace the destruction of the... |
commit | commitdiff | tree | snapshot |
2012-06-14 |
schnorr | [trace] don't let mark the trace if platform is not... |
commit | commitdiff | tree | snapshot |
2012-06-14 |
Marion Guthmuller | model-checker : add header (description, copyright... |
commit | commitdiff | tree | snapshot |
2012-06-14 |
Arnaud Giersch | Add a defined(__GNUC__), and rework expression. |
commit | commitdiff | tree | snapshot |
2012-06-14 |
Martin Quinson | speak nicely to old gcc versions |
commit | commitdiff | tree | snapshot |
2012-06-14 |
Arnaud Giersch | Fix build with paranoid flags: remove redundant '\0... |
commit | commitdiff | tree | snapshot |
2012-06-14 |
Marion Guthmuller | model-checker : comment unused variable |
commit | commitdiff | tree | snapshot |
2012-06-14 |
Marion Guthmuller | model-checker : get end heap with field breakval in... |
commit | commitdiff | tree | snapshot |
2012-06-14 |
Sascha Hunold | updated jedule output of SimDag |
commit | commitdiff | tree | snapshot |
2012-06-14 |
Marion Guthmuller | model-checker : move print statistics if property is... |
commit | commitdiff | tree | snapshot |
2012-06-14 |
Marion Guthmuller | model-checker : fix std_heap address for heap compariso... |
commit | commitdiff | tree | snapshot |
2012-06-14 |
Marion Guthmuller | model-checker : in second test unit, snapshot compariso... |
commit | commitdiff | tree | snapshot |
2012-06-13 |
Arnaud Giersch | [trace] correct impossible code. |
commit | commitdiff | tree | snapshot |
2012-06-13 |
Arnaud Giersch | [trace] new function: PJ_value_get_or_new(). |
commit | commitdiff | tree | snapshot |
2012-06-13 |
Arnaud Giersch | [trace] throw an exception instead of returning NULL. |
commit | commitdiff | tree | snapshot |
2012-06-13 |
Arnaud Giersch | [trace] test is obviously redundant here. |
commit | commitdiff | tree | snapshot |
2012-06-13 |
Martin Quinson | New function: MSG_host_set_property_value() |
commit | commitdiff | tree | snapshot |
2012-06-13 |
Samuel Lepetit | Merge branch 'master' of git+ssh://scm.gforge.inria... |
commit | commitdiff | tree | snapshot |
2012-06-13 |
Samuel Lepetit | Debug the cloud API, it should work as expected now. |
commit | commitdiff | tree | snapshot |
2012-06-13 |
Martin Quinson | Enable tracing by default. This modules rocks you shoul... |
commit | commitdiff | tree | snapshot |
2012-06-13 |
pierre | Generic script for each version |
commit | commitdiff | tree | snapshot |
2012-06-13 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
commit | commitdiff | tree | snapshot |
2012-06-13 |
Samuel Lepetit | Bugfix in msg/io example |
commit | commitdiff | tree | snapshot |
2012-06-13 |
Marion Guthmuller | model-checker : get std_heap with mmalloc_get_current_h... |
commit | commitdiff | tree | snapshot |
2012-06-13 |
navarro | Change the file API, remove the mount point in each... |
commit | commitdiff | tree | snapshot |
2012-06-13 |
Arnaud Giersch | Rewrite the platform_script.lua used by the test for... |
commit | commitdiff | tree | snapshot |
2012-06-13 |
Arnaud Giersch | Cosmetics: allow a semicolon after macro usage. |
commit | commitdiff | tree | snapshot |
2012-06-13 |
Marion Guthmuller | model-checker : new test unit for snapshot comparison |
commit | commitdiff | tree | snapshot |
2012-06-13 |
Marion Guthmuller | model-checker : remove unused argument in functions... |
commit | commitdiff | tree | snapshot |
2012-06-13 |
Marion Guthmuller | model-checker : add total hamming distance for heap... |
commit | commitdiff | tree | snapshot |
2012-06-13 |
Marion Guthmuller | model-checker : test unit for snapshot comparison |
commit | commitdiff | tree | snapshot |
2012-06-13 |
Marion Guthmuller | model-checker : unused variables deleted |
commit | commitdiff | tree | snapshot |
2012-06-13 |
Marion Guthmuller | model-checker : remove unnecessary get_memory_map_addr... |
commit | commitdiff | tree | snapshot |
2012-06-13 |
Marion Guthmuller | model-checker : update include file |
commit | commitdiff | tree | snapshot |
2012-06-13 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
commit | commitdiff | tree | snapshot |
2012-06-13 |
Marion Guthmuller | model-checker : remove binary name as argument of some... |
commit | commitdiff | tree | snapshot |
2012-06-13 |
jbrv | Event generation for probabilist tmgr_trace |
commit | commitdiff | tree | snapshot |
2012-06-13 |
Marion Guthmuller | model-checker : print statistics in all cases (property... |
commit | commitdiff | tree | snapshot |
2012-06-12 |
Marion Guthmuller | model-checker : comment unused statistics information |
commit | commitdiff | tree | snapshot |
2012-06-12 |
Arnaud Giersch | Don't rely on the non-standard on_exit() function. |
commit | commitdiff | tree | snapshot |
2012-06-12 |
navarro | Update script due to removed file. |
commit | commitdiff | tree | snapshot |
2012-06-12 |
navarro | Now it is simgrid java 1.2 ;) |
commit | commitdiff | tree | snapshot |
2012-06-12 |
Arnaud Giersch | Rename functions xbt_dict_hash*() to xbt_str_hash(). |
commit | commitdiff | tree | snapshot |
2012-06-12 |
Arnaud Giersch | Inline functions without their definitions don't make... |
commit | commitdiff | tree | snapshot |
2012-06-12 |
navarro | Remove some debug from execution |
commit | commitdiff | tree | snapshot |
2012-06-12 |
navarro | Add disk usage and size parameters for storage. |
commit | commitdiff | tree | snapshot |
2012-06-12 |
navarro | Find ns3 version 3.14 |
commit | commitdiff | tree | snapshot |
2012-06-12 |
jbrv | Add a constructor for probabilist tmgr_trace |
commit | commitdiff | tree | snapshot |
2012-06-12 |
Martin Quinson | that's perfectly fine to not free that memory on proces... |
commit | commitdiff | tree | snapshot |
2012-06-12 |
Marion Guthmuller | model-checker : warnings compilation fixed |
commit | commitdiff | tree | snapshot |
2012-06-12 |
Marion Guthmuller | fix merge conflict |
commit | commitdiff | tree | snapshot |
2012-06-12 |
Marion Guthmuller | model-checker : fix number and address of blocks in... |
commit | commitdiff | tree | snapshot |
next |