Ecosyste.ms: Issues

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

GitHub / advancedresearch/linear_solver issues and pull requests

#26 - Use Cuckoo filter instead of Bloom filter

Pull Request - State: closed - Opened by bvssvni over 5 years ago

#25 - Bloom crate is buggy and not maintained

Issue - State: closed - Opened by mfil over 5 years ago - 3 comments

#24 - Publish 0.2.1

Pull Request - State: closed - Opened by bvssvni almost 6 years ago

#23 - Publish 0.2.0

Pull Request - State: closed - Opened by bvssvni about 6 years ago

#22 - Update README

Pull Request - State: closed - Opened by bvssvni about 6 years ago

#21 - `SimplifyOneTrue` => `OneTrue` and `SimplifyTrue` => `ManyTrue`

Pull Request - State: closed - Opened by bvssvni about 6 years ago

#20 - Added `SimplifyOneTrue` and `SimplifyOne`

Pull Request - State: closed - Opened by bvssvni about 6 years ago

#19 - Fixed comment

Pull Request - State: closed - Opened by bvssvni about 6 years ago

#18 - Fixed comments

Pull Request - State: closed - Opened by bvssvni about 6 years ago

#17 - Added magic square example

Pull Request - State: closed - Opened by bvssvni about 6 years ago

#16 - Put "walk" example in docs

Pull Request - State: closed - Opened by bvssvni about 6 years ago

#15 - Simplify "walk" example

Pull Request - State: closed - Opened by bvssvni about 6 years ago

#14 - Fixed double word

Pull Request - State: closed - Opened by bvssvni about 6 years ago

#13 - Documented inference rules in "le" example

Pull Request - State: closed - Opened by bvssvni about 6 years ago

#12 - Document inference rules of "le" example

Issue - State: closed - Opened by bvssvni about 6 years ago
Labels: easy

#11 - Publish 0.1.0

Pull Request - State: closed - Opened by bvssvni over 6 years ago

#10 - Added doc comments to README

Pull Request - State: closed - Opened by bvssvni over 6 years ago

#9 - Added example to docs

Pull Request - State: closed - Opened by bvssvni over 6 years ago

#8 - Added `SimplifyMany`

Pull Request - State: closed - Opened by bvssvni over 6 years ago

#7 - Added "prime" example

Pull Request - State: closed - Opened by bvssvni over 6 years ago

#6 - Added "walk" example, fixed linear logic

Pull Request - State: closed - Opened by bvssvni over 6 years ago

#5 - Add docs comments to README

Issue - State: closed - Opened by bvssvni over 6 years ago
Labels: easy

#4 - Publish on crates.io

Issue - State: closed - Opened by bvssvni over 6 years ago - 1 comment
Labels: easy

#3 - Add example to docs

Issue - State: closed - Opened by bvssvni over 6 years ago
Labels: easy

#2 - Add `SimplifyMany` variant to `Inference`

Issue - State: closed - Opened by bvssvni over 6 years ago
Labels: easy

#1 - First commit

Pull Request - State: closed - Opened by bvssvni over 6 years ago