Skip to content

History

New page

Revisions

  • Updated List of Proof Repositories (markdown)

    @kornelski kornelski committed Oct 24, 2024
    5a96884

  • Fix dead link to web.crev.dev users page

    @kpreid kpreid committed Aug 17, 2023
    f2b9cb5

  • Add my proof repo

    @richard-uk1 richard-uk1 committed Dec 14, 2021
    f1499c7

  • Add my own proof repo

    @yvt yvt committed Sep 18, 2021
    537ca71

  • Grammatical fixes

    @yvt yvt committed Sep 12, 2021
    3606198

  • Updated Home (markdown)

    @kornelski kornelski committed Mar 9, 2021
    b7e1a63

  • usage instructions

    @kornelski kornelski committed Mar 9, 2021
    cbab72f

  • Pre-0.6 is no longer relevant

    @kornelski kornelski committed Mar 9, 2021
    3407561

  • Destroyed Howto: Create Trust Proofs (markdown)

    @kornelski kornelski committed Mar 9, 2021
    4ee1823

  • Updated List of Proof Repositories (markdown)

    @bestia-dev bestia-dev committed Jun 7, 2020
    d3ec599

  • Updated List of Proof Repositories (markdown)

    @bestia-dev bestia-dev committed Jun 7, 2020
    36eb3d7

  • Added my crev proof repo and corrected link to comprehensive list of all repos.

    @tokcum tokcum committed Jun 6, 2020
    12d45b1

  • Updated List of Proof Repositories (markdown)

    @bestia-dev bestia-dev committed Jun 2, 2020
    0f2459c

  • Updated List of Proof Repositories (markdown)

    @bestia-dev bestia-dev committed Jun 2, 2020
    80180ef

  • Updated List of Proof Repositories (markdown)

    @bestia-dev bestia-dev committed Jun 2, 2020
    163e08a

  • Updated List of Proof Repositories (markdown)

    @bestia-dev bestia-dev committed Jun 2, 2020
    1fe8dd7

  • Updated List of Proof Repositories (markdown)

    @bestia-dev bestia-dev committed Jun 2, 2020
    ffab8c8

  • Updated List of Proof Repositories (markdown)

    @dpc dpc committed May 6, 2020
    353519d

  • Updated List of Proof Repositories (markdown)

    @dpc dpc committed May 6, 2020
    b1ab164

  • Updated List of Proof Repositories (markdown)

    @dpc dpc committed May 6, 2020
    a98067d

  • Updated List of Proof Repositories (markdown)

    @njam njam committed Apr 30, 2020
    7011a96

  • Add roblabla's crev-proofs

    @roblabla roblabla committed Mar 21, 2020
    fd75291

  • Documenting the "party line" (see https://github.com/crev-dev/cargo-crev/issues/276)

    @chrysn chrysn committed Mar 14, 2020
    9801023

  • Add CI instructions

    @chrysn chrysn committed Mar 13, 2020
    9d06702

  • Updated List of Proof Repositories (markdown)

    @jhpratt jhpratt committed Feb 19, 2020
    6290760

  • adding a new crev-proofs

    @bestia-dev bestia-dev committed Jan 24, 2020
    13ce6ce

  • Updated Proof Repository (markdown)

    @dpc dpc committed Jan 19, 2020
    3c3212a

  • add my own proof repo

    @niklasf niklasf committed Jan 18, 2020
    1a22719

  • Updated Proof Repository (markdown)

    @dpc dpc committed Jan 18, 2020
    e0497c8

  • Updated Proof Repository (markdown)

    @dpc dpc committed Jan 18, 2020
    4627d26