Code

feat: add Mersenne Twister PRNG#984

Code

Open

fgdorais wants to merge 15 commits intoleanprover-community:mainleanprover-community/batteries:mainfrom fgdorais:mersenne-twisterfgdorais/batteries:mersenne-twisterCopy head branch name to clipboard

+245

Commits

Commits on Oct 12, 2024

• feat: add Mersenne Twister pseudorandom generator

  fgdorais

  committed
  b5c9d8e

Commits on Oct 13, 2024

• refactor: state update step

  fgdorais

  committed
  616ae86

• fix: use match

  fgdorais

  committed
  2ff5dea

• chore: add test

  fgdorais

  committed
  4d65a4c

• feat: add drop and take for streams

  fgdorais

  committed
  389e79a

Commits on Oct 14, 2024

• chore: merge leanprover-community#985

  fgdorais

  committed
  d290a21

• chore: update test

  fgdorais

  committed
  f7e84db

• chore: improve docs

  fgdorais

  committed
  d5e11d6

Commits on Oct 18, 2024

• Merge branch 'main' into mersenne-twister

  fgdorais

  authored
  f1f579f

Commits on Oct 19, 2024

• Merge branch 'main' into mersenne-twister

  fgdorais

  authored
  2c444db

Commits on Oct 27, 2024

• Merge branch 'main' into mersenne-twister

  fgdorais

  committed
  266b138

Commits on Oct 28, 2024

• Merge branch 'main' into mersenne-twister

  fgdorais

  committed
  9154a15

Commits on Nov 4, 2024

• chore: merge main

  fgdorais

  committed
  6bca5f0

Commits on Dec 22, 2024

• chore: merge main

  fgdorais

  committed
  c0362e4

• fix: remove instance

  fgdorais

  committed
  bac9ad6