Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 29, 2025

• Bump rewriter from 69cccb7 to 1e17dcd (mit-plv#2008)

  Show description for dd6d684
  dependabot[bot]

  authored
  dd6d684

  Copy full SHA for dd6d684

Commits on Jan 28, 2025

• More opam package testing

  JasonGross

  committed
  dcd3ccf

  Copy full SHA for dcd3ccf

Commits on Jan 16, 2025

• Bump coqprime from 845c00c to 09db3f8 (mit-plv#2006)

  Show description for ada17fa
  dependabot[bot]

  authored
  ada17fa

  Copy full SHA for ada17fa

Commits on Jan 15, 2025

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

  Show description for 54311ce
  dependabot[bot]

  authored
  54311ce

  Copy full SHA for 54311ce

• Bump rewriter from 30c8507 to 69cccb7 (mit-plv#2002)

  Show description for 879974b
  dependabot[bot]

  authored
  879974b

  Copy full SHA for 879974b

Commits on Jan 14, 2025

• Bump rewriter from 1e36197 to 30c8507 (mit-plv#1999)

  Show description for eedc9c8
  dependabot[bot]

  authored
  eedc9c8

  Copy full SHA for eedc9c8

Commits on Jan 6, 2025

• Bump rupicola from 7c4588d to 24f4a75 (mit-plv#1998)

  Show description for fce3520
  dependabot[bot]

  authored
  fce3520

  Copy full SHA for fce3520

Commits on Dec 18, 2024

• Bump actions/setup-java from 4.5.0 to 4.6.0 (mit-plv#1996)

  Show description for ce92817
  dependabot[bot]

  authored
  ce92817

  Copy full SHA for ce92817

Commits on Dec 10, 2024

• Bump rupicola from e7771d9 to 7c4588d (mit-plv#1995)

  Show description for 55cf29d
  dependabot[bot]

  authored
  55cf29d

  Copy full SHA for 55cf29d

Commits on Dec 6, 2024

• Bump rewriter from 8ab716a to 1e36197 (mit-plv#1994)

  Show description for fc96279
  dependabot[bot]

  authored
  fc96279

  Copy full SHA for fc96279

Commits on Dec 5, 2024

• Adapt to coq/coq#19530 (mit-plv#1992)

  proux01

  authored
  8eccaf2

  Copy full SHA for 8eccaf2

• Bump JamesIves/github-pages-deploy-action from 4.7.1 to 4.7.2 (mit-plv#1991)

  Show description for 6ab4d30
  dependabot[bot]

  authored
  6ab4d30

  Copy full SHA for 6ab4d30

• drop support for macOS 12

  Show description for 781d047
  JasonGross

  authored
  781d047

  Copy full SHA for 781d047

Commits on Nov 29, 2024

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

  Show description for b45ab68
  dependabot[bot]

  authored
  b45ab68

  Copy full SHA for b45ab68

Commits on Nov 21, 2024

• Work around issue with brew and opam (mit-plv#1989)

  Show description for a16b32f
  JasonGross

  authored
  a16b32f

  Copy full SHA for a16b32f

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

Pagination

Previous

Next