Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 13, 2025

• Build GMP in parallel

  mrexodia

  committed
  e18fff2

  Copy full SHA for e18fff2

• Fix bitwuzla installation on amd64

  mrexodia

  committed
  121fe21

  Copy full SHA for 121fe21

• Add missing git-lfs package to base image for the next update

  mrexodia

  committed
  054ec9b

  Copy full SHA for 054ec9b

• Add arguments for base image tags

  mrexodia

  committed
  bd9bbcb

  Copy full SHA for bd9bbcb

• Bump to LLVM 19.1.7 and drastically reduce image size

  mrexodia

  committed
  62b991f

  Copy full SHA for 62b991f

Commits on Feb 12, 2025

• Bump souper and add GMP as a dependency of bitwuzla

  mrexodia

  committed
  489b095

  Copy full SHA for 489b095

Commits on Feb 5, 2025

• Add missing meson dependency

  mrexodia

  committed
  99206e9

  Copy full SHA for 99206e9

• Adjust dependencies.Dockerfile to support bitwuzla and GMP

  mrexodia

  committed
  9e041fa

  Copy full SHA for 9e041fa

• Remove outdated docker instructions

  mrexodia

  committed
  27f50f8

  Copy full SHA for 27f50f8

• Merge pull request #1 from LLVMParty/add_bitwuzla_dependency

  Show description for 0d88c8f
  mrexodia

  authored
  0d88c8f

  Copy full SHA for 0d88c8f

• Rename bitwuzla to match the official project name

  mrexodia

  committed
  982f32a

  Copy full SHA for 982f32a

• Bump souper to cmake-package-v7

  mrexodia

  committed
  51b58a5

  Copy full SHA for 51b58a5

• Add GMP and Bitwuzla with ASan + UBSan support.

  

  fvrmatteo

  authored and

  mrexodia

  committed
  bb41688

  Copy full SHA for bb41688

• Add option to enable ASan + UBSan. Bump XED and Remill.

  

  fvrmatteo

  authored and

  mrexodia

  committed
  f98cba7

  Copy full SHA for f98cba7

• Add Bitwuzla library

  

  fvrmatteo

  authored and

  mrexodia

  committed
  db804fa

  Copy full SHA for db804fa

• Add Bitwuzla library

  

  fvrmatteo

  authored and

  mrexodia

  committed
  2aba6b9

  Copy full SHA for 2aba6b9

Commits on Nov 2, 2024

• Rename USE_SYSTEM_LLVM to USE_EXTERNAL_LLVM

  mrexodia

  authored
  604e454

  Copy full SHA for 604e454

Commits on Oct 28, 2024

• Add presentation slides

  mrexodia

  committed
  63dfa47

  Copy full SHA for 63dfa47

Commits on Oct 9, 2024

• Add support for sccache

  mrexodia

  committed
  4dfb90e

  Copy full SHA for 4dfb90e

• Do not hardcode BUILD_SHARED_LIBS

  mrexodia

  committed
  f3d205b

  Copy full SHA for f3d205b

Commits on Oct 7, 2024

• Remove multi-line docker RUN commands

  mrexodia

  committed
  4679eaa

  Copy full SHA for 4679eaa

• Fix some error in the dependencies setup

  mrexodia

  committed
  d4ad0d9

  Copy full SHA for d4ad0d9

• Initial version of dependencies

  mrexodia

  committed
  1f5f979

  Copy full SHA for 1f5f979

• Improve the superbuild library

  mrexodia

  committed
  7cb23ef

  Copy full SHA for 7cb23ef

• Add binutils to fix linking

  mrexodia

  committed
  4cb64ca

  Copy full SHA for 4cb64ca

Commits on Oct 2, 2024

• Prepare for more dependencies

  mrexodia

  committed
  78831ee

  Copy full SHA for 78831ee

Commits on Oct 1, 2024

• Initial commit (Ubuntu + LLVM working)

  mrexodia

  committed
  5bd75b4

  Copy full SHA for 5bd75b4