1
1
---
2
- const {title, talk, doi, pdf, authors, conference, artifactAvailable, artifactFunctional, resultsReproduced} = Astro .props ;
2
+ const {title, talk, doi, pdf, authors, conference, artifactAvailable, artifactFunctional, resultsReproduced, distinguishedArtifact } = Astro .props ;
3
3
4
4
const conferenceURL = {
5
5
" ASPLOS'23" : " https://asplos-conference.org/2023" ,
@@ -10,18 +10,19 @@ const conferenceURL = {
10
10
" TLA+Conf'19" : " https://conf.tlapl.us/2019/" ,
11
11
}[conference ];
12
12
13
- import artifactAvailableImg from ' ../images /artifacts_available_v1_1.png' ;
14
- import artifactFunctionalImg from ' ../images /artifacts_evaluated_functional_v1_1.png' ;
15
- import resultsReproducedImg from ' ../images /results_reproduced_v1_1.png' ;
13
+ import artifactAvailableImg from ' ../assets /artifacts_available_v1_1.png' ;
14
+ import artifactFunctionalImg from ' ../assets /artifacts_evaluated_functional_v1_1.png' ;
15
+ import resultsReproducedImg from ' ../assets /results_reproduced_v1_1.png' ;
16
16
17
17
const hrefStyle = " underline hover:no-underline" ;
18
18
---
19
19
<div class =" not-prose pb-2" >
20
- { conferenceURL ? <a href = { conferenceURL } class = { hrefStyle } >[{ conference } ]</a > : < Fragment >[ { conference } ]</ Fragment > } { talk ? <span class = " font-bold" >Talk: </span > : <Fragment />} <a href ={ doi } class ={ ` ${hrefStyle } font-bold ` } >{ title } </a >
20
+ <a href ={ conferenceURL } class ={ hrefStyle } >[{ conference } ]</a > { talk ? <span class = " font-bold" >Talk: </span > : <Fragment />} <a href ={ doi } class ={ ` ${hrefStyle } font-bold ` } >{ title } </a >
21
21
{ pdf ? <a href = { pdf } class = { hrefStyle } >[pdf]</a > : <Fragment />}
22
22
{ resultsReproduced ? <a href = " https://www.acm.org/publications/policies/artifact-review-and-badging-current#reproduced" ><img src = { resultsReproducedImg } class = " inline w-6" /></a > : <Fragment />}
23
23
{ artifactFunctional ? <a href = " https://www.acm.org/publications/policies/artifact-review-and-badging-current#functional" ><img src = { artifactFunctionalImg } class = " inline w-6" /></a > : <Fragment />}
24
24
{ artifactAvailable ? <a href = " https://www.acm.org/publications/policies/artifact-review-and-badging-current#available" ><img src = { artifactAvailableImg } class = " inline w-6" /></a > : <Fragment />}
25
+ { distinguishedArtifact ? <span class = " font-['Bangers']" >+ 🏆 Distinguished Artifact!</span > : <Fragment /> }
25
26
26
27
{ (authors .length > 0 ) ?
27
28
(<div class = " pl-8 flex flex-row flex-wrap italic" >
0 commit comments