Migrate individual benchmarks to HerbSpecification.jl

README.md

@@ -20,7 +20,7 @@ HerbBenchmarks is still not yet complete and is lacking crucial benchmarking fun
 
 Select your favourite benchmark, we use the string transformation benchmark from the SyGuS challenge:
 ```Julia
-using HerbData, HerbGrammar
+using HerbSpecification, HerbGrammar
 
 using HerbBenchmarks.PBE_SLIA_Track_2019
 

src/benchmarks_io.jl

@@ -71,7 +71,7 @@ Parses a directory for all files, parses each data file using `data_file_parser`
 
 Example usage for parsing SyGuS problems.
 ```julia
-using HerbData, HerbGrammar
+using HerbSpecification, HerbGrammar
 
 using HerbBenchmarks
 

src/data/Abstract_Reasoning_2019/Abstract_Reasoning_2019.jl

@@ -1,7 +1,7 @@
 module Abstract_Reasoning_2019
 
 using HerbCore
-using HerbData
+using HerbSpecification
 using HerbGrammar
 
 using JSON

src/data/Pixels_2020/Pixels_2020.jl

@@ -1,7 +1,7 @@
 module Pixels_2020
 
 using HerbCore
-using HerbData
+using HerbSpecification
 using HerbGrammar
 
 include("data.jl")

src/data/Robots_2020/Robots_2020.jl

@@ -1,7 +1,7 @@
 module Robots_2020
 
 using HerbCore
-using HerbData
+using HerbSpecification
 using HerbGrammar
 
 include("data.jl")

src/data/String_transformations_2020/String_transformations_2020.jl

@@ -1,7 +1,7 @@
 module String_transformations_2020
 
 using HerbCore
-using HerbData
+using HerbSpecification
 using HerbGrammar
 
 include("data.jl")

src/data/SyGuS/PBE_BV_Track_2018/PBE_BV_Track_2018.jl

@@ -1,7 +1,7 @@
 module PBE_BV_Track_2018
 
 using HerbCore
-using HerbData
+using HerbSpecification
 using HerbGrammar
 
 include("data.jl")

src/data/SyGuS/PBE_SLIA_Track_2019/PBE_SLIA_Track_2019.jl

@@ -1,7 +1,7 @@
 module PBE_SLIA_Track_2019
 
 using HerbCore
-using HerbData
+using HerbSpecification
 using HerbGrammar
 
 include("data.jl")

src/data/SyGuS/SyGuS.jl

@@ -1,6 +1,6 @@
 module SyGuS
 
-using HerbData
+using HerbSpecification
 using HerbCore
 using HerbGrammar
 
@@ -35,7 +35,7 @@ end
 """
     parse_sygus_problem(filename::AbstractString)::Problem
 
-Parses a SyGuS file for all examples and returns them, wrapped in a [`HerbData.Problem`](@ref)
+Parses a SyGuS file for all examples and returns them, wrapped in a [`HerbSpecification.Problem`](@ref)
 """
 function parse_sygus_problem(filename::AbstractString)::Problem
     symbol_list = SExpressions.Parser.parsefile(filename)

src/generate_benchmarks.jl

@@ -6,7 +6,7 @@ using HerbCore
 using HerbConstraints
 using HerbGrammar
 using HerbSearch
-using HerbData
+using HerbSpecification
 using HerbEvaluation
 
 using Serialization