Ecosyste.ms: Issues

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

GitHub / fatho/logru issues and pull requests

#38 - RFC: Constraints

Pull Request - State: open - Opened by dcz-self 23 days ago

#37 - Resolver trait

Issue - State: open - Opened by dcz-self 26 days ago - 3 comments

#35 - Prepare v0.4.1

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

#34 - Clone resolvers

Pull Request - State: closed - Opened by dcz-self 2 months ago - 2 comments

#33 - SymbolsOverlay: derive Clone

Pull Request - State: closed - Opened by dcz-self 2 months ago - 3 comments

#32 - RFC: Arithmetics

Pull Request - State: open - Opened by dcz-self 3 months ago - 2 comments

#31 - Attach prettifier to query

Pull Request - State: closed - Opened by dcz-self 3 months ago

#30 - Prepare v0.4

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

#29 - Check formatting on CI

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

#28 - Run CI on PRs and check documentation

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

#27 - immutable Universe

Pull Request - State: closed - Opened by dcz-self 3 months ago - 3 comments

#26 - Parse line comments behind %

Pull Request - State: closed - Opened by dcz-self 3 months ago - 1 comment

#25 - solution: Create dedicated type

Pull Request - State: closed - Opened by dcz-self 3 months ago

#24 - Textual: equality syntax sugar

Issue - State: open - Opened by dcz-self 3 months ago - 2 comments

#23 - scope: Add getting Var and iterating names.

Pull Request - State: closed - Opened by dcz-self 3 months ago

#22 - usage: How to connect a textual query to results?

Issue - State: closed - Opened by dcz-self 3 months ago - 4 comments

#21 - Prepare v0.3

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

#20 - Implement Cut

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

#19 - Simplify resolvers

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

#18 - Add integer primitives

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

#17 - Generic resolvers

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

#16 - Fix bug in occurs check

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

#15 - Bug in occurs check resulting in stack overflow

Issue - State: closed - Opened by fatho 3 months ago
Labels: bug

#14 - Refactor how symbol and variable names are managed

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

#13 - Consider implementing number literals

Issue - State: closed - Opened by dcz-self 4 months ago - 3 comments
Labels: enhancement

#12 - Add named variables

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

#11 - Update dependencies

Pull Request - State: closed - Opened by fatho 11 months ago

#10 - Bump bumpalo from 3.10.0 to 3.12.0

Pull Request - State: closed - Opened by dependabot[bot] about 2 years ago - 1 comment
Labels: dependencies

#9 - Bump regex from 1.5.4 to 1.5.5

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago - 2 comments
Labels: dependencies

#8 - Bump crossbeam-utils from 0.8.5 to 0.8.8

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago - 2 comments
Labels: dependencies

#7 - Bump nix from 0.22.0 to 0.22.3

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago - 2 comments
Labels: dependencies

#6 - Optimize again

Pull Request - State: closed - Opened by fatho over 3 years ago

#5 - Implement a proper text-based language on top of the solver core

Pull Request - State: closed - Opened by fatho over 3 years ago

#4 - Add nix derivation and nix-based CI

Pull Request - State: closed - Opened by fatho over 3 years ago

#3 - Split large modules and write documentation

Pull Request - State: closed - Opened by fatho over 3 years ago

#2 - Improve solver speed by 80% on Zebra example

Pull Request - State: closed - Opened by fatho over 3 years ago

#1 - Complete reimplementation of the solver core

Pull Request - State: closed - Opened by fatho over 3 years ago