Search results

Use Error-Unable to query solver: Connection timed out

Status: Open.

#882 In google/souper;

· 16061054 opened on Sep 6, 2024

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

Status: Open.

#876 In google/souper;

· hstk30-hw opened on Nov 30, 2023

Possible bugs when generating inputs for dataflow pruning

Status: Open.

#870 In google/souper;

· liamsemeria opened on Jun 14, 2023

Packaging Souper

Status: Open.

#869 In google/souper;

· lovasko opened on May 24, 2023

building for m1

Status: Open.

#868 In google/souper;

· liamsemeria opened on May 18, 2023

Better spreading SMT solver load?

Status: Open.

#863 In google/souper;

· chadbrewbaker opened on Dec 12, 2022

Build failure

Status: Open.

#854 In google/souper;

· StratusFearMe21 opened on Apr 14, 2022

LLVM Test Suite test failure with NO_INFER

Status: Open.

#853 In google/souper;

· manasij7479 opened on Apr 5, 2022

use error

Status: Open.

#851 In google/souper;

· sanqudui8ban opened on Jan 4, 2022

Build failure

Status: Open.

#850 In google/souper;

· adamhaber opened on Nov 28, 2021

Not deterministic SMT query string

Status: Open.

#847 In google/souper;

· pgarba opened on Jun 10, 2021

Instruction does not dominate all uses!

Status: Open.

#842 In google/souper;

· regehr opened on Jun 6, 2021