Setting tag sfa-0.9-7 sfa-0.9-7
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 5 Jan 2010 15:19:17 +0000 (15:19 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 5 Jan 2010 15:19:17 +0000 (15:19 +0000)
checkpointing
this is believed to pass the tests; among other things:
reworked configuration based on the myplc config with xml skeleton (no more sfa_config)


No differences found