Skip to content

Commit

Permalink
Add reference for Probe
Browse files Browse the repository at this point in the history
  • Loading branch information
ReubenJ committed Jul 5, 2024
1 parent d959850 commit f84c767
Show file tree
Hide file tree
Showing 3 changed files with 14 additions and 0 deletions.
2 changes: 2 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -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/<approach>/` and its own test file `test/test_<approach>.jl`. Within the `src/<approach>/` directory, there is a `README.md` file that describes the approach and an `<approach>.bib` file that contains any references for the approach. Preferably, make use of https://dblp.org/ for references to keep the bibliography consistent.
1 change: 1 addition & 0 deletions src/probe/README.md
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
# Probe
11 changes: 11 additions & 0 deletions src/probe/probe.bib
Original file line number Diff line number Diff line change
@@ -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}
}

0 comments on commit f84c767

Please sign in to comment.