log the setname operation
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 22 Jan 2010 10:17:45 +0000 (10:17 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 22 Jan 2010 10:17:45 +0000 (10:17 +0000)
commitdb2e08761364c07e0c703b51df770fca7be8301e
tree6d686baf7b8eae29cc054b4ed298f91834101118
parentecf4e0152b6b0a39aa1af8f1330bec1aabad9629
log the setname operation
sliver_vs.py