Commits

Branch selector

 f6ce925

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 20, 2024

• [CI] [opam] [MacOS] fix kludge for pkg-conf

  JasonGross

  authored
  f6ce925

  Copy full SHA for f6ce925

• [CI] [opam] Work around MacOS / opam / brew issue

  Show description for 78208bd
  JasonGross

  authored
  78208bd

  Copy full SHA for 78208bd

• Bump rewriter from edd0611 to 8ab716a (mit-plv#1988)

  Show description for c97b7a1
  dependabot[bot]

  authored
  c97b7a1

  Copy full SHA for c97b7a1

Commits on Nov 11, 2024

• Bump coqprime from 6c225a2 to 845c00c (mit-plv#1984)

  Show description for 704fe3d
  dependabot[bot]

  authored
  704fe3d

  Copy full SHA for 704fe3d

• Bump JamesIves/github-pages-deploy-action from 4.6.8 to 4.6.9 (mit-plv#1987)

  Show description for 7541a8f
  dependabot[bot]

  authored
  7541a8f

  Copy full SHA for 7541a8f

• Fix wasm_of_ocaml version, hopefully (mit-plv#1986)

  Show description for e61d78e
  JasonGross

  authored
  e61d78e

  Copy full SHA for e61d78e

Commits on Nov 6, 2024

• Bump rewriter from e4d987c to edd0611 (mit-plv#1981)

  Show description for c43d00d
  dependabot[bot]

  authored
  c43d00d

  Copy full SHA for c43d00d

Commits on Nov 3, 2024

• Require Import BinNat before using it in ParseArithmetic.v

  andres-erbsen

  committed
  9bf41bc

  Copy full SHA for 9bf41bc

Commits on Oct 31, 2024

• Merge pull request mit-plv#1954 from andres-erbsen/CoZJoyeBedrock

  Show description for ee1e322
  andres-erbsen

  authored
  ee1e322

  Copy full SHA for ee1e322

Commits on Oct 29, 2024

• exclude Bedrock2 Joye ladder from lite target

  andres-erbsen

  committed
  735c000

  Copy full SHA for 735c000

• Move secp256k1 out of End2End, remove compiler dep

  Show description for b240a3b
  andres-erbsen

  committed
  b240a3b

  Copy full SHA for b240a3b

• Verified linking lemma for secp256k1 64 bits scalar multiplication

  

  atrieu

  authored and

  andres-erbsen

  committed
  b2d3126

  Copy full SHA for b2d3126

• Verified secp256k1_laddermul

  

  atrieu

  authored and

  andres-erbsen

  committed
  a02dfca

  Copy full SHA for a02dfca

• update unverified secp256k1 ladder

  

  atrieu

  authored and

  andres-erbsen

  committed
  4b1abed

  Copy full SHA for 4b1abed

• Change spec_of_secp256k1_inv to make F.inv appear

  

  atrieu

  authored and

  andres-erbsen

  committed
  2584734

  Copy full SHA for 2584734

• secp256k1_inv using addchain

  

  atrieu

  authored and

  andres-erbsen

  committed
  7d73379

  Copy full SHA for 7d73379

• secp256k1 scalarmult wip

  

  atrieu

  authored and

  andres-erbsen

  committed
  37a57c6

  Copy full SHA for 37a57c6

• Bedrock2 WordByWordMontgomery felem_copy_func_correct

  

  atrieu

  authored and

  andres-erbsen

  committed
  cdb8f6d

  Copy full SHA for cdb8f6d

• Bedrock2 secp256k1 point operations

  

  atrieu

  authored and

  andres-erbsen

  committed
  9edfbda

  Copy full SHA for 9edfbda

• WIP

  

  atrieu

  authored and

  andres-erbsen

  committed
  4ec4292

  Copy full SHA for 4ec4292

• Point doubling formula in jacobian coordinates for short Weierstrass curves when a=0

  

  atrieu

  authored and

  andres-erbsen

  committed
  8806aff

  Copy full SHA for 8806aff

Commits on Oct 25, 2024

• Bump actions/setup-java from 4.4.0 to 4.5.0 (mit-plv#1978)

  Show description for e3b837c
  dependabot[bot]

  authored
  e3b837c

  Copy full SHA for e3b837c

Commits on Oct 17, 2024

• Revert "[CI] Pin action steps that use setup-ocaml to ubuntu 22.04 (mit-plv#1971)" (mit-plv#1976)

  Show description for 9dda471
  JasonGross

  authored
  9dda471

  Copy full SHA for 9dda471

Commits on Oct 16, 2024

• Bump rewriter from 76973c4 to e4d987c (mit-plv#1977)

  Show description for 58481a8
  dependabot[bot]

  authored
  58481a8

  Copy full SHA for 58481a8

Commits on Oct 9, 2024

• Bump rewriter from 1ce9f1a to 76973c4 (mit-plv#1975)

  Show description for 6a84b0c
  dependabot[bot]

  authored
  6a84b0c

  Copy full SHA for 6a84b0c

• Bump etc/coq-scripts from e4d9e81 to 4327aa1 (mit-plv#1974)

  Show description for 4384245
  dependabot[bot]

  authored
  4384245

  Copy full SHA for 4384245

• Bump JamesIves/github-pages-deploy-action from 4.6.4 to 4.6.8 (mit-plv#1969)

  Show description for 698030b
  dependabot[bot]

  authored
  698030b

  Copy full SHA for 698030b

• [CI] Pin action steps that use setup-ocaml to ubuntu 22.04 (mit-plv#1971)

  Show description for 350ff6f
  JasonGross

  authored
  350ff6f

  Copy full SHA for 350ff6f

• Add CI shield for opam package to README (mit-plv#1972)

  Show description for cf8e157
  JasonGross

  authored
  cf8e157

  Copy full SHA for cf8e157

Commits on Sep 25, 2024

• Bump rupicola from d55f2d7 to e7771d9 (mit-plv#1968)

  Show description for 3b30a35
  dependabot[bot]

  authored
  3b30a35

  Copy full SHA for 3b30a35

• Bump actions/setup-java from 4.3.0 to 4.4.0 (mit-plv#1967)

  Show description for 8582dc7
  dependabot[bot]

  authored
  8582dc7

  Copy full SHA for 8582dc7

Commits on Sep 22, 2024

• Actually install the wasm of ocaml files

  JasonGross

  committed
  48e00c6

  Copy full SHA for 48e00c6

• Add support for wasm files in assets subdirectory (mit-plv#1966)

  Show description for 025f0b8
  JasonGross

  authored
  025f0b8

  Copy full SHA for 025f0b8

Commits on Sep 21, 2024

• Bump rewriter from 19f344b to 1ce9f1a (mit-plv#1963)

  Show description for 39bc427
  dependabot[bot]

  authored
  39bc427

  Copy full SHA for 39bc427

• Don't sed wasm files, instead use subfolders to ensure the binary names are correct from the start (mit-plv#1961)

  JasonGross

  authored
  30b7261

  Copy full SHA for 30b7261

Pagination

Previous

Next