All pull requests

Pull requests

• Fix #171: add vector type support in Symbolizer

  #191·TheaPredicate2 opened Oct 26, 2026Contributor·

  ·
  9

• Fix #175: declare int (not i1) runtime params to match C ABI

  #187·Emad-Mahmodi opened Jun 11, 2026·

  ·
  1

• Fix #83: pass a clean 32-bit taken value to _sym_push_path_constraint

  #186·Emad-Mahmodi opened Jun 10, 2026·

  ·

• Add environment variable for Node version

  #185·aurelf opened Mar 11, 2026Member·

  ·

• Symbolic tracing

  #157·damienmaier opened Feb 19, 2024Contributor·

  ·
  31

• Add support to LAVA-M dataset

  enhancement
  #107·Yhcrown opened Sep 25, 2022·

  ·
  1

  15

  

• PR for shift left overflow problem (issue #85)

  #86·ret2dir opened Sep 27, 2021·

  ·

• PR for xor problem (issue #83)

  #84·ret2dir opened Sep 20, 2021·

  ·

• More wrappers

  #79·tiedaoxiaotubie opened Sep 13, 2021Contributor·

  ·
  8

  

• added a dockerfile that builds on arm

  good first issuehelp wanted
  #60·chadbrewbaker opened Jun 11, 2021·

  ·
  3