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)
commit7967c719e77811769b5435e1be2d927926092c50
treee99e9d0c5decdc9d7eb54ec55997aad726287ece
parent1c65fa4359cacd1a3904e3397cc7add3575adc88
Setting tag sfa-0.9-7
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)