7 Commits

Author SHA1 Message Date
Jerome Guitton
7fd7423486 Resync.
git-svn-id: svn+ssh://scm.forge.open-do.org/scmrepos/svn/couverture/trunk/couverture@3855 020d506d-db78-4e55-b2a8-6c851f84c332
2012-02-08 15:27:44 +00:00
Jerome Guitton
e82308f1bb Resync.
git-svn-id: svn+ssh://scm.forge.open-do.org/scmrepos/svn/couverture/trunk/couverture@3063 020d506d-db78-4e55-b2a8-6c851f84c332
2011-02-28 18:08:48 +00:00
tmonjalo
65f767ffac doc: add an howto contribute to Qemu (written in french)
git-svn-id: svn+ssh://scm.forge.open-do.org/scmrepos/svn/couverture/trunk/couverture@2645 020d506d-db78-4e55-b2a8-6c851f84c332
2010-11-09 16:35:33 +00:00
Jerome Guitton
1263f01521 Resync doc
git-svn-id: svn+ssh://scm.forge.open-do.org/scmrepos/svn/couverture/trunk/couverture@2614 020d506d-db78-4e55-b2a8-6c851f84c332
2010-10-25 15:12:07 +00:00
Olivier Hainque
1d6326bc84 File updated version of TPT's technical report.
git-svn-id: svn+ssh://scm.forge.open-do.org/scmrepos/svn/couverture/trunk/couverture@2607 020d506d-db78-4e55-b2a8-6c851f84c332
2010-10-22 14:12:21 +00:00
Olivier Hainque
b00d159116 File new version of OBC/MCDC tech report, and current version
of TPT's tech report on output transformations for partitioned
applications.

J630-010



git-svn-id: svn+ssh://scm.forge.open-do.org/scmrepos/svn/couverture/trunk/couverture@2606 020d506d-db78-4e55-b2a8-6c851f84c332
2010-10-22 09:38:28 +00:00
Olivier Hainque
8d1198ee12 Move technical report on obc/mcdc formalization to
to dedicated subdir.

J630-010



git-svn-id: svn+ssh://scm.forge.open-do.org/scmrepos/svn/couverture/trunk/couverture@2580 020d506d-db78-4e55-b2a8-6c851f84c332
2010-09-28 10:30:27 +00:00