Search results

Conditions in explanations

Status: Open.

#350 In egraphs-good/egg;

· adrianleh opened on Mar 3, 2025

Documentation: Clarify discriminant requirements

Status: Open.

#348 In egraphs-good/egg;

· vmiquel-42 opened on Feb 16, 2025

Different results depending on architecture

Status: Open.

#328 In egraphs-good/egg;

· bksaiki opened on Jul 30, 2024

Stack overflow during rule application

Status: Open.

#327 In egraphs-good/egg;

· bksaiki opened on Jul 30, 2024

How to access external data when making an analysis?

Status: Open.

#315 In egraphs-good/egg;

· ChijinZ opened on May 19, 2024

Relaxing 'static lifetime bounds?

Status: Open.

#311 In egraphs-good/egg;

· robert-chiniquy opened on Apr 22, 2024

Proof explanations for multi_rewrite

Status: Open.

#231 In egraphs-good/egg;

· K-dizzled opened on Feb 8, 2023

Pretty printing stack overflow for proofs

Status: Open.

#211 In egraphs-good/egg;

· oflatt opened on Oct 25, 2022

LpExtractor creates an infeasible problem for CBC

Status: Open.

#207 In egraphs-good/egg;

· khaki3 opened on Oct 2, 2022

Cycles in existence proofs

Status: Open.

#202 In egraphs-good/egg;

· oflatt opened on Aug 31, 2022

assertion failed: solution.col(v.active) > 0.0

Status: Open.

#196 In egraphs-good/egg;

· Bastacyclop opened on Jul 4, 2022

Ability to limit memory usage

Status: Open.

#171 In egraphs-good/egg;

· Bastacyclop opened on Mar 15, 2022