Skip to content

History

Revisions

  • 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

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

    @fdupress fdupress committed Sep 21, 2023
    af12c17

  • Updated External CI (markdown)

    @fdupress fdupress committed May 5, 2023
    15178e0

  • Updated External CI (markdown)

    @fdupress fdupress committed May 5, 2023
    46e936f

  • Created External CI (markdown)

    @fdupress fdupress committed May 3, 2023
    06e8c2a

  • Updated [Tactic] Rewrite Equiv (markdown)

    @fdupress fdupress committed Mar 20, 2023
    0aab851

  • Updated [Tactic] Rewrite Equiv (markdown)

    @Cameron-Low Cameron-Low committed Mar 16, 2023
    c8a3ef4

  • Guide for using the rewrite equiv tactic.

    @Cameron-Low Cameron-Low committed Feb 16, 2023
    70fe816

  • Created Algebraic Hierarchy (markdown)

    @strub strub committed Sep 6, 2021
    12b6e95

  • Initial Home page

    @strub strub committed Jul 24, 2021
    c969635