AND Public Git Repository - simgrid.git/history

2010-10-11	alegrand	Indent include and src using this command:	blob \| commitdiff \| raw
2010-08-05	cristianrosa	Show more information on dead-lock'ed transitions	blob \| commitdiff \| raw \| diff to current
2010-08-03	cristianrosa	Tweak the handling of WaitAny transitions. It should...	blob \| commitdiff \| raw \| diff to current
2010-07-29	cristianrosa	Fix a bug in the MC that enables running programs that...	blob \| commitdiff \| raw \| diff to current
2010-05-26	cristianrosa	Transform random transitions into multiple // transitio...	blob \| commitdiff \| raw \| diff to current
2010-05-26	cristianrosa	Add MC support for processes with multiple enabled...	blob \| commitdiff \| raw \| diff to current
2010-05-20	cristianrosa	Rework MC transition interception/creation. Now it...	blob \| commitdiff \| raw \| diff to current
2010-05-17	cristianrosa	Add dead-lock detection to MC	blob \| commitdiff \| raw \| diff to current
2010-05-12	cristianrosa	Bugfix: fix memory leak related to transition creation...	blob \| commitdiff \| raw \| diff to current
2010-05-11	cristianrosa	Add int MC_random(int min, int max) function that will...	blob \| commitdiff \| raw \| diff to current
2010-05-05	mquinson	Add the model-checker to the build tree. It's not used yet	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches