Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 25, 2025

• Add missing dependency to docker file (#1219)

  fmayer

  authored
  913e155

  Copy full SHA for 913e155

Commits on Jun 24, 2025

• Handle padding in `FpUnaryOpVerticalZip::toSMT` (#1218)

  dtcxzyw

  authored
  5581ba7

  Copy full SHA for 5581ba7

• Handle paddings in type check for frexp (#1217)

  dtcxzyw

  authored
  e38eed6

  Copy full SHA for e38eed6

Commits on Jun 23, 2025

• fix: use sysctl instead of nproc on macOS (#1215)

  IamYJLee

  authored
  93661e4

  Copy full SHA for 93661e4

Commits on Jun 21, 2025

• tighten the memory refinement criteria for sub-byte stores

  nunoplopes

  committed
  b7c725a

  Copy full SHA for b7c725a

• fix #1191: byte's subbyte field without enough bits to represent vector stores

  nunoplopes

  committed
  7bc7432

  Copy full SHA for 7bc7432

• update README

  nunoplopes

  committed
  b9b89ea

  Copy full SHA for b9b89ea

• fix #1170: assertion failure when tgt has more locals than src

  nunoplopes

  committed
  712b2dd

  Copy full SHA for 712b2dd

Commits on Jun 20, 2025

• fix #1171: dont print "src is UB" if function doesnt reach a return stmt

  nunoplopes

  committed
  f03cbe0

  Copy full SHA for f03cbe0

• fix #1161: false positive in asm mode with redundant load/store elimination

  nunoplopes

  committed
  7f1ab40

  Copy full SHA for 7f1ab40

Commits on May 14, 2025

• fix #1200: false positive due to not enough bits in the access size

  nunoplopes

  committed
  f9a4f02

  Copy full SHA for f9a4f02

Commits on May 11, 2025

• keep up with LLVM API change (#1203)

  regehr

  authored
  d8b6b3c

  Copy full SHA for d8b6b3c

Commits on May 7, 2025

• refactor vector freezing code

  nunoplopes

  committed
  11bc0a3

  Copy full SHA for 11bc0a3

• fix #1199: bug in asm mode handling poison-generating attrs

  nunoplopes

  committed
  b2a4d9f

  Copy full SHA for b2a4d9f

• fix crash with frexp with vector inputs

  nunoplopes

  committed
  21df73f

  Copy full SHA for 21df73f

Commits on May 6, 2025

• fix CI

  nunoplopes

  committed
  eefe5a5

  Copy full SHA for eefe5a5

• fix #1160: shift overflow for large float types

  nunoplopes

  committed
  404a38e

  Copy full SHA for 404a38e

• CI: fail test when UB sanitizer fails

  nunoplopes

  committed
  5bffd38

  Copy full SHA for 5bffd38

• s->u in frexp

  nunoplopes

  committed
  5b8ec73

  Copy full SHA for 5b8ec73

• fix #1194: add support for frexp

  nunoplopes

  committed
  fe7c2c3

  Copy full SHA for fe7c2c3

Commits on May 5, 2025

• simplify

  nunoplopes

  committed
  55580ad

  Copy full SHA for 55580ad

• fix missing arguments to Instr dup()

  nunoplopes

  committed
  0ba8d4f

  Copy full SHA for 0ba8d4f

Commits on Apr 28, 2025

• fix #1196: asm mode not ignoring poison from arg attrs

  nunoplopes

  committed
  a5d0fa9

  Copy full SHA for a5d0fa9

• update quick-fuzz to account for APInt modifications that check for out-of-range constructor arguments (#1197)

  regehr

  authored
  b0ead5f

  Copy full SHA for b0ead5f

Commits on Apr 25, 2025

• add Z3 bug

  nunoplopes

  committed
  aa28b02

  Copy full SHA for aa28b02

Commits on Apr 24, 2025

• Remove frem approximation (#1192)

  Show description for 8b2b5d8
  dtcxzyw

  authored
  8b2b5d8

  Copy full SHA for 8b2b5d8

Commits on Apr 22, 2025

• CEX minimization: try to get rid of undef vars first

  nunoplopes

  committed
  da9f173

  Copy full SHA for da9f173

Commits on Apr 21, 2025

• fwrite doesn't write to the 1st arg

  nunoplopes

  committed
  067202f

  Copy full SHA for 067202f

• fix test

  nunoplopes

  committed
  6609e6a

  Copy full SHA for 6609e6a

• fix #1186: handling of vectors with sub-byte elements in ASM mode

  nunoplopes

  committed
  0623ed4

  Copy full SHA for 0623ed4

Commits on Apr 20, 2025

• fix POR bug in aliasing of loads

  Show description for bbe4eaf
  nunoplopes

  committed
  bbe4eaf

  Copy full SHA for bbe4eaf

Commits on Apr 6, 2025

• fix #1182: LLVM changed naming of analysis pass

  nunoplopes

  committed
  b96ca74

  Copy full SHA for b96ca74

Commits on Feb 18, 2025

• Output function name in clang-tv quiet mode error message (#1172)

  jmciver

  authored
  c0f5434

  Copy full SHA for c0f5434

Commits on Feb 12, 2025

• bump minimum cmake version to avoid annoying warning (#1169)

  regehr

  authored
  fe94db7

  Copy full SHA for fe94db7

Commits on Feb 2, 2025

• CI: switch to clang 21

  nunoplopes

  committed
  3b610e4

  Copy full SHA for 3b610e4

Pagination

Previous

Next