Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 25, 2025

• Bump version

  thetheodor

  committed
  8c3ec3b

  Copy full SHA for 8c3ec3b

Commits on Nov 19, 2024

• Disable leak sanitizer (#132)

  Show description for 66c1ad8
  

  Shaohua Li

  authored
  66c1ad8

  Copy full SHA for 66c1ad8

Commits on Aug 16, 2024

• Bump version

  thetheodor

  committed
  237e564

  Copy full SHA for 237e564

• [YarpGen] Sidestep issue with yarpgen's assertion errors

  thetheodor

  committed
  9ae9a11

  Copy full SHA for 9ae9a11

Commits on Apr 30, 2024

• Bump version

  thetheodor

  committed
  a376d94

  Copy full SHA for a376d94

• [CSmith] add path alternative when searching for the binary

  thetheodor

  committed
  f59d3b4

  Copy full SHA for f59d3b4

Commits on Apr 25, 2024

• Add a yarpgen wrapper

  thetheodor

  committed
  0acacd1

  Copy full SHA for 0acacd1

Commits on Feb 15, 2024

• Bump version

  thetheodor

  committed
  0280b33

  Copy full SHA for 0280b33

• Update pre-commit hooks' versions and reformat

  thetheodor

  committed
  22b2530

  Copy full SHA for 22b2530

• [CSmithGenerator] Drop checksum from random flags

  Show description for d3766b2
  thetheodor

  committed
  d3766b2

  Copy full SHA for d3766b2

Commits on Sep 8, 2023

• Bump version

  thetheodor

  committed
  42e46db

  Copy full SHA for 42e46db

• [compiler] adds json serialization to more types

  thetheodor

  committed
  db9ad51

  Copy full SHA for db9ad51

Commits on Sep 7, 2023

• Bump version

  thetheodor

  committed
  3f159cf

  Copy full SHA for 3f159cf

Commits on Sep 5, 2023

• Support Clang's memory sanitizer (#120)

  Show description for ecdcf17
  

  Shaohua Li

  authored
  ecdcf17

  Copy full SHA for ecdcf17

Commits on Aug 31, 2023

• Run CI only on push to main and PR to main

  thetheodor

  committed
  234bd98

  Copy full SHA for 234bd98

• Add additional_flags to CompCert

  

  Shaohua Li

  authored and

  thetheodor

  committed
  1804486

  Copy full SHA for 1804486

Commits on Aug 28, 2023

• [CompilerSetting] Add serialization to json

  thetheodor

  committed
  d9d0934

  Copy full SHA for d9d0934

Commits on Jun 15, 2023

• Bump version

  thetheodor

  committed
  021894a

  Copy full SHA for 021894a

• [bisector] fix good/bad

  thetheodor

  committed
  3b48dd3

  Copy full SHA for 3b48dd3

• [bisector] Make the good/bad revision keyword args

  thetheodor

  committed
  0bffa60

  Copy full SHA for 0bffa60

• [sanitizer] Use --std=gnu2x if available

  thetheodor

  committed
  6ca8810

  Copy full SHA for 6ca8810

Commits on Jun 14, 2023

• Bump version

  thetheodor

  committed
  7ad8262

  Copy full SHA for 7ad8262

• Drop ccbuilder dep

  thetheodor

  committed
  85889a5

  Copy full SHA for 85889a5

• Copy Repo from ccbuilder and update

  thetheodor

  committed
  cc1b189

  Copy full SHA for cc1b189

• Simplify Bisector

  thetheodor

  committed
  2b348e1

  Copy full SHA for 2b348e1

Commits on May 31, 2023

• [Reducer] Add optional additional creduce args

  thetheodor

  committed
  f435947

  Copy full SHA for f435947

• [Reducer] Add a timeout parameter

  thetheodor

  committed
  c99133c

  Copy full SHA for c99133c

• [CompilationSetting] Drop some of the parsing test inputs

  thetheodor

  committed
  1c8142f

  Copy full SHA for 1c8142f

Commits on May 23, 2023

• Bump version and dependencies

  thetheodor

  committed
  03a1679

  Copy full SHA for 03a1679

Commits on May 16, 2023

• [sanitizer] Add more debug output

  thetheodor

  committed
  31aed50

  Copy full SHA for 31aed50

• [sanitizer] Update default warnings

  thetheodor

  committed
  2eef7e3

  Copy full SHA for 2eef7e3

• [sanitizer] Drop the second way of enabling debug

  thetheodor

  committed
  87c3c76

  Copy full SHA for 87c3c76

• [sanitizer] print found compiler warnings in debug

  Show description for 4141a34
  

  Quarub

  authored and

  thetheodor

  committed
  4141a34

  Copy full SHA for 4141a34

• [CI] update repo checkout script due to deprecation

  Show description for 1048d1d
  

  Quarub

  authored and

  thetheodor

  committed
  1048d1d

  Copy full SHA for 1048d1d

• [utils] explicitly cleanup temporary directory

  Show description for 3659153
  

  Quarub

  authored and

  thetheodor

  committed
  3659153

  Copy full SHA for 3659153

Pagination

Previous

Next