20 Oct
2005
20 Oct
'05
10:15 a.m.
Please, use consistent name conventions. For instance I read
`c-condition', and then ContractC.sdf, and then, prepost.str etc.
I suggest to rename everything as ContractC (contractc) consistently
with the paper.
20 Oct
20 Oct
3:37 p.m.
Akim Demaille <akim(a)lrde.epita.fr> disait le 10/20/05 :
Please, use consistent name conventions. For instance
I read
`c-condition', and then ContractC.sdf, and then, prepost.str etc.
I suggest to rename everything as ContractC (contractc) consistently
with the paper.
Done (r1341-1342).
3:54 p.m.
>> "Olivier" == Olivier Gournet
<olivier.gournet(a)lrde.epita.fr> writes:
Akim Demaille <akim(a)lrde.epita.fr> disait le
10/20/05 :
> Please, use consistent name conventions. For instance I read
> `c-condition', and then ContractC.sdf, and then, prepost.str etc.
>
> I suggest to rename everything as ContractC (contractc) consistently
> with the paper.
Done (r1341-1342).
Thanks!
6764
days inactive
6764
days old
2 comments
2 participants
participants (2)
-
Akim Demaille -
olivier