]> xenbits.xensource.com Git - libvirt.git/commit
projects / libvirt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3ce55d2) | patch
Added an optional OCaml+CIL test program for mutex lock validation
authorDaniel P. Berrange <berrange@redhat.com>
Tue, 19 May 2009 10:17:17 +0000 (10:17 +0000)
committerDaniel P. Berrange <berrange@redhat.com>
Tue, 19 May 2009 10:17:17 +0000 (10:17 +0000)
commit6962a2dd7e3530317a24077760b64df69e2c0961
treed13458b4d2d245f641c9ed204ad8fedcafeb1c9btree
parent3ce55d22e42a487076dd9cbfdf2086a91051a382commit | diff
Added an optional OCaml+CIL test program for mutex lock validation
.hgignore diff | blob | blame | history
ChangeLog diff | blob | blame | history
configure.in diff | blob | blame | history
src/.cvsignore diff | blob | blame | history
src/.gitignore diff | blob | blame | history
src/Makefile.am diff | blob | blame | history
tests/.cvsignore diff | blob | blame | history
tests/.gitignore diff | blob | blame | history
tests/Makefile.am diff | blob | blame | history
tests/object-locking.ml [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.