Skip to content

Issues: Herb-AI/HerbSearch.jl

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

26 Open 23 Closed
26 Open 23 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 handle external packages needed for specific search methods?
#129 opened Nov 20, 2024 by THinnerichs
1
Integrate refactoring project to Herb enhancement New feature or request
#124 opened Nov 14, 2024 by janvandermeulen
1
@janvandermeulen @pujiii
1
DreamCoder skeleton enhancement New feature or request
#120 opened Oct 3, 2024 by ReubenJ
@THinnerichs
1
Divide and Conquer, per-example synthesis enhancement New feature or request
#119 opened Oct 3, 2024 by THinnerichs
@ReubenJ @pwochner
2
Iterator doesn't iterate? bug Something isn't working
#113 opened Jul 18, 2024 by THinnerichs
6
Remarks and future considerations for FrAngel, fragments, and angelic conditions
#112 opened Jul 8, 2024 by To5BG
1
Remove the FixedShapedIterator
#110 opened Jul 3, 2024 by Whebon
@Whebon
TagBot failing
#103 opened May 15, 2024 by ReubenJ
Make the number of programs for each level for probabilities match the numbers from the research paper
#92 opened May 5, 2024 by nicolaefilat
1
Fix while loop to create a random program in stochastic algorithms
#89 opened May 3, 2024 by nicolaefilat
Update documentation of StochasticSearchIteartor functions
#88 opened May 3, 2024 by nicolaefilat
Refactor and fix VLNS propose function
#87 opened May 3, 2024 by nicolaefilat
Resume iterators after stopping the search
#86 opened Apr 26, 2024 by nicolaefilat
Fix max_time flag using Scala-like futures
#80 opened Apr 4, 2024 by sebdumancic
@sebdumancic
2
Fix max_time
#78 opened Apr 4, 2024 by sebdumancic
Rewrite bottom up iterator
#75 opened Mar 27, 2024 by Whebon
@TudorMagirescu
Renaming solver related functions/variables
#74 opened Mar 26, 2024 by Whebon
@IssaHanou
Rewrite the stochastic iterator
#73 opened Mar 26, 2024 by Whebon
@nicolaefilat @Whebon
Differentiate suboptimal_program from a program that fails to execute
#72 opened Mar 21, 2024 by ReubenJ
1
Fix the probabilistic enumerator bug Something isn't working
#68 opened Mar 11, 2024 by Whebon
3
Refactor synth
#56 opened Jan 19, 2024 by THinnerichs
2
Efficient data structures
#54 opened Jan 19, 2024 by sebdumancic
Multithreading search
#23 opened Mar 6, 2023 by jaapdejong15
1
A* search
#13 opened Mar 2, 2023 by sebdumancic
@nicolaefilat @piotr-cichon
Jump start the search procedure
#9 opened Feb 27, 2023 by THinnerichs
@jaapdejong15 @THinnerichs @sourceCode4
2
ProTip! Add no:assignee to see everything that’s not assigned.