All pull requests

Pull requests

• fix incorect varible types after block flattening

  #1635·by Angs12 was merged May 7, 2026Contributor·

  ·
  2

• fixes docker publish workflow

  #1629·by ivg was merged Apr 29, 2025Member·

  ·

• adds semantics for pmuludq and extends AVX/AVX2 pmuldq

  #1628·by ivg was merged Apr 29, 2025Member·

  ·

• fixes nightly tests and ghidra caching

  #1627·by ivg was merged Apr 22, 2025Member·

  ·

• upgrades to ubuntu-latest and adds ghidra installation script

  #1626·by ivg was merged Apr 21, 2025Member·

  ·

• adds semantics for [v]{and[n],or,xor}p{d,s} instructions

  #1625·by ivg was merged Apr 21, 2025Member·

  ·

• adds semantics and supporting code for several x86 instructions

  #1622·by ivg was merged Mar 17, 2025Member·

  ·
  3

  

• fixes nightly and weekly regression tests, updates OCaml versions

  #1620·by ivg was merged Mar 6, 2025Member·

  ·

• fixes dockerfiles to address change in the default OCaml version

  #1619·by ivg was merged Mar 6, 2025Member·

  ·

• attempts to fix the nightly and weekly tests

  #1618·by ivg was merged Mar 5, 2025Member·

  ·
  1

• makes bap-extra packages optional to facilitate local development

  #1617·by ivg was merged Mar 5, 2025Member·

  ·
  1

• relaxes x86 operands deconstructor to address llvm changes

  #1615·by ivg was merged Feb 28, 2025Member·

  ·
  1

• Ensure compatibility with camlzip versions before 1.12

  #1610·by bmourad01 was merged Aug 2, 2024Contributor·

  ·

• Fix use of camlzip in byteweight

  #1609·by bmourad01 was merged Jul 29, 2024Contributor·

  ·
  3

• Fix a few typos in lib/bap_primus/bap_primus.mli

  #1600·by hirrolot was merged Apr 24, 2024Contributor·

  ·
  1

• better code and fixes potential debugging headache

  #1599·by pranjalsingh008 was merged Feb 26, 2024Contributor·

  ·
  2

• Fixes for LLVM 17 (and 16)

  #1597·by bmourad01 was merged Feb 16, 2024Contributor·

  ·
  1

• Fix compatibility with LLVM 16

  #1595·by katrinafyi was closed Feb 16, 2024Contributor·

  ·
  1

• Support linking with LLVM shared libraries

  #1593·by drvink was merged Feb 16, 2024Contributor·

  ·
  7

• Add (C_)BGE and C_SW and correct C_LUI RISC-V Semantics

  #1588·by matt-j-griffin was merged Jun 9, 2023Contributor·

  ·
  2

• Adds compatibility with LLVM 15

  #1585·by bmourad01 was merged Jun 8, 2023Contributor·

  ·
  4

• Corrects array-set macro for Primus Lisp.

  #1584·by A-Benlolo was merged Apr 27, 2023Contributor·

  ·
  1

• Fixes a few bugs in the Thumb semantics

  #1582·by bmourad01 was merged Mar 8, 2023Contributor·

  ·
  1

• Adds some more missing POSIX API definitions

  #1581·by bmourad01 was merged Mar 8, 2023Contributor·

  ·
  1

• Fixes a typo in the Primus Lisp IEEE754 semantics

  #1580·by bmourad01 was merged Feb 17, 2023Contributor·

  ·
  1