Ecosyste.ms: Issues

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

GitHub / egraphs-good/egg issues and pull requests

#345 - Kaiyu

Pull Request - State: closed - Opened by yangky11 9 days ago - 1 comment

#344 - Development code for exploring data parallelism

Pull Request - State: closed - Opened by EdmundGoodman 13 days ago

#343 - Memory limit

Pull Request - State: closed - Opened by SaltyPeppermint 14 days ago

#342 - fix(security): update hashbrown dependency to 0.15.2

Pull Request - State: closed - Opened by quanterion 29 days ago - 5 comments

#341 - Use $crate::Id to reference the egg::Id type in `define_language!`

Pull Request - State: closed - Opened by jungnitz 30 days ago - 1 comment

#340 - Fix proof OOM by actually counting all neighbors

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

#339 - Build error using `nightly` toolchain

Issue - State: closed - Opened by bksaiki about 2 months ago - 3 comments

#338 - unique node counting

Issue - State: closed - Opened by Flians 3 months ago - 1 comment

#337 - Add data field in runner to solve hook ownership issues

Pull Request - State: closed - Opened by Bastacyclop 3 months ago - 4 comments

#336 - Replace `fxhash` with `rustc-hash`

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

#335 - Add `&mut self` parameter to all Analysis functions

Issue - State: closed - Opened by KarelPeeters 5 months ago - 2 comments

#334 - Simple set of addition rewrites already explodes

Issue - State: closed - Opened by KarelPeeters 5 months ago - 8 comments

#333 - Remove Existence Explanations

Pull Request - State: closed - Opened by oflatt 5 months ago - 1 comment

#332 - Refactor existance proofs, fixing bugs in the process

Pull Request - State: closed - Opened by oflatt 5 months ago - 1 comment

#331 - Improve benchmarking with criterion

Issue - State: closed - Opened by paulzzy 5 months ago - 6 comments

#330 - Parallel matching

Pull Request - State: closed - Opened by szymon-zygula 6 months ago - 1 comment

#329 - Monte-Carlo Tree Search

Issue - State: closed - Opened by jafioti 6 months ago - 8 comments

#328 - Different results depending on architecture

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

#327 - Stack overflow during rule application

Issue - State: open - Opened by bksaiki 6 months ago

#326 - remove clone requirement on `fold`

Pull Request - State: closed - Opened by mtak- 6 months ago

#325 - RecExpr Deref/DerefMut=[L]. also convenience methods and trait impls

Pull Request - State: closed - Opened by mtak- 6 months ago - 1 comment

#324 - remove hashbrown from id_to_pattern API

Pull Request - State: closed - Opened by mtak- 6 months ago - 1 comment

#323 - egg ignore a comm rule

Issue - State: closed - Opened by asukaminato0721 6 months ago - 4 comments

#322 - how to do some recursive check on `rw!` if cond

Issue - State: closed - Opened by asukaminato0721 6 months ago - 1 comment

#321 - Added `fn root(&self) -> Id` to `RecExpr`.

Pull Request - State: closed - Opened by yonatan-reicher 7 months ago - 1 comment

#320 - chore: keep rust version up-to-date with `stable` channel in CI

Pull Request - State: closed - Opened by kayagokalp 7 months ago - 3 comments

#319 - Use newer version of rustc in CI

Issue - State: closed - Opened by kayagokalp 7 months ago - 1 comment

#318 - feat: support generics with `define_language` macro

Pull Request - State: closed - Opened by kayagokalp 7 months ago - 3 comments

#317 - Closes #316 (Was dropping rest of proof)

Pull Request - State: closed - Opened by eytans 7 months ago - 3 comments

#316 - Bad explanation when using explain existance

Issue - State: closed - Opened by eytans 7 months ago - 1 comment

#315 - How to access external data when making an analysis?

Issue - State: open - Opened by ChijinZ 8 months ago - 1 comment

#314 - Rename `RecExpr` to `Expr`

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

#313 - Add `hashmap_with_capacity`

Pull Request - State: closed - Opened by cospectrum 9 months ago - 4 comments

#312 - Return `Language::len` in O(1)

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

#311 - Relaxing `'static` lifetime bounds?

Issue - State: open - Opened by robert-chiniquy 9 months ago - 5 comments

#310 - Fix proofs: switch to `BigUint` instead of `Saturating<usize>` for proof cost

Pull Request - State: closed - Opened by bksaiki 9 months ago - 4 comments

#309 - Become a (more) independent fork

Pull Request - State: closed - Opened by dewert99 10 months ago - 1 comment

#308 - Add example in doc comment of 'RecExpr'

Pull Request - State: closed - Opened by marcusrossel 10 months ago - 2 comments

#307 - Avoid recursive rule applying during Runner::run()

Issue - State: closed - Opened by ChijinZ 10 months ago - 2 comments

#306 - Translate between EGraph types

Pull Request - State: closed - Opened by sgpthomas 10 months ago - 5 comments

#305 - Map from `EGraph<L, _>` to `EGraph<L2, _>`

Issue - State: closed - Opened by sgpthomas 10 months ago - 1 comment

#304 - Question: Dealing with side effects/assignment

Issue - State: closed - Opened by thorstenhater 11 months ago - 4 comments

#302 - Loss of the discussions tab and its content

Issue - State: closed - Opened by SamPruden 11 months ago - 2 comments

#301 - Where is the dicussion part

Issue - State: closed - Opened by Gary-oak-Star 11 months ago - 1 comment

#300 - Push Pop API

Pull Request - State: open - Opened by dewert99 12 months ago

#299 - [doc] redundant web demo

Pull Request - State: closed - Opened by majidaldo 12 months ago - 5 comments

#297 - Division by zero nitpick - docs

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

#296 - Extracted out `RawEGraph` type

Pull Request - State: open - Opened by dewert99 12 months ago - 18 comments

#295 - How to simplify multiple equations with the same variables?

Issue - State: closed - Opened by Flians 12 months ago - 4 comments

#293 - Generic analysis

Pull Request - State: closed - Opened by dewert99 about 1 year ago - 5 comments

#292 - Is possible to use egg with my own parser as *input* instead of using text?

Issue - State: closed - Opened by mamcx about 1 year ago - 4 comments

#291 - Add nodes field to EGraph

Pull Request - State: closed - Opened by dewert99 about 1 year ago - 10 comments

#290 - Added push/pop API

Pull Request - State: open - Opened by dewert99 about 1 year ago

#289 - Make explain_id_equivalence public

Pull Request - State: closed - Opened by dewert99 about 1 year ago

#287 - An approach to a string-free API

Pull Request - State: closed - Opened by robert-chiniquy about 1 year ago - 10 comments

#284 - Optimised the `classes` field of `EGraph` to avoid extra hashing

Pull Request - State: closed - Opened by dewert99 about 1 year ago - 3 comments

#283 - Add public functions for working with uncanonicalized Ids

Pull Request - State: closed - Opened by dewert99 about 1 year ago - 1 comment

#282 - Explanations using `add_internal` and `union_trusted`

Issue - State: closed - Opened by dewert99 about 1 year ago - 2 comments

#281 - How to pretty-print an egrah

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

#280 - It is possible to build egraph like Directed acyclic graph?

Issue - State: closed - Opened by Gary-oak-Star about 1 year ago - 3 comments

#278 - How to implement complex rules for expression simplification?

Issue - State: closed - Opened by yg0x01 over 1 year ago - 2 comments

#277 - Make Analysis::make take in the E-graph mutably

Pull Request - State: closed - Opened by imbrem over 1 year ago - 15 comments

#276 - Mutable access to the EGraph in `Analysis::make`

Issue - State: closed - Opened by cole-k over 1 year ago - 3 comments

#275 - allow converting `RecExpr` to `Vec<L>`

Pull Request - State: closed - Opened by bjchambers over 1 year ago

#274 - Clean up proof code using saturating numbers

Pull Request - State: closed - Opened by oflatt over 1 year ago

#272 - Syntax for passing multiple arguments to condition

Issue - State: closed - Opened by aditink over 1 year ago - 1 comment

#270 - allow per-language discriminants

Pull Request - State: closed - Opened by bjchambers over 1 year ago - 3 comments

#269 - How to extract the solutions several times sorted by astsize

Issue - State: closed - Opened by chestercc1997 over 1 year ago - 5 comments

#267 - Fix minor grammar in _01_background.rs

Pull Request - State: closed - Opened by namin over 1 year ago - 1 comment

#266 - Add class size based scheduler

Pull Request - State: closed - Opened by remysucre over 1 year ago - 1 comment

#264 - Randomly extract a RecExpr from a EGraph

Issue - State: closed - Opened by ntcmp2u over 1 year ago - 1 comment

#263 - Backend-agnostic LP

Issue - State: closed - Opened by averyanalex over 1 year ago - 1 comment

#259 - More fixes for large proofs (overflows)

Pull Request - State: closed - Opened by oflatt over 1 year ago - 2 comments

#258 - Prop test: error in CostantFold

Issue - State: closed - Opened by jakobhartmann over 1 year ago - 1 comment

#257 - impl From for converting a &RecExpr<L> to a Pattern<L>.

Pull Request - State: closed - Opened by nlewycky over 1 year ago

#256 - Fix two more typos in comments.

Pull Request - State: closed - Opened by nlewycky over 1 year ago

#255 - Derive Eq when deriving PartialEq, as suggested by clippy.

Pull Request - State: closed - Opened by nlewycky over 1 year ago

#253 - Use a unique queue for pending analyses

Pull Request - State: closed - Opened by Bastacyclop over 1 year ago - 2 comments

#250 - Use a queue for pending_analysis

Pull Request - State: closed - Opened by mwillsey almost 2 years ago - 2 comments

#248 - avoid panicked at 'attempt to add with overflow'

Pull Request - State: closed - Opened by framist almost 2 years ago

#246 - Getting the root ID of a RecExpr

Issue - State: closed - Opened by droidkid almost 2 years ago - 3 comments

#245 - Writing parsers for custom structs in define_language! macro

Issue - State: closed - Opened by droidkid almost 2 years ago - 3 comments

#243 - Optimize path compression of union-find

Pull Request - State: closed - Opened by QuarticCat almost 2 years ago - 1 comment

#239 - Pathological rebuild performance

Issue - State: closed - Opened by meithecatte almost 2 years ago - 18 comments

#237 - Use saturating_add in AstSize

Pull Request - State: closed - Opened by meithecatte almost 2 years ago

#236 - Fix typos in comments.

Pull Request - State: closed - Opened by nlewycky almost 2 years ago

#235 - Fix typos in comments.

Pull Request - State: closed - Opened by nlewycky almost 2 years ago - 1 comment

#234 - tests/lambda.rs's handling of free variables is unsound

Issue - State: closed - Opened by meithecatte almost 2 years ago - 5 comments

#233 - Correct release date of version 0.9.3

Pull Request - State: closed - Opened by meithecatte almost 2 years ago - 1 comment

#231 - Proof explanations for multi_rewrite

Issue - State: open - Opened by K-dizzled almost 2 years ago - 11 comments

#230 - Fix performance bug in displaying let-bound version of proofs

Pull Request - State: closed - Opened by oflatt almost 2 years ago

#227 - Cascades like SQL query optimizer using egg?

Issue - State: closed - Opened by fabianmurariu almost 2 years ago - 1 comment

#226 - "Join Algorithms for the Theory of Uninterpreted Functions"

Pull Request - State: closed - Opened by oflatt about 2 years ago

#225 - 0.9.2 release

Pull Request - State: closed - Opened by oflatt about 2 years ago

#219 - Add an example that **doesn't use** the define_language macro?

Issue - State: closed - Opened by sheredom about 2 years ago - 11 comments

#218 - Add missing period

Pull Request - State: closed - Opened by meithecatte about 2 years ago

#217 - Correct _01_background.rs

Pull Request - State: closed - Opened by meithecatte about 2 years ago - 1 comment