Code

Bottom up iterator#107

Code

Draft

ReubenJ wants to merge 60 commits intomasterHerb-AI/HerbSearch.jl:masterfrom bottom-up-iteratorHerb-AI/HerbSearch.jl:bottom-up-iteratorCopy head branch name to clipboard

+1,025-241

Commits

Commits on Feb 28, 2024

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

  

  TudorMagirescu

  authored and

  TudorMagirescu

  committed
  8b46d5b

  Copy full SHA for 8b46d5b

Commits on Apr 1, 2024

• Initial Bottom Up Search Procedure with Concrete Implementation

  IvanValBozhanin

  committed
  469bee5

  Copy full SHA for 469bee5

• Included Doc

  IvanValBozhanin

  committed
  548436b

  Copy full SHA for 548436b

• Doc fixed

  IvanValBozhanin

  committed
  1f2c562

  Copy full SHA for 1f2c562

• Initial commit

  IvanValBozhanin

  committed
  a9d59af

  Copy full SHA for a9d59af

Commits on Apr 2, 2024

• Fixed merge conflicts and removed unnecessary file

  

  TudorMagirescu

  authored and

  TudorMagirescu

  committed
  1fb7ff4

  Copy full SHA for 1fb7ff4

Commits on Apr 3, 2024

• Fixed documentation, hashing & other small issues

  

  TudorMagirescu

  authored and

  TudorMagirescu

  committed
  533b9d0

  Copy full SHA for 533b9d0

• Fixed documentation, hashing & other small issues

  

  TudorMagirescu

  authored and

  TudorMagirescu

  committed
  57e7994

  Copy full SHA for 57e7994

• Merge branch 'bottom-up-iterator' of github.com:Herb-AI/HerbSearch.jl into bottom-up-iterator

  

  TudorMagirescu

  authored and

  TudorMagirescu

  committed
  4e18781

  Copy full SHA for 4e18781

Commits on Apr 4, 2024

• Have a dictionary for each symbol

  TudorMagirescu

  committed
  5ad6c9b

  Copy full SHA for 5ad6c9b

• Merged master

  TudorMagirescu

  committed
  45d2d9e

  Copy full SHA for 45d2d9e

Commits on Apr 5, 2024

• Integrated the constraint solver into the bottom-up search

  TudorMagirescu

  committed
  83c58ea

  Copy full SHA for 83c58ea

Commits on May 17, 2024

• Merge branch 'dev' into bottom-up-iterator

  ReubenJ

  committed
  a5246e3

  Copy full SHA for a5246e3

Commits on May 19, 2024

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

  TudorMagirescu

  committed
  3d85e55

  Copy full SHA for 3d85e55

• Merge branch 'dev' into bottom-up-iterator

  TudorMagirescu

  committed
  6c3a25f

  Copy full SHA for 6c3a25f

• Fixed the tests

  TudorMagirescu

  committed
  4e6f1c0

  Copy full SHA for 4e6f1c0

• Merge branch 'bottom-up-iterator' of github.com:Herb-AI/HerbSearch.jl into bottom-up-iterator

  TudorMagirescu

  committed
  e87b302

  Copy full SHA for e87b302

Commits on Jul 8, 2024

• Started modifying the interface

  TudorMagirescu

  committed
  cc19aab

  Copy full SHA for cc19aab

Commits on Jul 11, 2024

• Fixed the bottom up iterator

  TudorMagirescu

  committed
  1c03b43

  Copy full SHA for 1c03b43

• Changed the way the next rules are stored

  TudorMagirescu

  committed
  61f7fd0

  Copy full SHA for 61f7fd0

Commits on Oct 16, 2024

• Refactor TopDownIterator to introduce new abstracy types for BFS and DFS iterators in type hierarchy.

  pwochner

  committed
  3fbf3a3

  Copy full SHA for 3fbf3a3

Commits on Oct 20, 2024

• Merge branch 'master' into bottom-up-iterator

  TudorMagirescu

  committed
  947a499

  Copy full SHA for 947a499

• Added type hierarchies for BottomUp and other useful abstractions.

  TudorMagirescu

  committed
  cc56b4c

  Copy full SHA for cc56b4c

Commits on Oct 21, 2024

• Improve docstrings.

  pwochner

  committed
  dfb25df

  Copy full SHA for dfb25df

• Tidy up some of the docstrings.

  pwochner

  committed
  b3c3b29

  Copy full SHA for b3c3b29

• Fix wrong signature in docs.

  pwochner

  committed
  4317852

  Copy full SHA for 4317852

• Utilize the nested iterator abstraction. Add tests and documentation.

  TudorMagirescu

  committed
  3b4759b

  Copy full SHA for 3b4759b

• Remove unused package.

  TudorMagirescu

  committed
  5c3b8e0

  Copy full SHA for 5c3b8e0

Commits on Nov 5, 2024

• Bottom-Up implementation using UniformTrees initial commit

  TudorMagirescu

  committed
  70653f2

  Copy full SHA for 70653f2

Commits on Nov 13, 2024

• Made observational equivalence an optional optimization instead of it being enabled by default.

  TudorMagirescu

  committed
  b19323c

  Copy full SHA for b19323c

• Merge branch 'bottom-up-iterator' into bottom-up-uniform-trees

  TudorMagirescu

  committed
  31a21d5

  Copy full SHA for 31a21d5

Commits on Nov 14, 2024

• Update TagBot.yml

  Show description for 69cce6d
  pwochner

  authored
  69cce6d

  Copy full SHA for 69cce6d

• Merge pull request #123 from Herb-AI/pwochner-patch-1

  Show description for b70e247
  pwochner

  authored
  b70e247

  Copy full SHA for b70e247

• Add max_size

  THinnerichs

  committed
  07761b7

  Copy full SHA for 07761b7

• Add max_size

  THinnerichs

  committed
  14a814b

  Copy full SHA for 14a814b

• Fixed bug related to partitioning of rules

  TudorMagirescu

  committed
  412df7d

  Copy full SHA for 412df7d

Commits on Nov 20, 2024

• Small tweak for Julia 1.12 world age change

  Show description for e56d18e
  Keno

  committed
  e56d18e

  Copy full SHA for e56d18e

• If observation equivalence is enabled, don't return programs that crash

  TudorMagirescu

  committed
  40cf2cd

  Copy full SHA for 40cf2cd

• Merge branch 'bottom-up-uniform-trees' into bottom-up-iterator

  TudorMagirescu

  committed
  e325e7f

  Copy full SHA for e325e7f

• Fixed test group name

  TudorMagirescu

  committed
  d50413b

  Copy full SHA for d50413b

Commits on Nov 27, 2024

• Merge pull request #122 from Herb-AI/iterator-hierarchy

  Show description for a9719e3
  ReubenJ

  authored
  a9719e3

  Copy full SHA for a9719e3

Commits on Dec 4, 2024

• Merge pull request #128 from Keno/kf/latestworld

  Show description for c4c6deb
  ReubenJ

  authored
  c4c6deb

  Copy full SHA for c4c6deb

Commits on Dec 11, 2024

• Removed FixedShapedIterator

  

  THinnerichs

  authored and

  ReubenJ

  committed
  97a0718

  Copy full SHA for 97a0718

• Remove non-existent symbols from export

  Show description for 47616a5
  ReubenJ

  committed
  47616a5

  Copy full SHA for 47616a5

• Fix compat bounds for standard libraries

  ReubenJ

  committed
  00fdacf

  Copy full SHA for 00fdacf

• Switch to separate test Project.toml structure

  ReubenJ

  committed
  88ac91f

  Copy full SHA for 88ac91f

• Bump minor version number

  ReubenJ

  committed
  b9ad9ab

  Copy full SHA for b9ad9ab

• Merge pull request #131 from Herb-AI/remove_fixedshape_iterator

  Show description for 9ff0f71
  THinnerichs

  authored
  9ff0f71

  Copy full SHA for 9ff0f71

Commits on Dec 12, 2024

• CompatHelper: bump compat for HerbSpecification to 0.2, (keep existing compat)

  

  CompatHelper Julia

  authored and

  ReubenJ

  committed
  290b2be

  Copy full SHA for 290b2be

• Remove support for [email protected]

  ReubenJ

  committed
  e369d69

  Copy full SHA for e369d69

• Update types to reflect changes to IOExamples

  ReubenJ

  committed
  058ac94

  Copy full SHA for 058ac94

• Merge pull request #127 from Herb-AI/compathelper/new_version/2024-11-16-01-46-08-093-02170095097

  Show description for 13e24a7
  THinnerichs

  authored
  13e24a7

  Copy full SHA for 13e24a7

Commits on Dec 13, 2024

• CompatHelper: bump compat for HerbGrammar to 0.5, (keep existing compat)

  

  CompatHelper Julia

  committed
  220e1aa

  Copy full SHA for 220e1aa

Commits on Dec 16, 2024

• Remove usage of SymbolTable constructor`

  ReubenJ

  committed
  fb17824

  Copy full SHA for fb17824

• Bump patch version

  ReubenJ

  committed
  17fc9d2

  Copy full SHA for 17fc9d2

Commits on Dec 17, 2024

• Remove support for [email protected]

  Show description for c03cecd
  ReubenJ

  committed
  c03cecd

  Copy full SHA for c03cecd

Commits on Jan 21, 2025

• Consistent (non-)use of carets in [compat]

  Show description for 1a23938
  ReubenJ

  committed
  1a23938

  Copy full SHA for 1a23938

• Merge pull request #132 from Herb-AI/compathelper/new_version/2024-12-13-01-52-34-511-01072321669

  Show description for 8fe642a
  ReubenJ

  authored
  8fe642a

  Copy full SHA for 8fe642a

Commits on Feb 10, 2025

• Fixed failing tests

  TudorMagirescu

  committed
  1fce0a5

  Copy full SHA for 1fce0a5

Commits on Feb 13, 2025

• Replace init_bank and init_data with constructors.

  TudorMagirescu

  committed
  5ed48ef

  Copy full SHA for 5ed48ef