-
Notifications
You must be signed in to change notification settings - Fork 2
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
126 changed files
with
4,444 additions
and
0 deletions.
There are no files selected for viewing
Binary file added
BIN
+884 KB
..._root/bj/102/hs/9687/bj102hs9687/v0001/data/content/eric-smith-dissertation-augmented.pdf
Binary file not shown.
Binary file added
BIN
+977 KB
...ab_storage_root/bj/102/hs/9687/bj102hs9687/v0001/data/content/eric-smith-dissertation.pdf
Binary file not shown.
20 changes: 20 additions & 0 deletions
20
...ures/moab_storage_root/bj/102/hs/9687/bj102hs9687/v0001/data/metadata/contentMetadata.xml
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,20 @@ | ||
| <?xml version="1.0"?> | ||
| <contentMetadata type="etd" objectId="druid:bj102hs9687"> | ||
| <resource type="main-original" data="content" id="main"> | ||
| <attr name="label">Body of dissertation (as submitted)</attr> | ||
| <file deliver="no" preserve="yes" size="1000217" mimetype="application/pdf" id="eric-smith-dissertation.pdf" shelve="yes"> | ||
| <checksum type="MD5">aead2f6f734355c59af2d5b2689e4fb3</checksum> | ||
| <checksum type="SHA-1">22dc6464e25dc9a7d600b1de6e3848bf63970595</checksum> | ||
| <checksum type="SHA-256">e49957d53fb2a46e3652f4d399bd14d019600cf496b98d11ebcdf2d10a8ffd2f</checksum> | ||
| </file> | ||
| </resource> | ||
| <resource type="main-augmented" objectId="druid:kw095zh6093" data="content" id="main"> | ||
| <attr name="label">Body of dissertation</attr> | ||
| <file deliver="yes" preserve="yes" size="905566" mimetype="application/pdf" id="eric-smith-dissertation-augmented.pdf" shelve="yes"> | ||
| <location type="url">https://stacks.stanford.edu/file/druid:bj102hs9687/eric-smith-dissertation-augmented.pdf</location> | ||
| <checksum type="MD5">93802f1a639bc9215c6336ff5575ee22</checksum> | ||
| <checksum type="SHA-1">32f7129a81830004f0360424525f066972865221</checksum> | ||
| <checksum type="SHA-256">a67276820853ddd839ba614133f1acd7330ece13f1082315d40219bed10009de</checksum> | ||
| </file> | ||
| </resource> | ||
| </contentMetadata> |
74 changes: 74 additions & 0 deletions
74
...ixtures/moab_storage_root/bj/102/hs/9687/bj102hs9687/v0001/data/metadata/descMetadata.xml
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,74 @@ | ||
|
|
||
| <mods xmlns="http://www.loc.gov/mods/v3" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" version="3.3" xsi:schemaLocation="http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-3.xsd"> | ||
| <titleInfo> | ||
| <title>Axe, an automated formal equivalence checking tool for programs</title> | ||
| </titleInfo> | ||
| <name type="personal"> | ||
| <namePart>Smith, Eric Whitman.</namePart> | ||
| <role> | ||
| <roleTerm authority="marcrelator" type="text">creator</roleTerm> | ||
| </role> | ||
| </name> | ||
| <name type="personal"> | ||
| <namePart>Dill, David</namePart> | ||
| <role> | ||
| <roleTerm type="text">primary advisor.</roleTerm> | ||
| </role> | ||
| <role> | ||
| <roleTerm authority="marcrelator" type="code">ths</roleTerm> | ||
| </role> | ||
| </name> | ||
| <name type="personal"> | ||
| <namePart>Engler, Dawson R.</namePart> | ||
| <role> | ||
| <roleTerm type="text">advisor.</roleTerm> | ||
| </role> | ||
| <role> | ||
| <roleTerm authority="marcrelator" type="code">ths</roleTerm> | ||
| </role> | ||
| </name> | ||
| <name type="personal"> | ||
| <namePart>Mitchell, John</namePart> | ||
| <role> | ||
| <roleTerm type="text">advisor.</roleTerm> | ||
| </role> | ||
| <role> | ||
| <roleTerm authority="marcrelator" type="code">ths</roleTerm> | ||
| </role> | ||
| </name> | ||
| <name type="corporate"> | ||
| <namePart>Stanford University</namePart> | ||
| <namePart>Computer Science Dept.</namePart> | ||
| </name> | ||
| <typeOfResource>text</typeOfResource> | ||
| <genre authority="marcgt">theses</genre> | ||
| <originInfo> | ||
| <place> | ||
| <placeTerm authority="marccountry" type="code">xx</placeTerm> | ||
| </place> | ||
| <dateIssued>2011</dateIssued> | ||
| <dateIssued encoding="marc" keyDate="yes">2011</dateIssued> | ||
| <issuance>monographic</issuance> | ||
| </originInfo> | ||
| <language> | ||
| <languageTerm authority="iso639-2b" type="code">eng</languageTerm> | ||
| </language> | ||
| <physicalDescription> | ||
| <form authority="marcform">electronic</form> | ||
| <form authority="gmd">electronic resource</form> | ||
| <extent>1 online resource.</extent> | ||
| </physicalDescription> | ||
| <abstract>This dissertation describes Axe, an automated formal verification tool for proving equivalence of programs. Axe has been used to verify real-world Java implementations of cryptographic operations, including block ciphers, stream ciphers, and cryptographic hash functions. Axe proves the bit-for-bit equivalence of the outputs of two programs, one of which may be a formal, mathematical specification. To do so, Axe relies on a novel combination of techniques from combinational equivalence checking and inductive theorem proving. First, the loops in some programs can be completely unrolled, creating large loop-free terms. Axe proves the equivalence of such terms using a phased approach, including aggressive word-level simplifications, bit-blasting, test-case-based identification of internal equivalences, and ``sweeping and merging.'' For loops that cannot be unrolled, Axe uses execution traces to detect loop properties, including loop invariants for single loops and connection relationships between corresponding loops. Axe proves such properties inductively. In many cases, synchronizing transformations must be performed to align the loop structures of the programs being compared; Axe can perform and verify a variety of these transformations.</abstract> | ||
| <note displayLabel="statement of responsibility">Eric Whitman Smith.</note> | ||
| <note>Submitted to the Department of Computer Science.</note> | ||
| <note>Thesis (Ph.D.)--Stanford University, 2011.</note> | ||
| <identifier type="uri">http://purl.stanford.edu/bj102hs9687</identifier> | ||
| <location> | ||
| <url usage="primary display">http://purl.stanford.edu/bj102hs9687</url> | ||
| </location> | ||
| <recordInfo> | ||
| <recordContentSource authority="marcorg">CSt</recordContentSource> | ||
| <recordCreationDate encoding="marc">110721</recordCreationDate> | ||
| <recordIdentifier source="SIRSI">a9238371</recordIdentifier> | ||
| </recordInfo> | ||
| </mods> |
15 changes: 15 additions & 0 deletions
15
...res/moab_storage_root/bj/102/hs/9687/bj102hs9687/v0001/data/metadata/identityMetadata.xml
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,15 @@ | ||
|
|
||
| <identityMetadata> | ||
| <objectId>druid:bj102hs9687</objectId> | ||
| <objectType>item</objectType> | ||
| <objectLabel></objectLabel> | ||
| <objectCreator>DOR</objectCreator> | ||
| <citationTitle>Axe: An Automated Formal Equivalence Checking Tool for Programs</citationTitle> | ||
| <citationCreator>Smith, Eric Whitman</citationCreator> | ||
| <otherId name="dissertationid">0000001024</otherId> | ||
| <otherId name="catkey">9238371</otherId> | ||
| <otherId name="uuid"></otherId> | ||
| <agreementId>druid:ct692vv3660</agreementId> | ||
| <objectAdminClass>ETDs</objectAdminClass> | ||
| <tag>ETD : Dissertation</tag> | ||
| </identityMetadata> |
8 changes: 8 additions & 0 deletions
8
...s/moab_storage_root/bj/102/hs/9687/bj102hs9687/v0001/data/metadata/provenanceMetadata.xml
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,8 @@ | ||
|
|
||
| <provenanceMetadata objectId="druid:bj102hs9687"> | ||
| <agent name="DOR"> | ||
| <what object="druid:bj102hs9687"> | ||
| <event when="2011-10-28T01:24:34-07:00" who="DOR-accessionWF">DOR Common Accessioning completed</event> | ||
| </what> | ||
| </agent> | ||
| </provenanceMetadata> |
6 changes: 6 additions & 0 deletions
6
...moab_storage_root/bj/102/hs/9687/bj102hs9687/v0001/data/metadata/relationshipMetadata.xml
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,6 @@ | ||
|
|
||
| <rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"> | ||
| <rdf:Description rdf:about="info:fedora/druid:bj102hs9687"> | ||
| <hasModel xmlns="info:fedora/fedora-system:def/model#" rdf:resource="info:fedora/afmodel:Etd"></hasModel> | ||
| </rdf:Description> | ||
| </rdf:RDF> |
21 changes: 21 additions & 0 deletions
21
...tures/moab_storage_root/bj/102/hs/9687/bj102hs9687/v0001/data/metadata/rightsMetadata.xml
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,21 @@ | ||
| <?xml version="1.0"?> | ||
| <rightsMetadata objectId="druid:bj102hs9687"> | ||
| <copyright> | ||
| <human>(c) Copyright 2011 by Eric Whitman Smith</human> | ||
| </copyright> | ||
| <access type="discover"> | ||
| <machine> | ||
| <world/> | ||
| </machine> | ||
| </access> | ||
| <access type="read"> | ||
| <machine> | ||
| <group>stanford</group> | ||
| <embargoReleaseDate>2013-06-02</embargoReleaseDate> | ||
| </machine> | ||
| </access> | ||
| <use> | ||
| <machine type="creativeCommons">none</machine> | ||
| <human type="creativeCommons">no Creative Commons (CC) license</human> | ||
| </use> | ||
| </rightsMetadata> |
25 changes: 25 additions & 0 deletions
25
...es/moab_storage_root/bj/102/hs/9687/bj102hs9687/v0001/data/metadata/technicalMetadata.xml
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,25 @@ | ||
|
|
||
| <jhove xmlns="http://hul.harvard.edu/ois/xml/ns/jhove" xmlns:mix="http://www.loc.gov/mix/v10" xmlns:textmd="info:lc/xmlns/textMD-v3" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" date="2009-08-06" name="JhoveToolkit" release="1.0" xsi:schemaLocation="http://hul.harvard.edu/ois/xml/ns/jhove http://cosimo.stanford.edu/standards/jhove/v1/jhove.xsd"> | ||
| <date>2011-10-28T01:15:16-07:00</date> | ||
| <repInfo uri="eric-smith-dissertation-augmented.pdf"> | ||
| <reportingModule date="2009-05-22" release="1.8">PDF-hul</reportingModule> | ||
| <format>PDF</format> | ||
| <version>1.4</version> | ||
| <status>Well-Formed and valid</status> | ||
| <sigMatch> | ||
| <module>PDF-hul</module> | ||
| </sigMatch> | ||
| <mimeType>application/pdf</mimeType> | ||
| <checksums></checksums> | ||
| </repInfo> | ||
| <repInfo uri="eric-smith-dissertation.pdf"> | ||
| <reportingModule date="2009-05-22" release="1.8">PDF-hul</reportingModule> | ||
| <format>PDF</format> | ||
| <status>Not well-formed</status> | ||
| <sigMatch> | ||
| <module>PDF-hul</module> | ||
| </sigMatch> | ||
| <mimeType>application/pdf</mimeType> | ||
| <checksums></checksums> | ||
| </repInfo> | ||
| </jhove> |
5 changes: 5 additions & 0 deletions
5
...ures/moab_storage_root/bj/102/hs/9687/bj102hs9687/v0001/data/metadata/versionMetadata.xml
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,5 @@ | ||
| <versionMetadata objectId="druid:bj102hs9687"> | ||
| <version tag="1.0.0" versionId="1"> | ||
| <description>Initial Version</description> | ||
| </version> | ||
| </versionMetadata> |
46 changes: 46 additions & 0 deletions
46
.../moab_storage_root/bj/102/hs/9687/bj102hs9687/v0001/manifests/fileInventoryDifference.xml
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,46 @@ | ||
| <?xml version="1.0" encoding="UTF-8"?> | ||
| <fileInventoryDifference objectId="druid:bj102hs9687" differenceCount="9" basis="v0" other="v1" reportDatetime="2013-01-25T01:33:08Z"> | ||
| <fileGroupDifference groupId="content" differenceCount="2" identical="0" renamed="0" modified="0" deleted="0" added="2"> | ||
| <subset change="identical" count="0"/> | ||
| <subset change="renamed" count="0"/> | ||
| <subset change="modified" count="0"/> | ||
| <subset change="deleted" count="0"/> | ||
| <subset change="added" count="2"> | ||
| <file change="added" basisPath="" otherPath="eric-smith-dissertation-augmented.pdf"> | ||
| <fileSignature size="905566" md5="93802f1a639bc9215c6336ff5575ee22" sha1="32f7129a81830004f0360424525f066972865221" sha256="a67276820853ddd839ba614133f1acd7330ece13f1082315d40219bed10009de"/> | ||
| </file> | ||
| <file change="added" basisPath="" otherPath="eric-smith-dissertation.pdf"> | ||
| <fileSignature size="1000217" md5="aead2f6f734355c59af2d5b2689e4fb3" sha1="22dc6464e25dc9a7d600b1de6e3848bf63970595" sha256="e49957d53fb2a46e3652f4d399bd14d019600cf496b98d11ebcdf2d10a8ffd2f"/> | ||
| </file> | ||
| </subset> | ||
| </fileGroupDifference> | ||
| <fileGroupDifference groupId="metadata" differenceCount="7" identical="0" renamed="0" modified="0" deleted="0" added="7"> | ||
| <subset change="identical" count="0"/> | ||
| <subset change="renamed" count="0"/> | ||
| <subset change="modified" count="0"/> | ||
| <subset change="deleted" count="0"/> | ||
| <subset change="added" count="7"> | ||
| <file change="added" basisPath="" otherPath="contentMetadata.xml"> | ||
| <fileSignature size="1325" md5="9db4638735fe11727c5f069abe183681" sha1="3265a920f3b5f33958b437be72f55de29ee62fe7" sha256="3943012e4ffedd6534286b2d3b2db1434fa644046fa1601339b4ea8aa29b94ed"/> | ||
| </file> | ||
| <file change="added" basisPath="" otherPath="descMetadata.xml"> | ||
| <fileSignature size="3882" md5="6cc0428f13bba3b6858c42ec79f8290f" sha1="96d1550f33316925dd0c48b44c4fd477f5f1d87c" sha256="5323ad22afe2931a15a035214db13c51dd646955c1925d9b438d7bf5d1020b85"/> | ||
| </file> | ||
| <file change="added" basisPath="" otherPath="identityMetadata.xml"> | ||
| <fileSignature size="588" md5="d1453cc9f8484cf10ed2664d468ce98d" sha1="83269fedcb94f84eb311273be8c35a7546e98e0f" sha256="a9a981434a8f458c012d6fc1cd2918c8f1ac550791c21397cf019cbbb7ba6e5f"/> | ||
| </file> | ||
| <file change="added" basisPath="" otherPath="provenanceMetadata.xml"> | ||
| <fileSignature size="265" md5="ee796ea9e973260bfdca8722f0d5fafe" sha1="4e1414252b81c5e2365ada2bc5575fa67b826769" sha256="193fb3b9b7b899a7924dcada7510c705c20878d39d4e69841d9a73bcd834ab7c"/> | ||
| </file> | ||
| <file change="added" basisPath="" otherPath="relationshipMetadata.xml"> | ||
| <fileSignature size="271" md5="c51d32995620b92e415f47052549bcd3" sha1="446b64a67e790a7c8dc3da7c26d0f7b362b0c887" sha256="d37ea0759b029ea569c1691dab6d0582404ce7652ed09416605913ffb8509791"/> | ||
| </file> | ||
| <file change="added" basisPath="" otherPath="rightsMetadata.xml"> | ||
| <fileSignature size="553" md5="744ff981da6ef762d890c0e364dc652d" sha1="f1d838952ca69e68e50ede33b3228c6f9533213a" sha256="935f91c58d5948dfcada995e99ef12480aa004a80fe5a81960b8c026665ad486"/> | ||
| </file> | ||
| <file change="added" basisPath="" otherPath="technicalMetadata.xml"> | ||
| <fileSignature size="1113" md5="5cd1a5ed133365639e7a5d2e5ca349b0" sha1="eece969f398722a2380f2ed140f8df81c2ef7ad8" sha256="684cc6ee90813644a97274b4a275ec4dbc0ac619f99b4f0f856a4371436af445"/> | ||
| </file> | ||
| </subset> | ||
| </fileGroupDifference> | ||
| </fileInventoryDifference> |
21 changes: 21 additions & 0 deletions
21
...xtures/moab_storage_root/bj/102/hs/9687/bj102hs9687/v0001/manifests/manifestInventory.xml
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,21 @@ | ||
| <?xml version="1.0" encoding="UTF-8"?> | ||
| <fileInventory type="manifests" objectId="druid:bj102hs9687" versionId="1" inventoryDatetime="2013-01-25T01:33:08Z" fileCount="4" byteCount="12830" blockCount="15"> | ||
| <fileGroup groupId="manifests" dataSource="/services-disk02/sdr2objects/bj/102/hs/9687/bj102hs9687/v0001/manifests" fileCount="4" byteCount="12830" blockCount="15"> | ||
| <file> | ||
| <fileSignature size="3535" md5="441b7abafed08d8a56728a4992f816ed" sha1="73ac9198e601f73a4fe9ed221e6468fe1ca796a0" sha256="dea569800f07bbde37fa62d837899e5a876e70aa989a8e97c6dd99ef43ad270a"/> | ||
| <fileInstance path="fileInventoryDifference.xml" datetime="2013-01-25T01:33:08Z"/> | ||
| </file> | ||
| <file> | ||
| <fileSignature size="2836" md5="b5f0a2fdfad70199af25655476760d5a" sha1="807842fbc20e2151fcb30172ac76657f04977c8e" sha256="8c77395ece7d6f802037e20b4fdcc2612b6bf96377db17b65072e6f7f2cbe81f"/> | ||
| <fileInstance path="signatureCatalog.xml" datetime="2013-01-25T01:33:08Z"/> | ||
| </file> | ||
| <file> | ||
| <fileSignature size="3181" md5="5845d7827faa642be6d206423e3aa676" sha1="72f3d759d3454927569e2d0de25e89a3a9633eaf" sha256="bf6397ed9b2b426e55de45c426d3554328b383c80af85212600fe16a24a3df06"/> | ||
| <fileInstance path="versionAdditions.xml" datetime="2013-01-25T01:32:57Z"/> | ||
| </file> | ||
| <file> | ||
| <fileSignature size="3278" md5="7ae4c05aaae5c80db3d5d58f0afcce16" sha1="a7bc97578b90295f90f46b972db492ddb324d0a6" sha256="7808973b4164d29e05252d3295e1d2b0bea09494c4556a45eabf757ad997c496"/> | ||
| <fileInstance path="versionInventory.xml" datetime="2013-01-25T01:32:57Z"/> | ||
| </file> | ||
| </fileGroup> | ||
| </fileInventory> |
30 changes: 30 additions & 0 deletions
30
...ixtures/moab_storage_root/bj/102/hs/9687/bj102hs9687/v0001/manifests/signatureCatalog.xml
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,30 @@ | ||
| <?xml version="1.0" encoding="UTF-8"?> | ||
| <signatureCatalog objectId="druid:bj102hs9687" versionId="1" catalogDatetime="2013-01-25T01:33:08Z" fileCount="9" byteCount="1913780" blockCount="1874"> | ||
| <entry originalVersion="1" groupId="content" storagePath="eric-smith-dissertation-augmented.pdf"> | ||
| <fileSignature size="905566" md5="93802f1a639bc9215c6336ff5575ee22" sha1="32f7129a81830004f0360424525f066972865221" sha256="a67276820853ddd839ba614133f1acd7330ece13f1082315d40219bed10009de"/> | ||
| </entry> | ||
| <entry originalVersion="1" groupId="content" storagePath="eric-smith-dissertation.pdf"> | ||
| <fileSignature size="1000217" md5="aead2f6f734355c59af2d5b2689e4fb3" sha1="22dc6464e25dc9a7d600b1de6e3848bf63970595" sha256="e49957d53fb2a46e3652f4d399bd14d019600cf496b98d11ebcdf2d10a8ffd2f"/> | ||
| </entry> | ||
| <entry originalVersion="1" groupId="metadata" storagePath="contentMetadata.xml"> | ||
| <fileSignature size="1325" md5="9db4638735fe11727c5f069abe183681" sha1="3265a920f3b5f33958b437be72f55de29ee62fe7" sha256="3943012e4ffedd6534286b2d3b2db1434fa644046fa1601339b4ea8aa29b94ed"/> | ||
| </entry> | ||
| <entry originalVersion="1" groupId="metadata" storagePath="descMetadata.xml"> | ||
| <fileSignature size="3882" md5="6cc0428f13bba3b6858c42ec79f8290f" sha1="96d1550f33316925dd0c48b44c4fd477f5f1d87c" sha256="5323ad22afe2931a15a035214db13c51dd646955c1925d9b438d7bf5d1020b85"/> | ||
| </entry> | ||
| <entry originalVersion="1" groupId="metadata" storagePath="identityMetadata.xml"> | ||
| <fileSignature size="588" md5="d1453cc9f8484cf10ed2664d468ce98d" sha1="83269fedcb94f84eb311273be8c35a7546e98e0f" sha256="a9a981434a8f458c012d6fc1cd2918c8f1ac550791c21397cf019cbbb7ba6e5f"/> | ||
| </entry> | ||
| <entry originalVersion="1" groupId="metadata" storagePath="provenanceMetadata.xml"> | ||
| <fileSignature size="265" md5="ee796ea9e973260bfdca8722f0d5fafe" sha1="4e1414252b81c5e2365ada2bc5575fa67b826769" sha256="193fb3b9b7b899a7924dcada7510c705c20878d39d4e69841d9a73bcd834ab7c"/> | ||
| </entry> | ||
| <entry originalVersion="1" groupId="metadata" storagePath="relationshipMetadata.xml"> | ||
| <fileSignature size="271" md5="c51d32995620b92e415f47052549bcd3" sha1="446b64a67e790a7c8dc3da7c26d0f7b362b0c887" sha256="d37ea0759b029ea569c1691dab6d0582404ce7652ed09416605913ffb8509791"/> | ||
| </entry> | ||
| <entry originalVersion="1" groupId="metadata" storagePath="rightsMetadata.xml"> | ||
| <fileSignature size="553" md5="744ff981da6ef762d890c0e364dc652d" sha1="f1d838952ca69e68e50ede33b3228c6f9533213a" sha256="935f91c58d5948dfcada995e99ef12480aa004a80fe5a81960b8c026665ad486"/> | ||
| </entry> | ||
| <entry originalVersion="1" groupId="metadata" storagePath="technicalMetadata.xml"> | ||
| <fileSignature size="1113" md5="5cd1a5ed133365639e7a5d2e5ca349b0" sha1="eece969f398722a2380f2ed140f8df81c2ef7ad8" sha256="684cc6ee90813644a97274b4a275ec4dbc0ac619f99b4f0f856a4371436af445"/> | ||
| </entry> | ||
| </signatureCatalog> |
43 changes: 43 additions & 0 deletions
43
...ixtures/moab_storage_root/bj/102/hs/9687/bj102hs9687/v0001/manifests/versionAdditions.xml
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,43 @@ | ||
| <?xml version="1.0" encoding="UTF-8"?> | ||
| <fileInventory type="additions" objectId="druid:bj102hs9687" versionId="1" inventoryDatetime="2013-01-25T01:32:57Z" fileCount="9" byteCount="1913780" blockCount="1874"> | ||
| <fileGroup groupId="content" dataSource="" fileCount="2" byteCount="1905783" blockCount="1862"> | ||
| <file> | ||
| <fileSignature size="905566" md5="93802f1a639bc9215c6336ff5575ee22" sha1="32f7129a81830004f0360424525f066972865221" sha256="a67276820853ddd839ba614133f1acd7330ece13f1082315d40219bed10009de"/> | ||
| <fileInstance path="eric-smith-dissertation-augmented.pdf" datetime="2011-09-21T23:39:32Z"/> | ||
| </file> | ||
| <file> | ||
| <fileSignature size="1000217" md5="aead2f6f734355c59af2d5b2689e4fb3" sha1="22dc6464e25dc9a7d600b1de6e3848bf63970595" sha256="e49957d53fb2a46e3652f4d399bd14d019600cf496b98d11ebcdf2d10a8ffd2f"/> | ||
| <fileInstance path="eric-smith-dissertation.pdf" datetime="2011-09-21T23:39:32Z"/> | ||
| </file> | ||
| </fileGroup> | ||
| <fileGroup groupId="metadata" dataSource="" fileCount="7" byteCount="7997" blockCount="12"> | ||
| <file> | ||
| <fileSignature size="1325" md5="9db4638735fe11727c5f069abe183681" sha1="3265a920f3b5f33958b437be72f55de29ee62fe7" sha256="3943012e4ffedd6534286b2d3b2db1434fa644046fa1601339b4ea8aa29b94ed"/> | ||
| <fileInstance path="contentMetadata.xml" datetime="2013-01-25T01:32:57Z"/> | ||
| </file> | ||
| <file> | ||
| <fileSignature size="3882" md5="6cc0428f13bba3b6858c42ec79f8290f" sha1="96d1550f33316925dd0c48b44c4fd477f5f1d87c" sha256="5323ad22afe2931a15a035214db13c51dd646955c1925d9b438d7bf5d1020b85"/> | ||
| <fileInstance path="descMetadata.xml" datetime="2011-12-06T00:29:15Z"/> | ||
| </file> | ||
| <file> | ||
| <fileSignature size="588" md5="d1453cc9f8484cf10ed2664d468ce98d" sha1="83269fedcb94f84eb311273be8c35a7546e98e0f" sha256="a9a981434a8f458c012d6fc1cd2918c8f1ac550791c21397cf019cbbb7ba6e5f"/> | ||
| <fileInstance path="identityMetadata.xml" datetime="2011-12-06T00:29:15Z"/> | ||
| </file> | ||
| <file> | ||
| <fileSignature size="265" md5="ee796ea9e973260bfdca8722f0d5fafe" sha1="4e1414252b81c5e2365ada2bc5575fa67b826769" sha256="193fb3b9b7b899a7924dcada7510c705c20878d39d4e69841d9a73bcd834ab7c"/> | ||
| <fileInstance path="provenanceMetadata.xml" datetime="2011-12-06T00:29:15Z"/> | ||
| </file> | ||
| <file> | ||
| <fileSignature size="271" md5="c51d32995620b92e415f47052549bcd3" sha1="446b64a67e790a7c8dc3da7c26d0f7b362b0c887" sha256="d37ea0759b029ea569c1691dab6d0582404ce7652ed09416605913ffb8509791"/> | ||
| <fileInstance path="relationshipMetadata.xml" datetime="2011-12-06T00:29:15Z"/> | ||
| </file> | ||
| <file> | ||
| <fileSignature size="553" md5="744ff981da6ef762d890c0e364dc652d" sha1="f1d838952ca69e68e50ede33b3228c6f9533213a" sha256="935f91c58d5948dfcada995e99ef12480aa004a80fe5a81960b8c026665ad486"/> | ||
| <fileInstance path="rightsMetadata.xml" datetime="2011-12-06T00:29:15Z"/> | ||
| </file> | ||
| <file> | ||
| <fileSignature size="1113" md5="5cd1a5ed133365639e7a5d2e5ca349b0" sha1="eece969f398722a2380f2ed140f8df81c2ef7ad8" sha256="684cc6ee90813644a97274b4a275ec4dbc0ac619f99b4f0f856a4371436af445"/> | ||
| <fileInstance path="technicalMetadata.xml" datetime="2011-12-06T00:29:15Z"/> | ||
| </file> | ||
| </fileGroup> | ||
| </fileInventory> |
Oops, something went wrong.