Commits

Branch selector

 master

User selector

andres-erbsen

Datepicker

All time

Commit History

Commits on Sep 5, 2024

• Merge pull request #1953 from andres-erbsen/weier2

  andres-erbsen

  authoredSep 5, 2024
  d3af796

• update CoZ

  andres-erbsen

  committedSep 5, 2024
  6f13372

Commits on Sep 4, 2024

• update Weierstrass Affine, Jacobian with Proper, add laws

  andres-erbsen

  committedSep 4, 2024
  7be3973

Commits on Aug 19, 2024

• faster Weierstrass point doubling using coordinate halving

  andres-erbsen

  committedAug 19, 2024
  2ae1c17

Commits on Apr 17, 2024

• Stagger dependabot update times (#1868)

  andres-erbsen

  authoredApr 17, 2024
  e2d96b8

Commits on Apr 16, 2024

• remove Bvector (#1864)

  andres-erbsen

  authoredApr 16, 2024
  6cb80fb

• Fix syntax in github-actions-record-coq-info.sh

  andres-erbsen

  authoredApr 16, 2024
  7ec76f9

Commits on Apr 6, 2024

• more paperification of top-level spec details

  andres-erbsen

  committedApr 6, 2024
  8c9b346

• move only_mmio_satisfying to bedrock2

  andres-erbsen

  committedApr 6, 2024
  4d8deca

Commits on Apr 5, 2024

• GarageDoorTop: assert some types

  andres-erbsen

  committedApr 5, 2024
  d31b3a3

• l for log, not t for trace

  andres-erbsen

  committedApr 5, 2024
  2173acf

• name MMIO log items

  andres-erbsen

  committedApr 5, 2024
  53de382

• io spec: push existentials into protocol spec

  andres-erbsen

  committedApr 5, 2024
  2ece1e7

• paperify spec

  andres-erbsen

  committedApr 5, 2024
  9ead591

Commits on Apr 4, 2024

• decide point equality (#1848)

  andres-erbsen

  authoredApr 4, 2024
  841cc2f

Commits on Apr 3, 2024

• instantiate Edwards-Montgomery isomorphism for Curve25519 (#1847)

  andres-erbsen

  authoredApr 3, 2024
  eb5ba09

Commits on Apr 2, 2024

• bump bedrock2, use "always" in GarageDoor spec (#1846)

  andres-erbsen

  authoredApr 2, 2024
  1452648

• implement and prove Curve25519 scalar clamping (#1845)

  andres-erbsen

  authoredApr 2, 2024
  9b5f833

Commits on Apr 1, 2024

• add Curves.Edwards.TwistIsomorphism (#1844)

  andres-erbsen

  authoredApr 1, 2024
  55c430f

• merge Group.Scalarmult into MontgomeryLadder, use in x25519_base (#1843)

  andres-erbsen

  authoredApr 1, 2024
  4cd8fc2

Commits on Mar 30, 2024

• merge MontgomeryEquivalence into MontgomeryLadder, use in GaragDoor (#1841)

  andres-erbsen

  authoredMar 30, 2024
  9378552

Commits on Mar 1, 2024

• adapt to coq/coq#18730 (#1826)

  andres-erbsen

  authoredMar 1, 2024
  94a6b19

Commits on Feb 6, 2024

• This repository requires Coq 8.18 or later.

  andres-erbsen

  authoredFeb 6, 2024
  9eb0f5e

Commits on Jan 31, 2024

• adapt to coq/coq#18563 (#1814)

  andres-erbsen

  authoredJan 31, 2024
  9a8e71b

Commits on Nov 12, 2023

• remove RupicolaCrypto.Low

  andres-erbsen

  committedNov 12, 2023
  9d982d2

Commits on Nov 10, 2023

• add Alpine CI (#1625)

  andres-erbsen

  authoredNov 10, 2023
  06d5b70

Commits on Oct 28, 2023

• Optimize & fix Edwards XYZT operations

  andres-erbsen

  authoredOct 28, 2023
  dfc358d

Commits on Sep 1, 2023

• Merge pull request #1646 from brycx/core-ops

  andres-erbsen

  authoredSep 1, 2023
  a51ff82

Commits on Aug 29, 2023

• Log last BoringSSL commit in test-fiat-c-boringssl.sh

  andres-erbsen

  committedAug 29, 2023
  d1ce5d8

Commits on Aug 15, 2023

• Merge pull request #1631 from samuelgruetter/bedrock2_complete_wp

  andres-erbsen

  authoredAug 15, 2023
  d0f0305

Commits on Aug 11, 2023

• Merge pull request #1632 from andres-erbsen/debian-ci

  andres-erbsen

  authoredAug 11, 2023
  ecfafcc

• factor debian CI scripts

  andres-erbsen

  committedAug 11, 2023
  8d12f39

• Add Debian CI using chroot

  andres-erbsen

  committedAug 11, 2023
  c65632e

Commits on Jul 22, 2023

• Merge pull request #1622 from bMacSwigg/sandbox

  andres-erbsen

  authoredJul 22, 2023
  be2bfa6

Commits on Jul 11, 2023

• remove some dead code from garagedoor funcs, tidy

  andres-erbsen

  committedJul 11, 2023
  63a6ba4

Pagination

PreviousNext