v0.4.0

Herb v0.4.0

Diff since v0.3.0

Merged pull requests:

• Documentation syntaxtree tutorial (#68) (@pwochner)
• Create contributors.yml (#78) (@IssaHanou)
• Update contributors.yml (#79) (@IssaHanou)
• Update contributors.yml (#80) (@IssaHanou)
• Dev doc interpreters (#82) (@sebdumancic)
• Update contributors.yml (#83) (@ReubenJ)
• Top Down Iterator Documentation (#84) (@LoLo5689)
• Update contributors.yml (#85) (@ReubenJ)
• Update contributors.yml (#86) (@ReubenJ)
• Update contributors.yml (#89) (@ReubenJ)
• Update CONTRIBUTORS.md (#90) (@github-actions[bot])
• Improve contributor guide (#92) (@pwochner)
• Bump HerbGrammar -> v0.4.0 (#95) (@ReubenJ)
• Update CONTRIBUTORS.md (#97) (@github-actions[bot])
• Update CONTRIBUTORS.md (#99) (@github-actions[bot])

Closed issues:

• Add list of contributors (#59)
• Fix Documenter crossreference issues (#61)
• Bump HerbCore versions (#64)
• Automate ipynb to md conversion tutorials (#81)
• Improve Contributor Guide (#91)
• Update "How to contribute" and contribution guidelines (#93)
• Pluto notebooks for all Herb Tutorials (#94)

v0.3.0

Herb v0.3.0

Diff since v0.2.0

Merged pull requests:

• Fix broken reference. (#62) (@pwochner)
• Update Herb* packages (#72) (@ReubenJ)
• v0.3 (#73) (@ReubenJ)

Closed issues:

• Add code coverage to all repositories (#60)

v0.2.0

Herb v0.2.0

Diff since v0.1.0

• HerbData has been replaced by HerbSpecification
• HerbGrammar and HerbSearch both received breaking changes
  • See release notes for HerbGrammar here
  • and for HerbSearch here

Merged pull requests:

• Update version number for Herb 0.2.0 (#56) (@THinnerichs)

Closed issues:

• Write contributing guideline (#39)
• Add possibility to run all tests jointly from the Herb.jl (#45)

v0.1.0

Herb v0.1.0

Closed issues:

• Add basic benchmarks to the Benchmarks.jl (#1)
• New repo: Grammar.jl (#2)
• New repo: Search.jl (#3)
• Move parts of ProbExprRules.jl to Grammar.jl and Search.jl (#4)
• New repo: root synthesis package (#5)
• Move constraints functionality to Constraints.jl (#6)
• New repo: Data.jl (#7)
• New repo: Evaluation.jl (#8)
• New repo: Heuristics.jl (#9)
• New repo: SpecificationLanguage.jl (#10)
• New repo: SpecificationReasoning.jl (#11)
• New repo: SpecificationDiscovery.jl (#12)
• New repo: LearningToGuide.jl (#13)
• New repo: Refactoring.jl (#14)
• New repo: Utils.jl (#15)
• Add a function for reading input-output examples to Data.jl (#16)
• Grammar core functionality (#17)
• Add Licence (#18)
• Add enumeration to Search.jl (#19)
• Support removing rules in the grammar (#20)
• Generalize breadth-first search to work with heuristics (#22)
• New repo: Examples.jl (#23)
• Add context-sensitive grammars (#25)
• Support for constraints in Search (#26)
• Extend grammars with probabilities (#28)
• Tests (#29)
• Return best program found so far instead of nothing when search fails (#33)
• Probabilistic iterator (#35)
• Update contributors and contact details (#38)
• Documentation (!!!!!!!!) (#41)
• Add Sebastijan and me as contributors to the respective repos (#47)

Merged pull requests:

• Automatic submodule handling (#21) (@THinnerichs)
• Add exports and update submodules (#24) (@jaapdejong15)
• Add HerbExamples submodule (#27) (@jaapdejong15)
• Add file for running tests (#30) (@jaapdejong15)
• Add constraints submodule (#32) (@jaapdejong15)
• Update submodules (#36) (@jaapdejong15)
• Update module names (#37) (@jaapdejong15)
• Herb core (#42) (@jaapdejong15)
• Dev (#43) (@jaapdejong15)
• Add contributions (#44) (@THinnerichs)
• Prepare Herb.jl for publication to JuliaHub (#48) (@THinnerichs)