Skip to content
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

Jump to bottom

Investigate failing CI #81

Closed
wants to merge 38 commits into from
Closed

Investigate failing CI #81

wants to merge 38 commits into from

Conversation

ReubenJ
Copy link
Member

@ReubenJ ReubenJ commented Apr 4, 2024 •
edited
Loading

#76 didn't pass CI because HerbConstraints==0.2.0 is not released, but is required due to abd2b6d

Opened this PR mainly to trigger CI, not to actually merge to master yet.

Whebon and others added 30 commits February 25, 2024 21:02
@Whebon
Add the Solver as an optional argument to the program iterator
d26d98d
@Whebon
Update heuristics to only search for VariableShapedHoles
c2f5225
@Whebon
Rewrite TopDownIteration for the Solver
4ad771f
@Whebon
Move the creation of the Solver outside the iterator
a35ea2d
@Whebon
Add basic implementation of a FixedShapedIterator
696c54e
@Whebon
Add a test for the new Forbidden constraint
50cc556
@Whebon
check if the solver state is still feasible after a tree manipulation
211e517
@Whebon
Reduce the number of save_state! calls
c45e9ce
@Whebon
Track the number of fixed shaped trees
6e8f6f9
@Whebon
Add tests for searches with the Ordered constraint
6386396
@Whebon
Add tests for Forbidden
51aa284
@Whebon
Enable old tests
5f0b17f
@Whebon
Remove test_context_sensitive_iterators
4a5dfec
@Whebon
Rename Solver to GenericSolver
ef2b51b
@Whebon
Add the FixedShapedSolver to the top down iterator
6639d3c
@Whebon
Pass the SolverStatistics object to the inner solver
1d8296f
@Whebon
Add a test for a DomainRuleNode in a Forbidden Constraint
f44eb0f
@Whebon
Add a test for a DomainRuleNode in an Ordered constraint
7f9a199
@Whebon
Add a test for the Contains constraint
74592e4
@Whebon
Rename is_feasible
fcf8adc
@THinnerichs
Grammar -> AbstractGrammar; Update version
50238da
@Whebon @THinnerichs
Add the Solver as an optional argument to the program iterator
213c816
@Whebon @THinnerichs
Update heuristics to only search for VariableShapedHoles
3c69357
@Whebon @THinnerichs
Rewrite TopDownIteration for the Solver
774c096
@Whebon @THinnerichs
Move the creation of the Solver outside the iterator
3aee905
@Whebon @THinnerichs
Add basic implementation of a FixedShapedIterator
6ba598d
@Whebon @THinnerichs
Add a test for the new Forbidden constraint
db6ec8a
@Whebon @THinnerichs
check if the solver state is still feasible after a tree manipulation
c58227c
@Whebon @THinnerichs
Reduce the number of save_state! calls
c962dc7
@Whebon @THinnerichs
Track the number of fixed shaped trees
9652a00
@ReubenJ ReubenJ closed this Apr 18, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@ReubenJ @Whebon @THinnerichs