Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on May 25, 2026

• Fix use of uninitialized data when setting the seed in the library

  Show description for 8292c1b
  gavinhoward

  committed
  8292c1b

  Copy full SHA for 8292c1b

• Add a test for use of uninitialized data in seeds

  Show description for 56e5a48
  gavinhoward

  committed
  56e5a48

  Copy full SHA for 56e5a48

Commits on May 20, 2026

• Add CBMC to the build

  Show description for 5f5d4d1
  gavinhoward

  committed
  5f5d4d1

  Copy full SHA for 5f5d4d1

Commits on Apr 27, 2026

• Fix style

  Show description for 6ecbdcb
  gavinhoward

  committed
  6ecbdcb

  Copy full SHA for 6ecbdcb

• Fix a compiler warning

  Show description for bec885a
  gavinhoward

  committed
  bec885a

  Copy full SHA for bec885a

Commits on Apr 24, 2026

• Add code to test behavior under truncation

  Show description for 6661910
  gavinhoward

  committed
  6661910

  Copy full SHA for 6661910

Commits on Apr 14, 2026

• Fix the parallel tests in tests/all.sh

  Show description for 8007fa2
  gavinhoward

  committed
  8007fa2

  Copy full SHA for 8007fa2

Commits on Apr 9, 2026

• Add a section about streams in the manuals

  Show description for c628060
  gavinhoward

  committed
  c628060

  Copy full SHA for c628060

Commits on Apr 6, 2026

• Fix style

  Show description for 6bb536c
  gavinhoward

  committed
  6bb536c

  Copy full SHA for 6bb536c

• handle early EOF correctly to avoid infinite loop in fixed-size read

  Show description for b31e3dc
  

  jmestwa-coder

  authored and

  gavinhoward

  committed
  b31e3dc

  Copy full SHA for b31e3dc

Commits on Mar 28, 2026

• Fix bugs in the Rig install target

  Show description for c94908b
  gavinhoward

  committed
  c94908b

  Copy full SHA for c94908b

Commits on Mar 25, 2026

• Add `std` as a Rig option directly

  Show description for 2f724f3
  gavinhoward

  committed
  2f724f3

  Copy full SHA for 2f724f3

• Get rid GCC warnings

  Show description for 1788431
  gavinhoward

  committed
  1788431

  Copy full SHA for 1788431

Commits on Mar 4, 2026

• Fix Valgrind problems with some builds

  Show description for 975570a
  gavinhoward

  committed
  975570a

  Copy full SHA for 975570a

• Add Clang no warning flags to the build

  Show description for d153126
  gavinhoward

  committed
  d153126

  Copy full SHA for d153126

• Only put linking flags on the link step

  Show description for 21dbb3c
  gavinhoward

  committed
  21dbb3c

  Copy full SHA for 21dbb3c

• Fix a doc comment in the build package file

  Show description for 14545ea
  gavinhoward

  committed
  14545ea

  Copy full SHA for 14545ea

• Make sure to link in history libraries, if used

  Show description for 4f84120
  gavinhoward

  committed
  4f84120

  Copy full SHA for 4f84120

• Fix output messages in the release script

  Show description for 64ed981
  gavinhoward

  committed
  64ed981

  Copy full SHA for 64ed981

• Add memcheck back in as an option for the `make` build

  Show description for d6bb23c
  gavinhoward

  committed
  d6bb23c

  Copy full SHA for d6bb23c

• Tweak the release script commands

  Show description for 7f6e303
  gavinhoward

  committed
  7f6e303

  Copy full SHA for 7f6e303

Commits on Mar 3, 2026

• Change release script jobs to the number of actual cores

  Show description for 3f4a876
  gavinhoward

  committed
  3f4a876

  Copy full SHA for 3f4a876

• Go back to parallel release script

  Show description for f5f8f0c
  gavinhoward

  committed
  f5f8f0c

  Copy full SHA for f5f8f0c

• Add more Clang options to get rid of useless warnings

  Show description for 6f6d8a6
  gavinhoward

  committed
  6f6d8a6

  Copy full SHA for 6f6d8a6

• Make sure Rig compiler flags are used in the build

  Show description for c72a176
  gavinhoward

  committed
  c72a176

  Copy full SHA for c72a176

• Fix handling of compiler flags in the release script

  Show description for a505f70
  gavinhoward

  committed
  a505f70

  Copy full SHA for a505f70

• Fix compiler warnings found by the release script

  Show description for 197980c
  gavinhoward

  committed
  197980c

  Copy full SHA for 197980c

• Call the correct function in the release script

  Show description for 0ff3ebb
  gavinhoward

  committed
  0ff3ebb

  Copy full SHA for 0ff3ebb

• Remove parallel testing Rig and make builds in the release script

  Show description for d3ce3e0
  gavinhoward

  committed
  d3ce3e0

  Copy full SHA for d3ce3e0

• Fix type errors in the release script

  Show description for 94a3605
  gavinhoward

  committed
  94a3605

  Copy full SHA for 94a3605

• Fix the Rig build in the release script

  Show description for 87cee29
  gavinhoward

  committed
  87cee29

  Copy full SHA for 87cee29

• Fix a doc comment in the release script

  Show description for be18e93
  gavinhoward

  committed
  be18e93

  Copy full SHA for be18e93

• Parallelize the release script make build

  Show description for 356708e
  gavinhoward

  committed
  356708e

  Copy full SHA for 356708e

• Improve the release script output

  Show description for 7f22a3d
  gavinhoward

  committed
  7f22a3d

  Copy full SHA for 7f22a3d

• Refactor the release script to use arrays where necessary

  Show description for 0494f67
  gavinhoward

  committed
  0494f67

  Copy full SHA for 0494f67