branch master updated (8bf076b -> 3a4e080)

[Ludovic Courtès]

civodul pushed a change to branch master
in repository maintenance.

    from 8bf076b  guix-europe: accounting: Add entries.
     new 7d4365e  doc: First stab at a "Secure Supply Chain" paper.
     new f8f4fdc  ccs-2021: Write "Implementation" section.
     new 188700a  ccs-2021: Tweak main sections.
     new 3f7acd4  ccs-2021: Tweak "related work", add proper references.
     new 310fded  ccs-2021: Move "Notes on SHA-1" under "Implementation".
     new cf2a446  ccs-2021: Turn on review mode for good.
     new c8ab0dc  ccs-2021: Discuss in-toto in "Related Work".
     new 30cafc1  ccs-2021: Capitalize section titles.
     new bf219e3  ccs-2021: Write conclusion.
     new b65de52  ccs-2021: Improve "Rationale" section.
     new de546ac  ccs-2021: Complete introductions.
     new 247e1ed  ccs-2021: Add abstract and tweak intro.
     new 2c6e49a  ccs-2021: Proof-read and tweak.
     new 9d4a2d3  ccs-2021: Update ACM categories.
     new 0856eac  ccs-2021: Typos, hyphenation, and other improvements.
     new 807601b  ccs-2021: Tweak "Related Work".
     new 961b7d2  ccs-2021: Give example authentication throughput.
     new 3389137  ccs-2021: Prepare for ICSE resubmission.
     new a7ee36f  icse-2022: Add CCS reviews.
     new b7fce8e  icse-2022: Mention sigstore.
     new 6b81d8a  icse-2022: Link to "Git Cryptography Protocol".
     new 3e6b904  icse-2022: Cite SolarWinds and Executive Order.
     new 5cb0c78  icse-2022: Address CCS reviewer comments.
     new 1896b33  icse-2022: Mention SLSA and Git{Lab,Hub}.
     new 7dc47b1  icse-2022: Final (?) tweaks.
     new b497556  icse-2022: Fix typos.
     new cece5df  icse-2022: Add reviews and response.
     new 778cc57  icse-2022: Repurpose for <Programming> 2022.
     new 7183c5d  programming-2022: Adjust to <Programming> style.
     new 494f203  programming-2022: Expand "Background" section.
     new d882628  programming-2022: Expand "Related Work".
     new dfb8a88  programming-2022: Use a monospace font for code snippets.
     new e87665c  programming-2022: Augment abstract.
     new 314a089  programming-2022: Clarify bits.
     new bc104ed  programming-2022: Mention prior work upfront in the intro.
     new 97b4ebe  programming-2022: Clarify intro commits and downgrade 
protection.
     new c5393d3  programming-2022: Improve rendering of in-line 'prog'.
     new 8b36d9d  programming-2022: Tweak dot options.
     new f56ca7b  programming-2022: Add illustrations.
     new 0dfe6a8  programming-2022: Tweak.
     new 455acc4  doc: Add CiSE article.
     new 00e5ba1  cise-2022: Improve a couple of references.
     new abf147a  cise-2022: Inline two references.
     new 6f64dbd  cise-2022: Remove unused procedures.
     new 5396abd  programming-2022: Add diff document.
     new 96177fb  programming-2022: Fix typos and wording issues reported by 
reviewers.
     new 82cf10a  programming-2022: Add README.md for artifact evaluation.
     new 72faaa0  programming-2022: Distinguish model and implementation.
     new 4cea836  programming-2022: Fix typos.
     new d9ece10  programming-2022: Address comments from Reviewer A.
     new 9fba9c9  doc: Add a few DOIs in .sbib files.
     new b8c7505  programming-2022: Clarify QEMU options, as suggested by 
reviewers.
     new f9bb7bc  programming-2022: Address comments from reviewer C.
     new c065134  programming-2022: Use BibTeX for bibliography; include DOI.
     new 576e6e6  programming-2022: Clean up bibliography entries.
     new 56d74d1  programming-2022: Mention SSH signatures.
     new b99e8b7  programming-2022: Add channels and manifest.
     new 41a60dd  programming-2022: Add DOIs and "Last accessed" notes.
     new 000ec62  programming-2022: Cite actual full-source bootstrap.
     new 8142323  programming-2022: Add acknowledgments.
     new 9ad8775  programming-2022: Add \paperdetails for publication.
     new a820842  programming-2022: More bibliography tweaks.
     new 90c341d  programming-2022: Typographical tweaks.
     new 97c650f  programming-2022: Reference the artifact as requested.
     new 2ffaebe  doc: programming-2022: Add PDF.
     new 3a4e080  Merge branch 'wip-programming-paper'

The 66 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "add" were already present in the repository and have only
been added to this reference.


Summary of changes:
 .gitignore                                         |     7 +
 doc/cise-2022/GNUmakefile                          |    21 +
 doc/cise-2022/cpu-tuning.skb                       |   592 +
 doc/cise-2022/hpc.sbib                             |   101 +
 doc/cise-2022/images/cpu-simd-extensions.tex       |    15 +
 doc/cise-2022/manifest.scm                         |    16 +
 doc/programming-2022/GNUmakefile                   |    21 +
 doc/programming-2022/artifact/README.md            |   300 +
 doc/programming-2022/bibliography.scm              |    74 +
 doc/programming-2022/categories.tex                |    17 +
 doc/programming-2022/ccs-reviews.txt               |   173 +
 doc/programming-2022/channels.scm                  |    11 +
 doc/programming-2022/diff.skb                      |    33 +
 doc/programming-2022/icse-response.txt             |    88 +
 doc/programming-2022/icse-reviews.txt              |   385 +
 doc/programming-2022/images/commit-graph-intro.dot |    21 +
 doc/programming-2022/images/commit-graph.dot       |    16 +
 .../images/github-verification-statuses.png        |   Bin 0 -> 196137 bytes
 doc/programming-2022/images/guix-build-daemon.tex  |    45 +
 .../images/guix-package-workflow.tex               |    50 +
 doc/programming-2022/manifest.scm                  |     8 +
 doc/programming-2022/programming.cls               |   949 ++
 doc/programming-2022/security.sbib                 |   447 +
 doc/programming-2022/supply-chain.20220615.pdf     |   Bin 0 -> 684463 bytes
 doc/programming-2022/supply-chain.20220615.pdf.asc | 13707 +++++++++++++++++++
 doc/programming-2022/supply-chain.skb              |  1469 ++
 doc/programming-2022/supply-chain.submitted.skb    |  1374 ++
 doc/reppar-2015/reppar.sbib                        |     2 +
 28 files changed, 19942 insertions(+)
 create mode 100644 doc/cise-2022/GNUmakefile
 create mode 100644 doc/cise-2022/cpu-tuning.skb
 create mode 100644 doc/cise-2022/hpc.sbib
 create mode 100644 doc/cise-2022/images/cpu-simd-extensions.tex
 create mode 100644 doc/cise-2022/manifest.scm
 create mode 100644 doc/programming-2022/GNUmakefile
 create mode 100644 doc/programming-2022/artifact/README.md
 create mode 100644 doc/programming-2022/bibliography.scm
 create mode 100644 doc/programming-2022/categories.tex
 create mode 100644 doc/programming-2022/ccs-reviews.txt
 create mode 100644 doc/programming-2022/channels.scm
 create mode 100644 doc/programming-2022/diff.skb
 create mode 100644 doc/programming-2022/icse-response.txt
 create mode 100644 doc/programming-2022/icse-reviews.txt
 create mode 100644 doc/programming-2022/images/commit-graph-intro.dot
 create mode 100644 doc/programming-2022/images/commit-graph.dot
 create mode 100644 doc/programming-2022/images/github-verification-statuses.png
 create mode 100644 doc/programming-2022/images/guix-build-daemon.tex
 create mode 100644 doc/programming-2022/images/guix-package-workflow.tex
 create mode 100644 doc/programming-2022/manifest.scm
 create mode 100644 doc/programming-2022/programming.cls
 create mode 100644 doc/programming-2022/security.sbib
 create mode 100644 doc/programming-2022/supply-chain.20220615.pdf
 create mode 100644 doc/programming-2022/supply-chain.20220615.pdf.asc
 create mode 100644 doc/programming-2022/supply-chain.skb
 create mode 100644 doc/programming-2022/supply-chain.submitted.skb