Issues

• Usage and functionality

  google/souper#886 · Filter by author printerboi opened on Aug 14, 2025

• ./build_deps.sh does not work

  google/souper#885 · Filter by author sharpobject opened on Jul 3, 2025
  2

• The links present at /RESULTS are dead

  google/souper#884 · Filter by author kzcz opened on Apr 11, 2025

• Use Error-Unable to query solver: Connection timed out

  google/souper#882 · Filter by author 16061054 opened on Sep 6, 2024
  1

• Question about Souper IR's advantage compare to LLVM IR?

  google/souper#876 · Filter by author hstk30-hw opened on Nov 30, 2023
  1

• Possible bugs when generating inputs for dataflow pruning

  google/souper#870 · Filter by author liamsemeria opened on Jun 14, 2023
  3

• Packaging Souper

  google/souper#869 · Filter by author lovasko opened on May 24, 2023
  1

• building for m1

  google/souper#868 · Filter by author liamsemeria opened on May 18, 2023
  2

• Better spreading SMT solver load?

  google/souper#863 · Filter by author chadbrewbaker opened on Dec 12, 2022

• Build failure

  google/souper#854 · Filter by author StratusFearMe21 opened on Apr 14, 2022
  2

• LLVM Test Suite test failure with NO_INFER

  google/souper#853 · Filter by author manasij7479 opened on Apr 5, 2022

• use error

  google/souper#851 · Filter by author sanqudui8ban opened on Jan 4, 2022
  5

• Build failure

  google/souper#850 · Filter by author adamhaber opened on Nov 28, 2021
  1

• Not deterministic SMT query string

  google/souper#847 · Filter by author pgarba opened on Jun 10, 2021
  1

• Instruction does not dominate all uses!

  google/souper#842 · Filter by author regehr opened on Jun 6, 2021

• Souper crash in codegen from valid transformation

  google/souper#812 · Filter by author manasij7479 opened on Apr 7, 2021
  5

• Dead links in the RESULTS file

  google/souper#810 · Filter by author patrakov opened on Feb 4, 2021

• Bogus redefinition in synthesized RHS?

  google/souper#808 · Filter by author fitzgen opened on Dec 3, 2020
  9

• Switch-case synthesis

  google/souper#800 · Filter by author fvrmatteo opened on Nov 3, 2020
  6

• Parallel inferring

  google/souper#792 · Filter by author Jacarte opened on Sep 30, 2020
  2

• Building on macOS 10.15: ld: symbol(s) not found for architecture x86_64

  google/souper#783 · Filter by author dvcrn opened on Jul 21, 2020
  10

• EBNF-style grammar for Souper's text format?

  google/souper#782 · Filter by author fitzgen opened on Jul 21, 2020
  16

• Assertion failed: (BlockCache.empty()), function synthesize, file ../lib/Infer/ConstantSynthesis.cpp, line 412.

  google/souper#781 · Filter by author regehr opened on Jul 1, 2020

• PHI nodes not grouped at top of basic block!

  google/souper#779 · Filter by author regehr opened on Jun 26, 2020

• alive2 backend needs to understand phi

  google/souper#777 · Filter by author regehr opened on Jun 12, 2020
  1