Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / marcusrossel/lean-egg issues and pull requests

#49 - Better Facts in E-Graphs

Issue - State: open - Opened by marcusrossel about 2 months ago - 6 comments

#48 - use an egraph analysis to store the facts

Pull Request - State: closed - Opened by memoryleak47 about 2 months ago - 1 comment

#47 - handle equality conditions by e-graph lookup

Pull Request - State: closed - Opened by memoryleak47 about 2 months ago - 1 comment

#46 - bump toolchain to v4.15.0-rc1

Pull Request - State: closed - Opened by goens about 2 months ago - 2 comments

#45 - add lie examples

Pull Request - State: closed - Opened by goens 2 months ago - 1 comment

#44 - Add an example of diamonds vs flat

Pull Request - State: closed - Opened by goens 2 months ago

#43 - A strange example

Issue - State: open - Opened by zzhisthebest 2 months ago - 3 comments
Labels: known problem

#42 - Mathlib Examples

Pull Request - State: closed - Opened by goens 3 months ago

#42 - Mathlib Examples

Pull Request - State: closed - Opened by goens 3 months ago

#40 - Find Inconsistent Hypotheses à la Coquetier

Issue - State: open - Opened by marcusrossel 4 months ago

#39 - Missing E-Class Analysis for `Shaped`

Issue - State: closed - Opened by marcusrossel 4 months ago

#39 - Missing E-Class Analysis for `Shaped`

Issue - State: closed - Opened by marcusrossel 4 months ago

#38 - fix: do not unfold theorems given as explicit premises

Pull Request - State: closed - Opened by nomeata 4 months ago - 1 comment

#38 - fix: do not unfold theorems given as explicit premises

Pull Request - State: closed - Opened by nomeata 4 months ago - 1 comment

#37 - `egg calc` doesn't work with binders introduced by `intro`

Issue - State: closed - Opened by goens 4 months ago

#36 - add some tests from the equational_theories project

Pull Request - State: closed - Opened by goens 4 months ago

#35 - Rerun with Shapes if Proof Reconstruction Fails

Issue - State: closed - Opened by marcusrossel 4 months ago

#34 - Use `LeanApplier` for all Rewrites?

Issue - State: open - Opened by marcusrossel 4 months ago - 1 comment

#34 - Use `LeanApplier` for all Rewrites?

Issue - State: open - Opened by marcusrossel 4 months ago - 1 comment

#33 - E-Node Pruning

Issue - State: open - Opened by marcusrossel 5 months ago
Labels: low priority

#33 - E-Node Pruning

Issue - State: open - Opened by marcusrossel 5 months ago
Labels: low priority

#32 - Instance Precondition Inference

Issue - State: closed - Opened by marcusrossel 5 months ago

#32 - Instance Precondition Inference

Issue - State: closed - Opened by marcusrossel 5 months ago

#31 - Special Handling for Eq Conditions

Issue - State: closed - Opened by marcusrossel 8 months ago - 2 comments

#30 - add imports to the first two examples in README

Pull Request - State: closed - Opened by goens 8 months ago - 1 comment

#30 - add imports to the first two examples in README

Pull Request - State: closed - Opened by goens 8 months ago - 1 comment

#29 - add foldl examples

Pull Request - State: closed - Opened by goens 9 months ago - 1 comment

#29 - add foldl examples

Pull Request - State: closed - Opened by goens 9 months ago - 1 comment

#28 - Stack Overflow from β-reduction

Issue - State: closed - Opened by marcusrossel 9 months ago - 1 comment
Labels: bug

#27 - Add `@egg` tags

Pull Request - State: closed - Opened by goens 9 months ago - 2 comments

#26 - Presentation fixes

Pull Request - State: closed - Opened by goens 9 months ago

#26 - Presentation fixes

Pull Request - State: closed - Opened by goens 9 months ago

#25 - Proof Compression

Issue - State: open - Opened by marcusrossel 10 months ago
Labels: low priority

#25 - Proof Compression

Issue - State: open - Opened by marcusrossel 10 months ago
Labels: low priority

#24 - More Natlit Defeqs

Issue - State: closed - Opened by marcusrossel 11 months ago - 1 comment

#24 - More Natlit Defeqs

Issue - State: closed - Opened by marcusrossel 11 months ago - 1 comment

#23 - Add CI

Pull Request - State: closed - Opened by goens 11 months ago - 1 comment

#22 - add PIC for linux builds

Pull Request - State: closed - Opened by goens 11 months ago - 1 comment

#21 - Handle Invalid Rewrites in Rust

Issue - State: closed - Opened by marcusrossel 12 months ago
Labels: bug

#20 - Remove Universe Level Erasure

Issue - State: closed - Opened by marcusrossel 12 months ago
Labels: bug

#20 - Remove Universe Level Erasure

Issue - State: closed - Opened by marcusrossel 12 months ago
Labels: bug

#19 - Level MVar Unification

Issue - State: closed - Opened by marcusrossel 12 months ago - 2 comments
Labels: bug

#19 - Level MVar Unification

Issue - State: closed - Opened by marcusrossel 12 months ago - 2 comments
Labels: bug

#18 - Could Julia help?

Issue - State: open - Opened by 0x0f0f0f 12 months ago - 1 comment
Labels: low priority

#17 - Non-Recursive Equations

Issue - State: closed - Opened by marcusrossel 12 months ago - 1 comment
Labels: bug

#15 - Explosion

Issue - State: closed - Opened by marcusrossel 12 months ago - 1 comment

#15 - Explosion

Issue - State: closed - Opened by marcusrossel 12 months ago - 1 comment

#14 - β-Reduction

Issue - State: closed - Opened by marcusrossel about 1 year ago - 1 comment

#13 - Tests by `simp only`

Issue - State: closed - Opened by marcusrossel about 1 year ago

#13 - Tests by `simp only`

Issue - State: closed - Opened by marcusrossel about 1 year ago

#12 - Non-Equivalence Goals (`egg [...] from`)

Issue - State: closed - Opened by marcusrossel about 1 year ago

#12 - Non-Equivalence Goals (`egg [...] from`)

Issue - State: closed - Opened by marcusrossel about 1 year ago

#11 - Nat Literals

Issue - State: closed - Opened by marcusrossel about 1 year ago - 1 comment

#10 - `egg?`

Issue - State: closed - Opened by marcusrossel about 1 year ago
Labels: low priority

#8 - Explosion for Inhabited Types

Issue - State: closed - Opened by marcusrossel about 1 year ago
Labels: low priority

#6 - E-Graph Visualization

Issue - State: open - Opened by marcusrossel about 1 year ago - 1 comment
Labels: low priority

#4 - Use for Explanation Length Optimization

Issue - State: closed - Opened by marcusrossel about 1 year ago

#3 - Type Class Rewrites

Issue - State: closed - Opened by marcusrossel about 1 year ago

#2 - `reduce` Configuration Option

Issue - State: closed - Opened by marcusrossel about 1 year ago

#1 - More Efficient `validDirs`

Issue - State: closed - Opened by marcusrossel about 1 year ago
Labels: low priority