update verif
authorcompudj <compudj@04897980-b3bd-0310-b5e0-8ef037075253>
Wed, 15 Oct 2008 16:23:02 +0000 (16:23 +0000)
committercompudj <compudj@04897980-b3bd-0310-b5e0-8ef037075253>
Wed, 15 Oct 2008 16:23:02 +0000 (16:23 +0000)
commitfd2d70388aed5d0f115cbfa144dcceee41c7db2f
tree412e30aeedce21089d341d884ba0cd243175e3db
parent38f21d7d70c1dd6274e4c04f217ec8214676a816
update verif

git-svn-id: http://ltt.polymtl.ca/svn@3113 04897980-b3bd-0310-b5e0-8ef037075253
15 files changed:
trunk/verif/examples/buffer.spin [deleted file]
trunk/verif/examples/buffer.spin.bkp1 [deleted file]
trunk/verif/examples/buffer.spin.bkp2 [deleted file]
trunk/verif/examples/buffer.spin.missing_retrieve_count [deleted file]
trunk/verif/examples/run [deleted file]
trunk/verif/examples/run2 [deleted file]
trunk/verif/examples/run3 [deleted file]
trunk/verif/lttng/buffer.spin [new file with mode: 0644]
trunk/verif/lttng/buffer.spin.bkp1 [new file with mode: 0644]
trunk/verif/lttng/buffer.spin.bkp2 [new file with mode: 0644]
trunk/verif/lttng/buffer.spin.bkp3 [new file with mode: 0644]
trunk/verif/lttng/buffer.spin.missing_retrieve_count [new file with mode: 0644]
trunk/verif/lttng/run [new file with mode: 0755]
trunk/verif/lttng/run2 [new file with mode: 0755]
trunk/verif/lttng/run3 [new file with mode: 0755]
This page took 0.024037 seconds and 4 git commands to generate.