From f84c767b78f1010217c7b413b6ba876b4ce036ed Mon Sep 17 00:00:00 2001 From: Reuben Gardos Reid <5456207+ReubenJ@users.noreply.github.com> Date: Fri, 5 Jul 2024 14:51:08 +0200 Subject: [PATCH] Add reference for Probe --- README.md | 2 ++ src/probe/README.md | 1 + src/probe/probe.bib | 11 +++++++++++ 3 files changed, 14 insertions(+) create mode 100644 src/probe/README.md create mode 100644 src/probe/probe.bib diff --git a/README.md b/README.md index 367ad94..22bfc86 100644 --- a/README.md +++ b/README.md @@ -5,3 +5,5 @@ Please water the Herbs. [![Coverage](https://codecov.io/gh/Herb-AI/Garden.jl/branch/main/graph/badge.svg)](https://codecov.io/gh/Herb-AI/Garden.jl) [![PkgEval](https://JuliaCI.github.io/NanosoldierReports/pkgeval_badges/G/Garden.svg)](https://JuliaCI.github.io/NanosoldierReports/pkgeval_badges/G/Garden.html) [![Aqua](https://raw.githubusercontent.com/JuliaTesting/Aqua.jl/master/badge.svg)](https://github.com/JuliaTesting/Aqua.jl) + +Each synthesis approach has its own directory within `src//` and its own test file `test/test_.jl`. Within the `src//` directory, there is a `README.md` file that describes the approach and an `.bib` file that contains any references for the approach. Preferably, make use of https://dblp.org/ for references to keep the bibliography consistent. \ No newline at end of file diff --git a/src/probe/README.md b/src/probe/README.md new file mode 100644 index 0000000..56adb9e --- /dev/null +++ b/src/probe/README.md @@ -0,0 +1 @@ +# Probe \ No newline at end of file diff --git a/src/probe/probe.bib b/src/probe/probe.bib new file mode 100644 index 0000000..77b7c41 --- /dev/null +++ b/src/probe/probe.bib @@ -0,0 +1,11 @@ +@article{DBLP:journals/pacmpl/BarkePP20, + author = {Shraddha Barke and + Hila Peleg and + Nadia Polikarpova}, + title = {Just-in-time learning for bottom-up enumerative synthesis}, + journal = {Proc. {ACM} Program. Lang.}, + volume = {4}, + number = {{OOPSLA}}, + pages = {227:1--227:29}, + year = {2020} +} \ No newline at end of file