Fix comment on top of oomem two writes model
authorMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Wed, 3 Jun 2009 20:41:49 +0000 (16:41 -0400)
committerMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Wed, 3 Jun 2009 20:41:49 +0000 (16:41 -0400)
commitb245dd5c50e7b1c66073d41edc44a09dc1b6c9f2
tree1ef9e47d1e620cf0c43fd3ab839f01997dd0ec2b
parentf2b3a82d7569463cc9b28bdd0943f06984197b6a
Fix comment on top of oomem two writes model

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
formal-model/ooomem-two-writes/mem.spin
This page took 0.024557 seconds and 4 git commands to generate.