Skip to content

Pull requests: buzden/deptycheck

New pull request New
8 Open 147 Closed
8 Open 147 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Idris2 pretty printer initial support code: enhancement New feature or improvement code: redesign New design of some part of the library part: examples Related to the usage examples
#208 opened Oct 28, 2024 by GlebChili Loading…
8
[ example ] Sorted tree examples improvements code: enhancement New feature or improvement derive: least-effort Relates to the `LeastEffort` derivation algorithm issue: distribution When distribution of generation is wrong part: derivation Related to automated derivation of generators part: examples Related to the usage examples
#195 opened Sep 9, 2024 by buzden • Draft
[ example ] Simplify and improve the sorted list example code: enhancement New feature or improvement code: refactoring Changing the code structure without changing functionality issue: distribution When distribution of generation is wrong part: examples Related to the usage examples part: tests Related to tests of the library status: blocked Blocked by some other issue or ongoing work
#193 opened Sep 4, 2024 by buzden Loading…
1
[ derive ] Impement multi-stage algorithm for calculation of ordering code: enhancement New feature or improvement code: fix Fixing some issues derive: least-effort Relates to the `LeastEffort` derivation algorithm issue: compilation error When compilation error raises because of the library issue: performance When work takes too much resources part: derivation Related to automated derivation of generators
#183 opened Aug 15, 2024 by buzden Loading…
3
[ derive ] Implements data types fusion code: enhancement New feature or improvement code: fix Fixing some issues derive: least-effort Relates to the `LeastEffort` derivation algorithm issue: performance When work takes too much resources part: derivation Related to automated derivation of generators
#144 opened Apr 23, 2024 by SimonTsirikov • Draft
1
[ derive ] Fix distribution for tricky dependency+recursion case code: fix Fixing some issues derive: core Something in between single type generator and its constructors issue: distribution When distribution of generation is wrong part: derivation Related to automated derivation of generators part: examples Related to the usage examples status: confirmed bug Something isn't working
#129 opened Mar 28, 2024 by buzden Loading…
1
[ derive ] Search for hinted externals before deriving code: enhancement New feature or improvement derive: entry Issue on the derivation function facing to the end-user part: derivation Related to automated derivation of generators status: blocked Blocked by some other issue or ongoing work status: upstream Upstream issue
#69 opened May 29, 2023 by buzden Loading…
[ new ] Support type-polymorphic type arguments code: enhancement New feature or improvement derive: core Something in between single type generator and its constructors derive: entry Issue on the derivation function facing to the end-user derive: infrastructure Issue around derivation, but not directly in derive: least-effort Relates to the `LeastEffort` derivation algorithm part: derivation Related to automated derivation of generators status: blocked Blocked by some other issue or ongoing work
#19 opened Aug 18, 2022 by buzden • Draft
1
ProTip! Filter pull requests by the default branch with base:master.