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.
Akim Demaille <akim@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).
"Olivier" == Olivier Gournet <olivier.gournet@lrde.epita.fr> writes:
Akim Demaille <akim@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!
participants (2)
-
Akim Demaille -
olivier