Skip to content

History

Revisions

  • get_random → get-random

    @vbgl vbgl committed Apr 1, 2022
    b6e913d

  • update

    @vbgl vbgl committed Apr 1, 2022
    5097314

  • Syntax diagrams

    @vbgl vbgl committed Feb 14, 2022
    7a73a54

  • propagate inline

    @vbgl vbgl committed Dec 3, 2021
    d1e02d1

  • Compilation passes

    @vbgl vbgl committed Dec 2, 2021
    e2af1b5

  • Exit array-copy

    @vbgl vbgl committed Dec 2, 2021
    bbefed7

  • mathcomp-1.13

    @vbgl vbgl committed Dec 2, 2021
    ba561d5

  • menhirLib

    @vbgl vbgl committed Dec 2, 2021
    16f4a45

  • Coq 8.14, mathcomp 1.12, OCaml 4.12

    @vbgl vbgl committed Dec 2, 2021
    ae5f296

  • exit copy-op, enter array-copy

    @vbgl vbgl committed Nov 26, 2021
    5625418

  • Start a FAQ

    @vbgl vbgl committed Nov 23, 2021
    d33bb69

  • typo

    @vbgl vbgl committed Sep 24, 2021
    f059470

  • CLI

    @vbgl vbgl committed Sep 24, 2021
    191f3ed

  • CT verification

    @vbgl vbgl committed Sep 22, 2021
    a98be36

  • Created Emacs mode (markdown)

    @vbgl vbgl committed Sep 20, 2021
    6f81fa4

  • safety-array-lenient has been merged into master in December 2020

    @vbgl vbgl committed Sep 20, 2021
    ac38259

  • mathcomp-next

    @vbgl vbgl committed Sep 6, 2021
    0f5dcb1

  • Coq 8.12

    @vbgl vbgl committed Sep 6, 2021
    550b992

  • Updated Installation instructions (markdown)

    @vbgl vbgl committed Aug 30, 2021
    e1c991f

  • Memory Layout

    @vbgl vbgl committed Aug 30, 2021
    5fd6efb

  • mathcomp-1.9

    @vbgl vbgl committed Aug 25, 2021
    b56b1c0

  • typo

    @vbgl vbgl committed Jul 13, 2021
    b3a490b

  • Floating arrays

    @vbgl vbgl committed Jul 13, 2021
    dd08d4e

  • PIC

    @vbgl vbgl committed Jul 9, 2021
    b74f6f6

  • Pretty printing

    @vbgl vbgl committed Apr 21, 2021
    170b4aa

  • Wish List

    @vbgl vbgl committed Apr 12, 2021
    80851a3

  • We use OCaml 4.09

    @vbgl vbgl committed Mar 30, 2021
    d74afaf

  • Pipeline status on branch arm

    @vbgl vbgl committed Feb 24, 2021
    d4eff02

  • Document arm branch

    @vbgl vbgl committed Feb 24, 2021
    91bfa0b

  • About Jasmin

    @vbgl vbgl committed Feb 5, 2021
    7757de0