Skip to content

History

Revisions

  • 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