-
Notifications
You must be signed in to change notification settings - Fork 0
/
component---src-pages-research-jsx-4b98fabb43dceb004934.js
2 lines (2 loc) · 7.46 KB
/
component---src-pages-research-jsx-4b98fabb43dceb004934.js
1
2
"use strict";(self.webpackChunkunittestbot_web=self.webpackChunkunittestbot_web||[]).push([[735],{4344:function(e,t,r){r.d(t,{Z:function(){return o}});var a=r(87462),c=r(63366),s=(r(15007),r(75900)),i=r.n(s);var l=r(13879),n=["children","className","as"];function o(e){var t=e.children,r=e.className,s=e.as,o=void 0===s?"h1":s,d=(0,c.Z)(e,n);return(0,l.tZ)(o,(0,a.Z)({},d,{className:i()("heading-module--heading--hUFt0",r)}),t)}o&&o===Object(o)&&Object.isExtensible(o)&&!Object.prototype.hasOwnProperty.call(o,"__filemeta")&&Object.defineProperty(o,"__filemeta",{configurable:!0,value:{name:"Heading",filename:"src/components/heading.jsx"}})},37432:function(e,t,r){r.d(t,{Z:function(){return u}});var a={};r.r(a),r.d(a,{lg:function(){return f},md:function(){return d},sm:function(){return o},text:function(){return n}});var c=r(87462),s=r(63366),i=(r(15007),r(75900)),l=r.n(i);const n="text-module--text--vKZVv",o="text-module--sm--IwMN1",d="text-module--md--2vhRQ",f="text-module--lg--3OfR1";var h=r(13879),p=["size","children","className"];function u(e){var t=e.size,r=void 0===t?"md":t,i=e.children,o=e.className,d=(0,s.Z)(e,p);return(0,h.tZ)("p",(0,c.Z)({},d,{className:l()(n,a[r],o)}),i)}u&&u===Object(u)&&Object.isExtensible(u)&&!Object.prototype.hasOwnProperty.call(u,"__filemeta")&&Object.defineProperty(u,"__filemeta",{configurable:!0,value:{name:"Text",filename:"src/components/text.jsx"}})},63708:function(e,t,r){r.r(t),r.d(t,{default:function(){return E}});r(15007),r(75900);var a=r(433),c=r(81277),s=r(68270),i=r(80235),l=r(4344),n=r(37432);var o=r.p+"static/pdf-icon.svg-c65c4221835f46233e5f4d77371c4d1a.webp",d=r(13879);function f(e){var t=e.conferenceTitle,r=e.articleTitle,a=e.authors,c=e.pdf;return(0,d.tZ)("div",{className:"pdf-card-module--pdfCard--chVN+"},t&&(0,d.tZ)(n.Z,{dangerouslySetInnerHTML:{__html:t}}),r&&(0,d.tZ)(n.Z,{dangerouslySetInnerHTML:{__html:r}}),a&&(0,d.tZ)(n.Z,{className:"pdf-card-module--authors--jaTfE",dangerouslySetInnerHTML:{__html:a}}),(0,d.tZ)("a",{className:"pdf-card-module--link--v9-78",href:c,download:c.articleTitle},(0,d.tZ)("img",{src:o,width:60,alt:"PDF icon"})))}f&&f===Object(f)&&Object.isExtensible(f)&&!Object.prototype.hasOwnProperty.call(f,"__filemeta")&&Object.defineProperty(f,"__filemeta",{configurable:!0,value:{name:"PdfCard",filename:"src/components/pdf-card.jsx"}});function h(e){var t=e.children;return(0,d.tZ)("div",{className:"pdf-container-module--container--C86tA"},t)}h&&h===Object(h)&&Object.isExtensible(h)&&!Object.prototype.hasOwnProperty.call(h,"__filemeta")&&Object.defineProperty(h,"__filemeta",{configurable:!0,value:{name:"PdfContainer",filename:"src/components/pdf-container.jsx"}});const p="research-module--pdfContainer--z-UJj",u="research-module--categotyContainer--G7Uyu",m="research-module--categotyTitle--poBVU",b="research-module--heading--m9xRf";var T=r.p+"static/lowerBoundForKDnfResolution-9ef05b1542e3abeca52fc0e3d5d2fd14.pdf",Z=r.p+"static/polynomialFormulations-9ef05b1542e3abeca52fc0e3d5d2fd14.pdf",v=r.p+"static/satEncodingsHardness-3f899d7057956a8b805a41efef226157.pdf",_=r.p+"static/nominalSubtyping-98e87685b692536038bd291957d0495b.pdf",g=(r.p,r.p+"static/programInvariants-c1830156be4ed3d0d142d861716c4653.pdf"),y=r.p+"static/relationalInvariants-fa18e98088ef71878829ba7cfd70168c.pdf",N=r.p+"static/ICCQ2022-9747961fad58f53cab8583f7497768c2.pdf",A=r.p+"static/SBST2021_Tool_Competition_Overview-c16f4fff1e7a2f8c90c67f0eae3c07a8.pdf",O=r.p+"static/SBST2021_Tool_Competition-d01ce279da4f429d8878797601589d7c.pdf",j=r.p+"static/SBST2022_Tool_Competition_Overview-00330e89e2376582dcdf01ad045c337e.pdf",w=r.p+"static/SBST2022_Tool_Competition-c2d349f72b8a0557100b3fc6de2d5730.pdf",C=r.p+"static/KLEE_workshop2022_abstract-9591232a9941df34577a134609dbbe29.pdf",S=r.p+"static/KLEE_workshop2022_poster-4b647196582d2c9b1ea66fac8bf6f074.pdf",x=r.p+"static/layoutSynthesis-6e22d1839a1656d90e63f182fabe03b9.pdf",P=(0,i.Z)((function(){var e=(0,s.$)(),t=e.t;e.i18n;return(0,d.tZ)(a.Z,null,(0,d.tZ)(c.Z,{title:"Research Page"}),(0,d.tZ)("div",{className:"research-module--main--MGgVA"},(0,d.tZ)("div",{className:"research-module--mainContainer--4JK8R"},(0,d.tZ)("div",{className:u},(0,d.tZ)(l.Z,{className:m},t("research.satSolvingTechnologiesTitle")),(0,d.tZ)("div",null,(0,d.tZ)("div",{className:p},(0,d.tZ)(f,{conferenceTitle:t("research.preprint2022"),articleTitle:t("research.satEncodingsHardnessArticleTitle"),authors:t("research.satEncodingsHardnessAuthors"),pdf:v}),(0,d.tZ)(f,{conferenceTitle:t("research.preprint2022"),articleTitle:t("research.polynomialFormulationsArticleTitle"),authors:t("research.polynomialFormulationsAuthors"),pdf:Z}),(0,d.tZ)(f,{conferenceTitle:t("research.eccc2022"),articleTitle:t("research.lowerBoundForKDnfResolutionArticleTitle"),authors:t("research.lowerBoundForKDnfResolutionAuthors"),pdf:T})))),(0,d.tZ)("div",{className:u},(0,d.tZ)(l.Z,{className:m},t("research.symbolicExecutionTitle")),(0,d.tZ)("div",{className:p},(0,d.tZ)(f,{conferenceTitle:t("research.pldi2021"),articleTitle:t("research.programInvariantsArticleTitle"),authors:t("research.programInvariantsAuthors"),pdf:g}),(0,d.tZ)(f,{conferenceTitle:t("research.ecoop2019"),articleTitle:t("research.nominalSubtypingArticleTitle"),authors:t("research.nominalSubtypingAuthors"),pdf:_}),(0,d.tZ)(f,{conferenceTitle:t("research.fmcad2019"),articleTitle:t("research.relationalInvariantsArticleTitle"),authors:t("research.relationalInvariantsAuthors"),pdf:y}),(0,d.tZ)(f,{conferenceTitle:t("research.logicForProgrammingConference"),articleTitle:t("research.hornClausesArticleTitle"),authors:t("research.hornClausesArticle"),pdf:y}))),(0,d.tZ)("div",{className:u},(0,d.tZ)(l.Z,{className:m},t("research.utbotJavaTitle")),(0,d.tZ)("div",null,(0,d.tZ)(n.Z,{className:b,dangerouslySetInnerHTML:{__html:t("research.sbst2022Title")}}),(0,d.tZ)("div",{className:p},(0,d.tZ)(f,{authors:t("research.sbst2022ArticlesAuthors"),articleTitle:t("research.sbst2022ArticleTitle"),pdf:w}),(0,d.tZ)(f,{articleTitle:t("research.sbst2022ToolCompetitionTitle"),authors:t("research.generalOverview"),pdf:j}),(0,d.tZ)(f,{conferenceTitle:t("research.iccq2022Title"),articleTitle:t("research.iccq2022ArticleTitle"),authors:t("research.iccq2022ArticleAuthors"),pdf:N}))),(0,d.tZ)("div",null,(0,d.tZ)(n.Z,{className:b,dangerouslySetInnerHTML:{__html:t("research.sbst2021Title")}}),(0,d.tZ)("div",{className:p},(0,d.tZ)(f,{articleTitle:t("research.sbst2021ArticleTitle"),authors:t("research.sbst2021ArticleAuthors"),pdf:O}),(0,d.tZ)(f,{articleTitle:t("research.sbst2021ToolCompetitionTitle"),authors:t("research.generalOverview"),pdf:A})))),(0,d.tZ)("div",{className:u},(0,d.tZ)(l.Z,{className:m},t("research.utbotCppTitle")),(0,d.tZ)(n.Z,{className:b,dangerouslySetInnerHTML:{__html:t("research.kleeWorkshop2022Title")}}),(0,d.tZ)("div",{className:p},(0,d.tZ)(f,{articleTitle:t("research.kleeWorkshop2022ArticleTitle"),authors:t("research.kleeWorkshop2022ArticleAuthors"),pdf:C}),(0,d.tZ)(f,{articleTitle:t("research.kleeWorkshopPoster"),pdf:S}))),(0,d.tZ)("div",{className:u},(0,d.tZ)(l.Z,{className:m},t("research.programSynthesisTitle")),(0,d.tZ)("div",{className:p},(0,d.tZ)(f,{conferenceTitle:t("research.singplan2022"),articleTitle:t("research.layoutSynthesisArticleTitle"),authors:t("research.layoutSynthesisArticleAuthors"),pdf:x}))))))})),E=P;void 0!==P&&P&&P===Object(P)&&Object.isExtensible(P)&&!Object.prototype.hasOwnProperty.call(P,"__filemeta")&&Object.defineProperty(P,"__filemeta",{configurable:!0,value:{name:"__DOCZ_DUMMY_EXPORT_DEFAULT",filename:"src/pages/research.jsx"}})}}]);
//# sourceMappingURL=component---src-pages-research-jsx-4b98fabb43dceb004934.js.map