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 22 days ago
#37 - Resolver trait
Issue -
State: open - Opened by dcz-self 25 days ago
- 3 comments
#36 - chore: Fix code in `README.md` + (auto)align version in repl + minor improvements (typos, etc.)
Pull Request -
State: closed - Opened by duesee about 1 month ago
#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 2 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