Skip to content

History

Revisions

  • Initial write-up

    @fdupress fdupress committed Apr 3, 2026
    8f75cf8

  • Why3 fixes have happened

    @fdupress fdupress committed Apr 3, 2026
    f549471

  • Add potential prover version bump to release checklist

    @fdupress fdupress committed Feb 21, 2026
    64031ee

  • Updated [Maintenance] Release Process, Container Updates (markdown)

    @fdupress fdupress committed Feb 6, 2026
    5356c5a

  • fix the tag pushing to avoid polluting the central repo with local tags

    @fdupress fdupress committed Nov 15, 2025
    f546f0d

  • Updated [Maintenance] Release Process, Container Updates (markdown)

    @fdupress fdupress committed Sep 5, 2025
    c27b65b

  • Updated [Maintenance] Release Process, Container Updates (markdown)

    @fdupress fdupress committed Sep 5, 2025
    0a1f211

  • Fix syntax typo

    @Cameron-Low Cameron-Low committed Aug 13, 2025
    85907f9

  • Updated [Maintenance] Release Process, Container Updates (markdown)

    @fdupress fdupress committed Aug 8, 2025
    5cc605e

  • Start a wiki page documenting the release process.

    @fdupress fdupress committed May 29, 2025
    4298e62

  • Add a page documenting installation quirks, to keep main instructions free of fast-moving clutter.

    @fdupress fdupress committed May 22, 2025
    ba85d0f

  • Updated [Tactic] Outline (markdown)

    @Cameron-Low Cameron-Low committed May 21, 2025
    c89dc74

  • fix link

    @oskgo oskgo committed Apr 25, 2025
    c9ee69e

  • Updated [Feature] Module Tweaks (markdown)

    @Cameron-Low Cameron-Low committed Mar 6, 2025
    3884eff

  • Update to include code position ranges

    @Cameron-Low Cameron-Low committed Mar 6, 2025
    9d14cd2

  • Created Configuring EasyCrypt (markdown)

    @fdupress fdupress committed Feb 26, 2025
    a05ddad

  • Updated Code Positions (markdown)

    @Cameron-Low Cameron-Low committed Feb 6, 2025
    aacb5af

  • Updated Code Positions (markdown)

    @Cameron-Low Cameron-Low committed Feb 3, 2025
    a7e2d13

  • Updated [Feature] Module Tweaks (markdown)

    @Cameron-Low Cameron-Low committed Jan 24, 2025
    82e3023

  • Created Code Positions (markdown)

    @Cameron-Low Cameron-Low committed Jan 24, 2025
    6ae2ab4

  • Updated [Feature] Module Tweaks (markdown)

    @Cameron-Low Cameron-Low committed Jan 17, 2025
    2c81937

  • Updated [Feature] Module Tweaks (markdown)

    @Cameron-Low Cameron-Low committed Jan 14, 2025
    b5b1df6

  • Updated [Feature] Module Tweaks (markdown)

    @Cameron-Low Cameron-Low committed Dec 10, 2024
    0290267

  • Updated [Feature] Module Tweaks (markdown)

    @Cameron-Low Cameron-Low committed Dec 5, 2024
    ae30f03

  • Created [Feature] Module Tweaks (markdown)

    @Cameron-Low Cameron-Low committed Dec 5, 2024
    a78e786

  • Adding "how to add a project to the external CI" section, and updating the list of projects we aim to include.

    @fdupress fdupress committed Sep 20, 2024
    bbe334a

  • Update reflecting the recent changes to the tactic

    @Cameron-Low Cameron-Low committed Jan 29, 2024
    e0108db

  • Created [Tactic] Outline (markdown)

    @Cameron-Low Cameron-Low committed Dec 15, 2023
    f9efde3

  • Updated [Program Logic] Expectation Logic (eHoare) (markdown)

    @mzini mzini committed Sep 26, 2023
    2a8c917

  • Updated [Program Logic] Expectation Logic (eHoare) (markdown)

    @bgregoir bgregoir committed Sep 21, 2023
    0baa438