component---src-pages-research-jsx-4b98fabb43dceb004934.js.map

{"version":3,"file":"component---src-pages-research-jsx-4b98fabb43dceb004934.js","mappings":"+PAIe,SAASA,EAAQ,GAK5B,IAJFC,EAAQ,EAARA,SACAC,EAAS,EAATA,UAAU,EAAD,EACTC,GAAIC,OAAG,MAAG,KAAI,EACXC,GAAI,YAEP,OACE,QAACD,GAAG,UAAKC,EAAI,CAAEH,UAAWI,ICVP,iCDU0BJ,KAC1CD,EAGP,CAAC,qN,4OEdM,MAAM,EAAO,2BACPM,EAAK,yBACLC,EAAK,yBACLC,EAAK,yB,iDCAH,SAASC,EAAK,GAAgD,IAAD,IAA7CC,KAAAA,OAAI,MAAG,KAAI,EAAEV,EAAQ,EAARA,SAAUC,EAAS,EAATA,UAAcG,GAAI,YACtE,OACE,uBAAOA,EAAI,CAAEH,UAAWI,IAAGM,EAAaA,EAAOD,GAAOT,KACnDD,EAGP,CAAC,+M,0JCVD,MAAe,IAA0B,4D,WCS1B,SAASY,EAAQ,GAK5B,IAJFC,EAAe,EAAfA,gBACAC,EAAY,EAAZA,aACAC,EAAO,EAAPA,QACAC,EAAG,EAAHA,IAEA,OACE,eAAKf,UCdc,mCDehBY,IACC,QAAC,IAAI,CAACI,wBAAyB,CAAEC,OAAQL,KAE1CC,IACC,QAAC,IAAI,CAACG,wBAAyB,CAAEC,OAAQJ,KAE1CC,IACC,QAAC,IAAI,CACHd,UCrBa,kCDsBbgB,wBAAyB,CAAEC,OAAQH,MAGvC,aAAGd,UC1BW,+BD0BakB,KAAMH,EAAKI,SAAUJ,EAAIF,eAClD,eAAKO,IAAKC,EAASC,MAAO,GAAIC,IAAI,cAI1C,CAAC,uNE9Bc,SAASC,EAAa,GAAe,IAAbzB,EAAQ,EAARA,SACrC,OAAO,eAAKC,UCJW,0CDImBD,EAC5C,CAAC,iOELM,MAEM0B,EAAe,uCACfC,EAAoB,4CACpBC,EAAgB,wCAChB,EAAU,kCCNvB,MAAe,IAA0B,0ECAzC,EAAe,IAA0B,qECAzC,EAAe,IAA0B,mECAzC,EAAe,IAA0B,+DCAzC,GCAe,IDAA,IAA0B,iEEAzC,EAAe,IAA0B,mECAzC,EAAe,IAA0B,uDCAzC,EAAe,IAA0B,iFCAzC,EAAe,IAA0B,wECAzC,EAAe,IAA0B,iFCAzC,EAAe,IAA0B,wECAzC,EAAe,IAA0B,yECAzC,EAAe,IAA0B,uECAzC,EAAe,IAA0B,8DC4MvC,GAEaC,EAAAA,EAAAA,IA3KM,WACnB,OAAoBC,EAAAA,EAAAA,KAAZC,EAAC,EAADA,EAAO,EAAJC,KAEX,OACE,QAAC,IAAM,MACL,QAAC,IAAG,CAACC,MAAM,mBACX,eAAKhC,UhBxCS,iCgByCZ,eAAKA,UhBxCgB,0CgByCnB,eAAKA,UAAWU,IACd,QAAC,IAAO,CAACV,UAAWU,GACjBoB,EAAE,0CAGL,oBACE,eAAK9B,UAAWU,IACd,QAACC,EAAO,CACNC,gBAAiBkB,EAAE,yBACnBjB,aAAciB,EAAE,6CAChBhB,QAASgB,EAAE,wCACXf,IAAKkB,KAEP,QAACtB,EAAO,CACNC,gBAAiBkB,EAAE,yBACnBjB,aAAciB,EACZ,+CAEFhB,QAASgB,EAAE,0CACXf,IAAKmB,KAEP,QAACvB,EAAO,CACNC,gBAAiBkB,EAAE,qBACnBjB,aAAciB,EACZ,oDAEFhB,QAASgB,EAAE,+CACXf,IAAKoB,QAMb,eAAKnC,UAAWU,IACd,QAAC,IAAO,CAACV,UAAWU,GACjBoB,EAAE,qCAGL,eAAK9B,UAAWU,IACd,QAACC,EAAO,CACNC,gBAAiBkB,EAAE,qBACnBjB,aAAciB,EAAE,0CAChBhB,QAASgB,EAAE,qCACXf,IAAKqB,KAEP,QAACzB,EAAO,CACNC,gBAAiBkB,EAAE,sBACnBjB,aAAciB,EAAE,yCAChBhB,QAASgB,EAAE,oCACXf,IAAKsB,KAEP,QAAC1B,EAAO,CACNC,gBAAiBkB,EAAE,sBACnBjB,aAAciB,EAAE,6CAChBhB,QAASgB,EAAE,wCACXf,IAAKuB,KAEP,QAAC3B,EAAO,CACNC,gBAAiBkB,EAAE,0CACnBjB,aAAciB,EAAE,oCAChBhB,QAASgB,EAAE,+BACXf,IAAKuB,OAKX,eAAKtC,UAAWU,IACd,QAAC,IAAO,CAACV,UAAWU,GACjBoB,EAAE,6BAGL,oBACE,QAAC,IAAI,CACH9B,UAAWU,EACXM,wBAAyB,CACvBC,OAAQa,EAAE,8BAGd,eAAK9B,UAAWU,IACd,QAACC,EAAO,CACNG,QAASgB,EAAE,oCACXjB,aAAciB,EAAE,iCAChBf,IAAKwB,KAEP,QAAC5B,EAAO,CACNE,aAAciB,EAAE,yCAChBhB,QAASgB,EAAE,4BACXf,IAAKyB,KAGP,QAAC7B,EAAO,CACNC,gBAAiBkB,EAAE,0BACnBjB,aAAciB,EAAE,iCAChBhB,QAASgB,EAAE,mCACXf,IAAK0B,OAKX,oBACE,QAAC,IAAI,CACHzC,UAAWU,EACXM,wBAAyB,CACvBC,OAAQa,EAAE,8BAGd,eAAK9B,UAAWU,IACd,QAACC,EAAO,CACNE,aAAciB,EAAE,iCAChBhB,QAASgB,EAAE,mCACXf,IAAK2B,KAEP,QAAC/B,EAAO,CACNE,aAAciB,EAAE,yCAChBhB,QAASgB,EAAE,4BACXf,IAAK4B,QAMb,eAAK3C,UAAWU,IACd,QAAC,IAAO,CAACV,UAAWU,GACjBoB,EAAE,4BAEL,QAAC,IAAI,CACH9B,UAAWU,EACXM,wBAAyB,CACvBC,OAAQa,EAAE,sCAGd,eAAK9B,UAAWU,IACd,QAACC,EAAO,CACNE,aAAciB,EAAE,yCAChBhB,QAASgB,EAAE,2CACXf,IAAK6B,KAEP,QAACjC,EAAO,CACNE,aAAciB,EAAE,+BAChBf,IAAK8B,OAKX,eAAK7C,UAAWU,IACd,QAAC,IAAO,CAACV,UAAWU,GACjBoB,EAAE,oCAEL,eAAK9B,UAAWU,IACd,QAACC,EAAO,CACNC,gBAAiBkB,EAAE,yBACnBjB,aAAciB,EAAE,wCAChBhB,QAASgB,EAAE,0CACXf,IAAK+B,QAQrB,IAEuC,qP","sources":["webpack://unittestbot-web/./src/components/heading.jsx","webpack://unittestbot-web/./src/components/heading.module.css","webpack://unittestbot-web/./src/components/text.module.css","webpack://unittestbot-web/./src/components/text.jsx","webpack://unittestbot-web/./src/images/pdf-icon.svg.webp","webpack://unittestbot-web/./src/components/pdf-card.jsx","webpack://unittestbot-web/./src/components/pdf-card.module.css","webpack://unittestbot-web/./src/components/pdf-container.jsx","webpack://unittestbot-web/./src/components/pdf-container.module.css","webpack://unittestbot-web/./src/pages/styles/research.module.css","webpack://unittestbot-web/./src/pdf/sat-solving/lowerBoundForKDnfResolution.pdf","webpack://unittestbot-web/./src/pdf/sat-solving/polynomialFormulations.pdf","webpack://unittestbot-web/./src/pdf/sat-solving/satEncodingsHardness.pdf","webpack://unittestbot-web/./src/pdf/symbolic-execution/nominalSubtyping.pdf","webpack://unittestbot-web/./src/pdf/symbolic-execution/programInvariants.pdf","webpack://unittestbot-web/./src/pdf/symbolic-execution/hornClauses.pdf","webpack://unittestbot-web/./src/pdf/symbolic-execution/relationalInvariants.pdf","webpack://unittestbot-web/./src/pdf/java/ICCQ2022.pdf","webpack://unittestbot-web/./src/pdf/java/SBST2021_Tool_Competition_Overview.pdf","webpack://unittestbot-web/./src/pdf/java/SBST2021_Tool_Competition.pdf","webpack://unittestbot-web/./src/pdf/java/SBST2022_Tool_Competition_Overview.pdf","webpack://unittestbot-web/./src/pdf/java/SBST2022_Tool_Competition.pdf","webpack://unittestbot-web/./src/pdf/cpp/KLEE_workshop2022_abstract.pdf","webpack://unittestbot-web/./src/pdf/cpp/KLEE_workshop2022_poster.pdf","webpack://unittestbot-web/./src/pdf/program-synthesis/layoutSynthesis.pdf","webpack://unittestbot-web/./src/pages/research.jsx"],"sourcesContent":["import React from \"react\";\nimport cn from \"classnames\";\nimport * as styles from \"./heading.module.css\";\n\nexport default function Heading({\n  children,\n  className,\n  as: Tag = \"h1\",\n  ...rest\n}) {\n  return (\n    <Tag {...rest} className={cn(styles.heading, className)}>\n      {children}\n    </Tag>\n  );\n}\n","// extracted by mini-css-extract-plugin\nexport const heading = \"heading-module--heading--hUFt0\";","// extracted by mini-css-extract-plugin\nexport const text = \"text-module--text--vKZVv\";\nexport const sm = \"text-module--sm--IwMN1\";\nexport const md = \"text-module--md--2vhRQ\";\nexport const lg = \"text-module--lg--3OfR1\";","import React from \"react\";\nimport cn from \"classnames\";\nimport * as styles from \"./text.module.css\";\n\nexport default function Text({ size = \"md\", children, className, ...rest }) {\n  return (\n    <p {...rest} className={cn(styles.text, styles[size], className)}>\n      {children}\n    </p>\n  );\n}\n","export default __webpack_public_path__ + \"static/pdf-icon.svg-c65c4221835f46233e5f4d77371c4d1a.webp\";","import * as React from \"react\";\n\nimport Heading from \"./heading\";\nimport Text from \"./text\";\n\nimport * as styles from \"./pdf-card.module.css\";\n\nimport pdfIcon from \"../images/pdf-icon.svg.webp\";\n\nexport default function PdfCard({\n  conferenceTitle,\n  articleTitle,\n  authors,\n  pdf,\n}) {\n  return (\n    <div className={styles.pdfCard}>\n      {conferenceTitle && (\n        <Text dangerouslySetInnerHTML={{ __html: conferenceTitle }} />\n      )}\n      {articleTitle && (\n        <Text dangerouslySetInnerHTML={{ __html: articleTitle }} />\n      )}\n      {authors && (\n        <Text\n          className={styles.authors}\n          dangerouslySetInnerHTML={{ __html: authors }}\n        />\n      )}\n      <a className={styles.link} href={pdf} download={pdf.articleTitle}>\n        <img src={pdfIcon} width={60} alt=\"PDF icon\"></img>\n      </a>\n    </div>\n  );\n}\n","// extracted by mini-css-extract-plugin\nexport const container = \"pdf-card-module--container--5LHod\";\nexport const pdfCard = \"pdf-card-module--pdfCard--chVN+\";\nexport const link = \"pdf-card-module--link--v9-78\";\nexport const authors = \"pdf-card-module--authors--jaTfE\";","import * as React from \"react\";\n\nimport * as styles from \"./pdf-container.module.css\";\n\nexport default function PdfContainer({ children }) {\n  return <div className={styles.container}>{children}</div>;\n}\n","// extracted by mini-css-extract-plugin\nexport const container = \"pdf-container-module--container--C86tA\";","// extracted by mini-css-extract-plugin\nexport const main = \"research-module--main--MGgVA\";\nexport const mainContainer = \"research-module--mainContainer--4JK8R\";\nexport const pdfContainer = \"research-module--pdfContainer--z-UJj\";\nexport const categotyContainer = \"research-module--categotyContainer--G7Uyu\";\nexport const categotyTitle = \"research-module--categotyTitle--poBVU\";\nexport const heading = \"research-module--heading--m9xRf\";","export default __webpack_public_path__ + \"static/lowerBoundForKDnfResolution-9ef05b1542e3abeca52fc0e3d5d2fd14.pdf\";","export default __webpack_public_path__ + \"static/polynomialFormulations-9ef05b1542e3abeca52fc0e3d5d2fd14.pdf\";","export default __webpack_public_path__ + \"static/satEncodingsHardness-3f899d7057956a8b805a41efef226157.pdf\";","export default __webpack_public_path__ + \"static/nominalSubtyping-98e87685b692536038bd291957d0495b.pdf\";","export default __webpack_public_path__ + \"static/programInvariants-c1830156be4ed3d0d142d861716c4653.pdf\";","export default __webpack_public_path__ + \"static/hornClauses-9ddad4043f622d28fdb2a1a051817920.pdf\";","export default __webpack_public_path__ + \"static/relationalInvariants-fa18e98088ef71878829ba7cfd70168c.pdf\";","export default __webpack_public_path__ + \"static/ICCQ2022-9747961fad58f53cab8583f7497768c2.pdf\";","export default __webpack_public_path__ + \"static/SBST2021_Tool_Competition_Overview-c16f4fff1e7a2f8c90c67f0eae3c07a8.pdf\";","export default __webpack_public_path__ + \"static/SBST2021_Tool_Competition-d01ce279da4f429d8878797601589d7c.pdf\";","export default __webpack_public_path__ + \"static/SBST2022_Tool_Competition_Overview-00330e89e2376582dcdf01ad045c337e.pdf\";","export default __webpack_public_path__ + \"static/SBST2022_Tool_Competition-c2d349f72b8a0557100b3fc6de2d5730.pdf\";","export default __webpack_public_path__ + \"static/KLEE_workshop2022_abstract-9591232a9941df34577a134609dbbe29.pdf\";","export default __webpack_public_path__ + \"static/KLEE_workshop2022_poster-4b647196582d2c9b1ea66fac8bf6f074.pdf\";","export default __webpack_public_path__ + \"static/layoutSynthesis-6e22d1839a1656d90e63f182fabe03b9.pdf\";","import * as React from \"react\";\nimport cn from \"classnames\";\nimport Layout from \"../components/layout\";\nimport SEO from \"../components/seo\";\nimport { useTranslation } from \"react-i18next\";\nimport withTrans from \"../i18n/withTrans\";\n\nimport Heading from \"../components/heading\";\nimport Text from \"../components/text\";\nimport PdfCard from \"../components/pdf-card\";\nimport PdfContainer from \"../components/pdf-container\";\n\nimport * as styles from \"./styles/research.module.css\";\n\n// Sat solvers\nimport lowerBoundForKDnfResolutionPdf from \"../pdf/sat-solving/lowerBoundForKDnfResolution.pdf\";\nimport polynomialFormulations from \"../pdf/sat-solving/polynomialFormulations.pdf\";\nimport satEncodingsHardness from \"../pdf/sat-solving/satEncodingsHardness.pdf\";\n// Symbolic execution\nimport nominalSubtyping from \"../pdf/symbolic-execution/nominalSubtyping.pdf\";\nimport hornClauses from \"../pdf/symbolic-execution/hornClauses.pdf\";\nimport programInvariants from \"../pdf/symbolic-execution/programInvariants.pdf\";\nimport relationalInvariants from \"../pdf/symbolic-execution/relationalInvariants.pdf\";\n// Java\nimport iccq2022Pdf from \"../pdf/java/ICCQ2022.pdf\";\nimport sbst2021OverviewPdf from \"../pdf/java/SBST2021_Tool_Competition_Overview.pdf\";\nimport sbst2021Pdf from \"../pdf/java/SBST2021_Tool_Competition.pdf\";\nimport sbst2022OverviewPdf from \"../pdf/java/SBST2022_Tool_Competition_Overview.pdf\";\nimport sbst2022Pdf from \"../pdf/java/SBST2022_Tool_Competition.pdf\";\n// Cpp\nimport kleeWorkshopPdf from \"../pdf/cpp/KLEE_workshop2022_abstract.pdf\";\nimport kleeWorkshopOverviewPdf from \"../pdf/cpp/KLEE_workshop2022_poster.pdf\";\n// Program synthesis\nimport layoutSynthesisPdf from \"../pdf/program-synthesis/layoutSynthesis.pdf\";\n\nconst ResearchPage = () => {\n  const { t, i18n } = useTranslation();\n\n  return (\n    <Layout>\n      <SEO title=\"Research Page\" />\n      <div className={styles.main}>\n        <div className={styles.mainContainer}>\n          <div className={styles.categotyContainer}>\n            <Heading className={styles.categotyTitle}>\n              {t(\"research.satSolvingTechnologiesTitle\")}\n            </Heading>\n\n            <div>\n              <div className={styles.pdfContainer}>\n                <PdfCard\n                  conferenceTitle={t(\"research.preprint2022\")}\n                  articleTitle={t(\"research.satEncodingsHardnessArticleTitle\")}\n                  authors={t(\"research.satEncodingsHardnessAuthors\")}\n                  pdf={satEncodingsHardness}\n                />\n                <PdfCard\n                  conferenceTitle={t(\"research.preprint2022\")}\n                  articleTitle={t(\n                    \"research.polynomialFormulationsArticleTitle\"\n                  )}\n                  authors={t(\"research.polynomialFormulationsAuthors\")}\n                  pdf={polynomialFormulations}\n                />\n                <PdfCard\n                  conferenceTitle={t(\"research.eccc2022\")}\n                  articleTitle={t(\n                    \"research.lowerBoundForKDnfResolutionArticleTitle\"\n                  )}\n                  authors={t(\"research.lowerBoundForKDnfResolutionAuthors\")}\n                  pdf={lowerBoundForKDnfResolutionPdf}\n                />\n              </div>\n            </div>\n          </div>\n\n          <div className={styles.categotyContainer}>\n            <Heading className={styles.categotyTitle}>\n              {t(\"research.symbolicExecutionTitle\")}\n            </Heading>\n\n            <div className={styles.pdfContainer}>\n              <PdfCard\n                conferenceTitle={t(\"research.pldi2021\")}\n                articleTitle={t(\"research.programInvariantsArticleTitle\")}\n                authors={t(\"research.programInvariantsAuthors\")}\n                pdf={programInvariants}\n              />\n              <PdfCard\n                conferenceTitle={t(\"research.ecoop2019\")}\n                articleTitle={t(\"research.nominalSubtypingArticleTitle\")}\n                authors={t(\"research.nominalSubtypingAuthors\")}\n                pdf={nominalSubtyping}\n              />\n              <PdfCard\n                conferenceTitle={t(\"research.fmcad2019\")}\n                articleTitle={t(\"research.relationalInvariantsArticleTitle\")}\n                authors={t(\"research.relationalInvariantsAuthors\")}\n                pdf={relationalInvariants}\n              />\n              <PdfCard\n                conferenceTitle={t(\"research.logicForProgrammingConference\")}\n                articleTitle={t(\"research.hornClausesArticleTitle\")}\n                authors={t(\"research.hornClausesArticle\")}\n                pdf={relationalInvariants}\n              />\n            </div>\n          </div>\n\n          <div className={styles.categotyContainer}>\n            <Heading className={styles.categotyTitle}>\n              {t(\"research.utbotJavaTitle\")}\n            </Heading>\n\n            <div>\n              <Text\n                className={styles.heading}\n                dangerouslySetInnerHTML={{\n                  __html: t(\"research.sbst2022Title\"),\n                }}\n              />\n              <div className={styles.pdfContainer}>\n                <PdfCard\n                  authors={t(\"research.sbst2022ArticlesAuthors\")}\n                  articleTitle={t(\"research.sbst2022ArticleTitle\")}\n                  pdf={sbst2022Pdf}\n                />\n                <PdfCard\n                  articleTitle={t(\"research.sbst2022ToolCompetitionTitle\")}\n                  authors={t(\"research.generalOverview\")}\n                  pdf={sbst2022OverviewPdf}\n                />\n\n                <PdfCard\n                  conferenceTitle={t(\"research.iccq2022Title\")}\n                  articleTitle={t(\"research.iccq2022ArticleTitle\")}\n                  authors={t(\"research.iccq2022ArticleAuthors\")}\n                  pdf={iccq2022Pdf}\n                />\n              </div>\n            </div>\n\n            <div>\n              <Text\n                className={styles.heading}\n                dangerouslySetInnerHTML={{\n                  __html: t(\"research.sbst2021Title\"),\n                }}\n              />\n              <div className={styles.pdfContainer}>\n                <PdfCard\n                  articleTitle={t(\"research.sbst2021ArticleTitle\")}\n                  authors={t(\"research.sbst2021ArticleAuthors\")}\n                  pdf={sbst2021Pdf}\n                />\n                <PdfCard\n                  articleTitle={t(\"research.sbst2021ToolCompetitionTitle\")}\n                  authors={t(\"research.generalOverview\")}\n                  pdf={sbst2021OverviewPdf}\n                />\n              </div>\n            </div>\n          </div>\n\n          <div className={styles.categotyContainer}>\n            <Heading className={styles.categotyTitle}>\n              {t(\"research.utbotCppTitle\")}\n            </Heading>\n            <Text\n              className={styles.heading}\n              dangerouslySetInnerHTML={{\n                __html: t(\"research.kleeWorkshop2022Title\"),\n              }}\n            />\n            <div className={styles.pdfContainer}>\n              <PdfCard\n                articleTitle={t(\"research.kleeWorkshop2022ArticleTitle\")}\n                authors={t(\"research.kleeWorkshop2022ArticleAuthors\")}\n                pdf={kleeWorkshopPdf}\n              />\n              <PdfCard\n                articleTitle={t(\"research.kleeWorkshopPoster\")}\n                pdf={kleeWorkshopOverviewPdf}\n              />\n            </div>\n          </div>\n\n          <div className={styles.categotyContainer}>\n            <Heading className={styles.categotyTitle}>\n              {t(\"research.programSynthesisTitle\")}\n            </Heading>\n            <div className={styles.pdfContainer}>\n              <PdfCard\n                conferenceTitle={t(\"research.singplan2022\")}\n                articleTitle={t(\"research.layoutSynthesisArticleTitle\")}\n                authors={t(\"research.layoutSynthesisArticleAuthors\")}\n                pdf={layoutSynthesisPdf}\n              />\n            </div>\n          </div>\n        </div>\n      </div>\n    </Layout>\n  );\n};\n\nexport default withTrans(ResearchPage);\n"],"names":["Heading","children","className","as","Tag","rest","cn","sm","md","lg","Text","size","styles","PdfCard","conferenceTitle","articleTitle","authors","pdf","dangerouslySetInnerHTML","__html","href","download","src","pdfIcon","width","alt","PdfContainer","pdfContainer","categotyContainer","categotyTitle","withTrans","useTranslation","t","i18n","title","satEncodingsHardness","polynomialFormulations","lowerBoundForKDnfResolutionPdf","programInvariants","nominalSubtyping","relationalInvariants","sbst2022Pdf","sbst2022OverviewPdf","iccq2022Pdf","sbst2021Pdf","sbst2021OverviewPdf","kleeWorkshopPdf","kleeWorkshopOverviewPdf","layoutSynthesisPdf"],"sourceRoot":""}