Code

v0.3#102

Code

Merged

THinnerichs merged 94 commits intomasterHerb-AI/HerbSearch.jl:masterfrom devHerb-AI/HerbSearch.jl:devCopy head branch name to clipboardMay 15, 2024

+1,635-738

Commits

Commits on Feb 25, 2024

• Add the Solver as an optional argument to the program iterator

  Whebon

  committed
  d26d98d

• Update heuristics to only search for VariableShapedHoles

  Whebon

  committed
  c2f5225

• Rewrite TopDownIteration for the Solver

  Whebon

  committed
  4ad771f

Commits on Feb 26, 2024

• Move the creation of the Solver outside the iterator

  Whebon

  committed
  a35ea2d

Commits on Mar 1, 2024

• Add basic implementation of a FixedShapedIterator

  Whebon

  committed
  696c54e

Commits on Mar 2, 2024

• Add a test for the new Forbidden constraint

  Whebon

  committed
  50cc556

Commits on Mar 5, 2024

• check if the solver state is still feasible after a tree manipulation

  Whebon

  committed
  211e517

Commits on Mar 6, 2024

• Reduce the number of save_state! calls

  Whebon

  committed
  c45e9ce

Commits on Mar 7, 2024

• Track the number of fixed shaped trees

  Whebon

  committed
  6e8f6f9

Commits on Mar 9, 2024

• Add tests for searches with the Ordered constraint

  Whebon

  committed
  6386396

• Add tests for Forbidden

  Whebon

  committed
  51aa284

Commits on Mar 11, 2024

• Enable old tests

  Whebon

  committed
  5f0b17f

• Remove test_context_sensitive_iterators

  Whebon

  committed
  4a5dfec

Commits on Mar 14, 2024

• Rename Solver to GenericSolver

  Whebon

  committed
  ef2b51b

Commits on Mar 15, 2024

• Add the FixedShapedSolver to the top down iterator

  Whebon

  committed
  6639d3c

Commits on Mar 18, 2024

• Pass the SolverStatistics object to the inner solver

  Whebon

  committed
  1d8296f

Commits on Mar 22, 2024

• Add a test for a DomainRuleNode in a Forbidden Constraint

  Whebon

  committed
  f44eb0f

Commits on Mar 26, 2024

• Add a test for a DomainRuleNode in an Ordered constraint

  Whebon

  committed
  7f9a199

• Add a test for the Contains constraint

  Whebon

  committed
  74592e4

Commits on Mar 27, 2024

• Rename is_feasible

  Whebon

  committed
  fcf8adc

Commits on Apr 3, 2024

• Grammar -> AbstractGrammar; Update version

  THinnerichs

  committed
  50238da

• Add the Solver as an optional argument to the program iterator

  

  Whebon

  authored and

  THinnerichs

  committed
  213c816

• Update heuristics to only search for VariableShapedHoles

  

  Whebon

  authored and

  THinnerichs

  committed
  3c69357

• Rewrite TopDownIteration for the Solver

  

  Whebon

  authored and

  THinnerichs

  committed
  774c096

• Move the creation of the Solver outside the iterator

  

  Whebon

  authored and

  THinnerichs

  committed
  3aee905

• Add basic implementation of a FixedShapedIterator

  

  Whebon

  authored and

  THinnerichs

  committed
  6ba598d

• Add a test for the new Forbidden constraint

  

  Whebon

  authored and

  THinnerichs

  committed
  db6ec8a

• check if the solver state is still feasible after a tree manipulation

  

  Whebon

  authored and

  THinnerichs

  committed
  c58227c

• Reduce the number of save_state! calls

  

  Whebon

  authored and

  THinnerichs

  committed
  c962dc7

• Track the number of fixed shaped trees

  

  Whebon

  authored and

  THinnerichs

  committed
  9652a00

• Add tests for searches with the Ordered constraint

  

  Whebon

  authored and

  THinnerichs

  committed
  e5e797b

• Add tests for Forbidden

  

  Whebon

  authored and

  THinnerichs

  committed
  319ea4d

• Enable old tests

  

  Whebon

  authored and

  THinnerichs

  committed
  2a92521

• Remove test_context_sensitive_iterators

  

  Whebon

  authored and

  THinnerichs

  committed
  032f1da

• Merge branch solver

  THinnerichs

  committed
  abd2b6d

• Merge branch 'solver' into dfs-solver

  THinnerichs

  committed
  c7d4b3a

• merge dfs-solver into dev

  THinnerichs

  committed
  a63cd1e

Commits on Apr 17, 2024

• Update HerbCore to v0.3.0

  Show description for c730f97
  ReubenJ

  committed
  c730f97

Commits on Apr 18, 2024

• Make the stochastic iterator compatible with the solver

  

  Whebon

  authored and

  ReubenJ

  committed
  f16f655

• Reorganise stochastic tests

  

  Whebon

  authored and

  ReubenJ

  committed
  32dd11f

• Rename State to SolverState

  

  Whebon

  authored and

  ReubenJ

  committed
  32a233e

• Remove statefixedshapedhole2rulenode. Let the iterator return StateFixedShapedHoles without a deepcopy

  

  Whebon

  authored and

  ReubenJ

  committed
  7100907

• Work in progress to fix stackoverflow. A bug in removenode.

  Show description for 88e3f83
  

  nicolaefilat

  authored and

  ReubenJ

  committed
  88e3f83

• Typo in the test sampling

  

  Whebon

  authored and

  ReubenJ

  committed
  0cd625a

• Fix minor bugs

  

  Whebon

  authored and

  ReubenJ

  committed
  c685ea0

• Pass the max_depth to the BFSIterator in enumerate_neighbours_propose. (This should not be needed, as the max_depth is already stored in the solver. The iterator should not overwrite the max_de…

  Show description for 3e85d00
  

  Whebon

  authored and

  ReubenJ

  committed
  3e85d00

• Add derivation_heuristic and RandomIterator

  

  Whebon

  authored and

  ReubenJ

  committed
  6b4e8e9

• Re-enqueue the FixedShapedSolver in the priority queue of the TopDownIterator

  

  Whebon

  authored and

  ReubenJ

  committed
  3eb9b3e

• Replace the RandomSearchIterator with a RandomIterator (that extends from a TopDownIterator) in the stochastic search. It must be noted that sampling just a single program from the `RandomItera…

  Show description for eb2a64c
  

  Whebon

  authored and

  ReubenJ

  committed
  eb2a64c

• Rename according to HerbCore 3, bump version for HerbCore=0.3.0

  

  Whebon

  authored and

  ReubenJ

  committed
  1869914

• Merge pull request #82 from Herb-AI/stochastic-using-solver

  Show description for cada97b
  ReubenJ

  authored
  cada97b

Commits on Apr 23, 2024

• Replace collect(length(iter)) with count_expressions(iter)

  Whebon

  committed
  b3ffbe6

• Rename "variable shaped" to "non-uniform"

  Whebon

  committed
  3eb6ffc

Commits on Apr 24, 2024

• Move iteration out of the UniformSolver

  Whebon

  committed
  300e3ef

• reverse the derivation heuristic

  Whebon

  committed
  3d4ee03

• rename fixed_shaped to uniform

  Whebon

  committed
  3440d6a

Commits on Apr 25, 2024

• Refactor program iterator to have 3 constructors

  Show description for 139c486
  nicolaefilat

  committed
  139c486

• Refactored main code to use solver instead of the iterator to acccess the grammar, max_depth and start_symbol.

  Show description for 1112837
  nicolaefilat

  committed
  1112837

• Refactor tests to use the right iterator constructors

  nicolaefilat

  committed
  5bc88cc

• The solver constructor also takes max_size and max_depth.

  Show description for 3fc8cf7
  nicolaefilat

  committed
  3fc8cf7

• Add max_depth and max_size to the "simple" constructor that only uses the solver.

  Show description for a5267e6
  nicolaefilat

  committed
  a5267e6

• Move the start_symbol function call outside of for loop that initializes the genetic population for the first time.

  Show description for 27af9cd
  nicolaefilat

  committed
  27af9cd

• Refactor count_expressions to Base.length

  Whebon

  committed
  1151fa7

Commits on Apr 27, 2024

• Add a test for the fixed local ordered propagator (requires the local-ordered-stronger-inference branch of HerbConstraints)

  Whebon

  committed
  c2013b9

Commits on Apr 30, 2024

• Merge pull request #83 from Herb-AI/uniform-solver

  Show description for 4c4fc84
  ReubenJ

  authored
  4c4fc84

• Add a test for the ordered constraint

  Whebon

  committed
  c8cdb1c

Commits on May 1, 2024

• Change signature of track!

  Whebon

  committed
  0348ab3

Commits on May 2, 2024

• Add tests for the Unique and ForbiddenSequence constraints

  Whebon

  committed
  0e8145c

• Remove recursion from generate_branches

  Whebon

  committed
  99c5d06

Commits on May 3, 2024

• Merge changed with 'dev'

  nicolaefilat

  committed
  67b1a2d

• Removed unused file

  nicolaefilat

  committed
  d556e41

Commits on May 6, 2024

• Merge pull request #84 from Herb-AI/program-iterator-refactor

  Show description for 7de357c
  ReubenJ

  authored
  7de357c

• Fix Base.iterate of the uniform iterator

  Whebon

  committed
  234b6d1

• Merge branch 'dev' of https://github.com/Herb-AI/HerbSearch.jl into dev

  Whebon

  committed
  1ae483f

• Remove imports in test

  Show description for 8a736d6
  

  Whebon

  and

  ReubenJ

  authored
  8a736d6

• Remove imports in test 2

  Show description for 563a8ca
  

  Whebon

  and

  ReubenJ

  authored
  563a8ca

• Remove TODOs

  Whebon

  committed
  ec160f5

• Merge branch 'forbidden-path' of https://github.com/Herb-AI/HerbSearch.jl into forbidden-path

  Whebon

  committed
  bd5f8a5

Commits on May 7, 2024

• Merge branch 'dev' into forbidden-path

  ReubenJ

  committed
  5bc6094

• Merge pull request #93 from Herb-AI/forbidden-path

  Show description for a807386
  ReubenJ

  authored
  a807386

• Add tests for ContainsSubtree

  Whebon

  committed
  95e32ab

• Rewrite test for the ordered constraint with the test_constraint! helper function

  Whebon

  committed
  39d7203

Commits on May 8, 2024

• Add tests for interaction between multiple constraints

  Whebon

  committed
  83f0cf1

• Fix a bug related to nesting different propagate functions

  Whebon

  committed
  cf1da81

• Merge branch 'dev' into contains-subtree

  Whebon

  authored
  d5f1cde

• Fix tests to work with the new @programiterator macro

  Whebon

  committed
  98b4249

Commits on May 14, 2024

• Update Project.toml

  ReubenJ

  authored
  c858944

• Update Project.toml

  ReubenJ

  authored
  40d91c5

• Merge pull request #99 from Herb-AI/deps/bump-constraints

  Show description for 4fe8ca8
  ReubenJ

  authored
  4fe8ca8

• Fix Constraints version number

  Show description for 6378cae
  ReubenJ

  authored
  6378cae

Commits on May 15, 2024

• Merge branch 'dev' into contains-subtree

  ReubenJ

  committed
  c372f80

• Merge pull request #95 from Herb-AI/contains-subtree

  Show description for 5651e49
  ReubenJ

  authored
  5651e49

• Update Project.toml

  ReubenJ

  authored
  498e27a

• Update HerbInterpret compat

  ReubenJ

  committed
  a43eb05