Skip to content

Issues: mlb2251/stitch

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

22 Open 93 Closed
22 Open 93 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

How to limit the invention to have a full function form?
#182 opened Nov 1, 2024 by citceae
Specifications of the grammar for the lisp-style lambda calculus
#181 opened Jul 26, 2024 by Niknymusing
currently final_cost and many printouts and things dont include abstraction size in their output
#165 opened Dec 17, 2022 by mlb2251
slight startup delay
#159 opened Nov 28, 2022 by mlb2251
Add types to stitch
#158 opened Nov 25, 2022 by mlb2251
update to clap 4.X
#157 opened Nov 24, 2022 by mlb2251
add min within task to the various printouts bug Something isn't working
#156 opened Nov 24, 2022 by mlb2251
update azero_pruning_cutoff during arity zero in the NON cfg.inv_candidates == 1 case as well too
#149 opened Nov 10, 2022 by mlb2251
add context threading
#146 opened Nov 6, 2022 by mlb2251
Iterative deepening search?
#144 opened Nov 6, 2022 by mlb2251
remove parking_lot dependency cleanup
#143 opened Nov 4, 2022 by mlb2251
1
make clap not a dependency of stitch unless you want to use the stitch binary cleanup
#142 opened Nov 4, 2022 by mlb2251
Two ways to tighten upper bound optimization
#139 opened Aug 24, 2022 by mlb2251
1
Add HeapKey as an enum to let us change the heap ordering without needing to make SharedData generic
#122 opened Apr 11, 2022 by mlb2251
canonicalizing the numbering of invention vars at the end of the day
#114 opened Apr 8, 2022 by mlb2251
4
could possibly tighten compressive_utility_upper_bound to use use-conflicts?
#100 opened Mar 31, 2022 by mlb2251
Optimal rewriting under a set of inventions
#94 opened Mar 25, 2022 by mlb2251
1
make num_prior_inventions
#91 opened Mar 21, 2022 by mlb2251
Add bash autocomplete for commandline args
#69 opened Mar 15, 2022 by mlb2251
Preserve Beta-Normal Eta-Long Form
#60 opened Mar 11, 2022 by mlb2251
3 tasks
@mlb2251
6
Add non-criterion benchmark && github action
#53 opened Mar 10, 2022 by mlb2251
1
Document optimizations documentation Improvements or additions to documentation
#46 opened Mar 9, 2022 by mlb2251
ProTip! Find all open issues with in progress development work with linked:pr.