# # ChangeLog for Papers/cpp-asm-2012/cpp-2012-asm.bib # # Generated by Trac 1.2 # Dec 11, 2019, 6:52:38 AM Fri, 28 Sep 2012 14:19:25 GMT mulligan [2370] * Papers/cpp-asm-2012/cpp-2012-asm.bib (modified) * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) Added reference to Jaap's ArXiv paper Thu, 27 Sep 2012 15:34:35 GMT mulligan [2362] * Papers/cpp-asm-2012/cpp-2012-asm.bib (modified) * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) 16 pages at last due to all sorts of fiddling. Any more additions ... Tue, 11 Sep 2012 15:10:46 GMT mulligan [2329] * Papers (added) * Papers/cpp-2011 (copied) * Papers/cpp-asm-2012 (copied) * Papers/cpp-asm-2012/cpp-2012-asm.tex (copied) * Papers/cpp-policy-2012 (copied) * Papers/itp-2011 (copied) Added new directory for papers so as to stop them from being spread ... Fri, 15 Jun 2012 11:58:32 GMT mulligan [2095] * src/ASM/CPP2012-asm/cpp-2012-asm.bib (modified) * src/ASM/CPP2012-asm/cpp-2012-asm.tex (modified) Added reference to CompCert and CompCertTSO.
http://cerco.cs.unibo.it/log/Papers/cpp-asm-2012/cpp-2012-asm.bib?format=changelog&rev=3615&limit=100&mode=stop_on_copy
cerco.cs.unibo.it
crawl=CC-MAIN-2019-51
1512
application/http; msgtype=response
sha1:N7OOUIV2OFFSPMDFMDEMTZM7S7EVBBDC
<urn:uuid:c50bcb26-7b77-4d5b-b500-161e0a2bc5d0>
2019-12-11T05:52:38Z
130.136.129.1
application/x-bibtex-text-file
sha1:M4EKT4JB2ZBKYZNMESKBOHV647KJGBOH
<urn:uuid:76049e47-7235-4f14-8a14-514745a10f26>
http://cerco.cs.unibo.it/log/Papers/cpp-asm-2012/cpp-2012-asm.bib?format=changelog&rev=3615&limit=100&mode=stop_on_copy
response
<urn:uuid:4df02fc3-a086-441f-ba4b-dbff5b75f990>
isPartOf: CC-MAIN-2019-51
publisher: Common Crawl
description: Wide crawl of the web for December 2019
operator: Common Crawl Admin (info@commoncrawl.org)
hostname: ip-10-67-67-159.ec2.internal
software: Apache Nutch 1.16 (modified, https://github.com/commoncrawl/nutch/)
robots: checked via crawler-commons 1.1-SNAPSHOT (https://github.com/crawler-commons/crawler-commons)
format: WARC File Format 1.1
conformsTo: http://iipc.github.io/warc-specifications/specifications/warc-format/warc-1.1/