Skip to content

History

Revisions

  • jasmin.sty: Add cleveref definition for line numbers

    @sarranz sarranz committed Dec 11, 2024
    2ca8058

  • Updated Structure of a Jasmin program (markdown)

    @MrDaiki MrDaiki committed Oct 23, 2024
    2285ce1

  • Updated Arrays (markdown)

    @vbgl vbgl committed Oct 4, 2024
    e49d5b2

  • jasmin.sty

    @vbgl vbgl committed Sep 30, 2024
    014e7e9

  • Add SCT-checker annotations to wiki

    @parjavadian parjavadian committed Aug 22, 2024
    4ec9276

  • jazz2tex → jasmin2tex

    @vbgl vbgl committed Jul 24, 2024
    74d25a3

  • One more step at the end

    @eponier eponier committed Jul 9, 2024
    a944ed6

  • mathcomp 2.2, mathcomp-word 3.2

    @vbgl vbgl committed Jun 17, 2024
    3ab05dd

  • Coq 8.19

    @vbgl vbgl committed Jun 12, 2024
    cdf21e9

  • mathcomp 1.19

    @vbgl vbgl committed Jun 7, 2024
    d39566f

  • Document expressions & operators

    @vbgl vbgl committed Jun 4, 2024
    b77ff0d

  • Coqword 2.4

    @vbgl vbgl committed May 31, 2024
    a160ed1

  • Add intuition about reg ptr and stack ptr

    @eponier eponier committed Mar 21, 2024
    a08054b

  • No region associated to variable

    @vbgl vbgl committed Mar 21, 2024
    4910df7

  • sem.v does not exist anymore

    @eponier eponier committed Mar 14, 2024
    c0b4ff0

  • random bytes: constant-time

    @vbgl vbgl committed Feb 29, 2024
    b59b2aa

  • random bytes

    @vbgl vbgl committed Feb 29, 2024
    5eb5e8c

  • jazz2tex

    @vbgl vbgl committed Jan 29, 2024
    1aefa22

  • Coq 8.18, mathcomp 1.18

    @vbgl vbgl committed Dec 12, 2023
    22d26c4

  • FAQ: assignment remains

    @vbgl vbgl committed Nov 16, 2023
    739f560

  • Coq 8.17

    @vbgl vbgl committed Sep 15, 2023
    e2f666c

  • wip added a small example to start with

    @basavesh basavesh committed Jul 2, 2023
    d40439b

  • wip more data, yet to add examples

    @basavesh basavesh committed Jun 30, 2023
    ff398d5

  • wip some more data on selSLH

    @basavesh basavesh committed Jun 30, 2023
    8e47096

  • wip selective SLH wiki first draft

    @basavesh basavesh committed Jun 30, 2023
    0201949

  • Release process

    @vbgl vbgl committed Jun 5, 2023
    29f02eb

  • Updated Get support (markdown)

    @vbgl vbgl committed May 25, 2023
    bd684fe

  • Updated Making a release (markdown)

    @vbgl vbgl committed Apr 13, 2023
    6738c83

  • Check-list before release

    @vbgl vbgl committed Apr 13, 2023
    589d256

  • Updated Installation instructions (markdown)

    Jean-Christophe Léchenet committed Mar 22, 2023
    7d7e555