René's URL Explorer Experiment


Title: Verification of C++ libraries using JIT and FFI by mscroggs · Pull Request #561 · DefElement/DefElement · GitHub

Open Graph Title: Verification of C++ libraries using JIT and FFI by mscroggs · Pull Request #561 · DefElement/DefElement

X Title: Verification of C++ libraries using JIT and FFI by mscroggs · Pull Request #561 · DefElement/DefElement

Description: an encyclopedia of finite element definitions. Contribute to DefElement/DefElement development by creating an account on GitHub.

Open Graph Description: Added JIT and FFI functionality that allows verification to be run with C++ libraries. This new functionality is currently tested and demonstrated using simplefem++. Progress towards #500. Still to...

X Description: Added JIT and FFI functionality that allows verification to be run with C++ libraries. This new functionality is currently tested and demonstrated using simplefem++. Progress towards #500. Still to...

Opengraph URL: https://github.com/DefElement/DefElement/pull/561

X: @github

direct link

Domain: github.com

route-pattern/_view_fragments/voltron/pull_requests/show/:user_id/:repository/:id/pull_request_layout(.:format)
route-controllervoltron_pull_requests_fragments
route-actionpull_request_layout
fetch-noncev2:bb233831-e52a-2fb5-6ffd-7bd9e607f433
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-idBE22:20AD09:252AFC1:348B8F0:6A4CE51D
html-safe-nonce9ec80b2da248ec777d805aed65db4bc87011a586c0ddd5880159ecb027e5db52
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJCRTIyOjIwQUQwOToyNTJBRkMxOjM0OEI4RjA6NkE0Q0U1MUQiLCJ2aXNpdG9yX2lkIjoiNDY3OTkzODI5MDQwNDM1MzMwOSIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9
visitor-hmac805e15bbe64d19ad1a307004e8f6606af50085661d71c60b1511ffe239eff95b
hovercard-subject-tagpull_request:3513261489
github-keyboard-shortcutsrepository,pull-request-list,pull-request-conversation,pull-request-files-changed,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location///voltron/pull_requests_fragments/pull_request_layout
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/_view_fragments/voltron/pull_requests/show/DefElement/DefElement/561/pull_request_layout
twitter:imagehttps://opengraph.githubassets.com/2123a75c45d6f6b8739d3bc52e4af257643ba5bb361eb7e534d46837521e42c6/DefElement/DefElement/pull/561
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/2123a75c45d6f6b8739d3bc52e4af257643ba5bb361eb7e534d46837521e42c6/DefElement/DefElement/pull/561
og:image:altAdded JIT and FFI functionality that allows verification to be run with C++ libraries. This new functionality is currently tested and demonstrated using simplefem++. Progress towards #500. Still to...
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
og:author:usernamemscroggs
hostnamegithub.com
expected-hostnamegithub.com
None299b43bca6e02ad35197ffeba30d2466846d5fb02ab96fbced5b5e6cec589fb8
turbo-cache-controlno-cache
go-importgithub.com/DefElement/DefElement git https://github.com/DefElement/DefElement.git
octolytics-dimension-user_id174718365
octolytics-dimension-user_loginDefElement
octolytics-dimension-repository_id319071640
octolytics-dimension-repository_nwoDefElement/DefElement
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id319071640
octolytics-dimension-repository_network_root_nwoDefElement/DefElement
turbo-body-classeslogged-out env-production page-responsive
disable-turbofalse
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
releasec5a57f04eeb310f57c73fd6d751d957e2ca27ed2
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/DefElement/DefElement/pull/561#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FDefElement%2FDefElement%2Fpull%2F561
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub Copilot appDirect agents from issue to mergehttps://github.com/features/ai/github-app
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
View all resourceshttps://github.com/resources
GitHub SponsorsFund open source developershttps://github.com/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/accelerator
GitHub Starshttps://stars.github.com
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FDefElement%2FDefElement%2Fpull%2F561
Sign up https://github.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E%2Fvoltron%2Fpull_requests_fragments%2Fpull_request_layout&source=header-repo&source_repo=DefElement%2FDefElement
Reloadhttps://github.com/DefElement/DefElement/pull/561
Reloadhttps://github.com/DefElement/DefElement/pull/561
Reloadhttps://github.com/DefElement/DefElement/pull/561
Please reload this pagehttps://github.com/DefElement/DefElement/pull/561
DefElement https://github.com/DefElement
DefElementhttps://github.com/DefElement/DefElement
Notifications https://github.com/login?return_to=%2FDefElement%2FDefElement
Fork 9 https://github.com/login?return_to=%2FDefElement%2FDefElement
Star 69 https://github.com/login?return_to=%2FDefElement%2FDefElement
Code https://github.com/DefElement/DefElement
Issues 54 https://github.com/DefElement/DefElement/issues
Pull requests 1 https://github.com/DefElement/DefElement/pulls
Discussions https://github.com/DefElement/DefElement/discussions
Actions https://github.com/DefElement/DefElement/actions
Projects https://github.com/DefElement/DefElement/projects
Security and quality 0 https://github.com/DefElement/DefElement/security
Insights https://github.com/DefElement/DefElement/pulse
Code https://github.com/DefElement/DefElement
Issues https://github.com/DefElement/DefElement/issues
Pull requests https://github.com/DefElement/DefElement/pulls
Discussions https://github.com/DefElement/DefElement/discussions
Actions https://github.com/DefElement/DefElement/actions
Projects https://github.com/DefElement/DefElement/projects
Security and quality https://github.com/DefElement/DefElement/security
Insights https://github.com/DefElement/DefElement/pulse
mscroggshttps://github.com/mscroggs
mainhttps://github.com/DefElement/DefElement/tree/main
mscroggs/cpphttps://github.com/DefElement/DefElement/tree/mscroggs/cpp
Conversationhttps://github.com/DefElement/DefElement/pull/561
Commits26 (26)https://github.com/DefElement/DefElement/pull/561/commits
Checkshttps://github.com/DefElement/DefElement/pull/561/checks
Files changedhttps://github.com/DefElement/DefElement/pull/561/files
Verification of C++ libraries using JIT and FFIhttps://github.com/DefElement/DefElement/pull/561#top
mscroggshttps://github.com/mscroggs
mainhttps://github.com/DefElement/DefElement/tree/main
mscroggs/cpphttps://github.com/DefElement/DefElement/tree/mscroggs/cpp
https://github.com/mscroggs
mscroggshttps://github.com/mscroggs
Apr 10, 2026https://github.com/DefElement/DefElement/pull/561#issue-4238241786
Please reload this pagehttps://github.com/DefElement/DefElement/pull/561
simplefem++https://github.com/DefElement/simplefempp
#500https://github.com/DefElement/DefElement/issues/500
"Adding an implementation to DefElement" guidehttps://defelement.org/adding-an-implementation.html
Please reload this pagehttps://github.com/DefElement/DefElement/pull/561
mscroggshttps://github.com/mscroggs
April 1, 2026 09:15https://github.com/DefElement/DefElement/pull/561#commits-pushed-e0a29e8
https://github.com/mscroggs
working on cpp verificationhttps://github.com/DefElement/DefElement/pull/561/commits/e0a29e8cc423072bd803b3615aebb7746f2a8351
e0a29e8https://github.com/DefElement/DefElement/pull/561/commits/e0a29e8cc423072bd803b3615aebb7746f2a8351
https://github.com/mscroggs
simplefem++https://github.com/DefElement/DefElement/pull/561/commits/996ae6f57cc30794b28b8219d29186358600b768
996ae6fhttps://github.com/DefElement/DefElement/pull/561/commits/996ae6f57cc30794b28b8219d29186358600b768
https://github.com/mscroggs
working towards jittable C++https://github.com/DefElement/DefElement/pull/561/commits/9da3b8ddb59b0b12ce9d4dc211f0bd59771c9d2f
9da3b8dhttps://github.com/DefElement/DefElement/pull/561/commits/9da3b8ddb59b0b12ce9d4dc211f0bd59771c9d2f
https://github.com/mscroggs
fix pathshttps://github.com/DefElement/DefElement/pull/561/commits/83a04714bfc925e49b57ef75e442ae97f0dcc7eb
83a0471https://github.com/DefElement/DefElement/pull/561/commits/83a04714bfc925e49b57ef75e442ae97f0dcc7eb
https://github.com/mscroggs
trying to get cpp workinghttps://github.com/DefElement/DefElement/pull/561/commits/e4c718000021cc35546e665d075b749098163268
e4c7180https://github.com/DefElement/DefElement/pull/561/commits/e4c718000021cc35546e665d075b749098163268
https://github.com/mscroggs
working on cpp interfacehttps://github.com/DefElement/DefElement/pull/561/commits/1da5a7df581f905e1062bbaa3d015c135c6b47f1
1da5a7dhttps://github.com/DefElement/DefElement/pull/561/commits/1da5a7df581f905e1062bbaa3d015c135c6b47f1
https://github.com/mscroggs
it works!!https://github.com/DefElement/DefElement/pull/561/commits/322f9f174862399b157cbe738ae3ee0da4242d78
322f9f1https://github.com/DefElement/DefElement/pull/561/commits/322f9f174862399b157cbe738ae3ee0da4242d78
https://github.com/mscroggs
indentataion, and a little bit of simplifyinghttps://github.com/DefElement/DefElement/pull/561/commits/cf8505fb5d06a2bbc593738b715b481b61c9038b
cf8505fhttps://github.com/DefElement/DefElement/pull/561/commits/cf8505fb5d06a2bbc593738b715b481b61c9038b
https://github.com/mscroggs
ruff formathttps://github.com/DefElement/DefElement/pull/561/commits/f7ec08dee6252a13f4219c90a8992d7c98b89894
f7ec08dhttps://github.com/DefElement/DefElement/pull/561/commits/f7ec08dee6252a13f4219c90a8992d7c98b89894
https://github.com/mscroggs
mypyhttps://github.com/DefElement/DefElement/pull/561/commits/71d26b4a962903b57eae33a82739aec359973fdd
71d26b4https://github.com/DefElement/DefElement/pull/561/commits/71d26b4a962903b57eae33a82739aec359973fdd
https://github.com/mscroggs
simplifyhttps://github.com/DefElement/DefElement/pull/561/commits/2a90d1488e1ab0b621b89b52765cb1d1bfa7b708
2a90d14https://github.com/DefElement/DefElement/pull/561/commits/2a90d1488e1ab0b621b89b52765cb1d1bfa7b708
https://github.com/mscroggs
pydocstylehttps://github.com/DefElement/DefElement/pull/561/commits/41eadb0e0903ba09788a107a60e93faa32b447f5
41eadb0https://github.com/DefElement/DefElement/pull/561/commits/41eadb0e0903ba09788a107a60e93faa32b447f5
https://github.com/mscroggs
move simplefempp into simplefem.pyhttps://github.com/DefElement/DefElement/pull/561/commits/b75d20e71d40841578d24feba59a449bf78bb8a1
b75d20ehttps://github.com/DefElement/DefElement/pull/561/commits/b75d20e71d40841578d24feba59a449bf78bb8a1
https://github.com/mscroggs
add test that C++ jit workshttps://github.com/DefElement/DefElement/pull/561/commits/d879e10f71da41946890551eebb1bc63282ebb7d
d879e10https://github.com/DefElement/DefElement/pull/561/commits/d879e10f71da41946890551eebb1bc63282ebb7d
https://github.com/mscroggs
mdpsan licensehttps://github.com/DefElement/DefElement/pull/561/commits/8f03d84f449a6401526af18abe8e81ff3d3751b9
8f03d84https://github.com/DefElement/DefElement/pull/561/commits/8f03d84f449a6401526af18abe8e81ff3d3751b9
https://github.com/mscroggs
Merge branch 'main' into mscroggs/cpphttps://github.com/DefElement/DefElement/pull/561/commits/a445eca0cdd4c70d7352c551b2c52dd461a495dc
a445ecahttps://github.com/DefElement/DefElement/pull/561/commits/a445eca0cdd4c70d7352c551b2c52dd461a495dc
https://github.com/mscroggs
website build tools versionhttps://github.com/DefElement/DefElement/pull/561/commits/5763bdbeecc45cd3a68dbf4ed5ab34657249ebf7
5763bdbhttps://github.com/DefElement/DefElement/pull/561/commits/5763bdbeecc45cd3a68dbf4ed5ab34657249ebf7
https://github.com/mscroggs
simplefempphttps://github.com/DefElement/DefElement/pull/561/commits/ad98ff2a31d01a1ff2229014bc4454d200847728
ad98ff2https://github.com/DefElement/DefElement/pull/561/commits/ad98ff2a31d01a1ff2229014bc4454d200847728
https://github.com/mscroggs
mscroggshttps://github.com/mscroggs
April 10, 2026 09:49https://github.com/DefElement/DefElement/pull/561#event-24375474685
https://github.com/mscroggs
add documentationhttps://github.com/DefElement/DefElement/pull/561/commits/026826b5767859d9bf8e588ce56175aadf3d6623
026826bhttps://github.com/DefElement/DefElement/pull/561/commits/026826b5767859d9bf8e588ce56175aadf3d6623
https://github.com/mscroggs
mscroggshttps://github.com/mscroggs
April 14, 2026 12:56https://github.com/DefElement/DefElement/pull/561#event-24487891481
https://github.com/mscroggs
mscroggshttps://github.com/mscroggs
jorgensdhttps://github.com/jorgensd
April 14, 2026 12:56https://github.com/DefElement/DefElement/pull/561#event-24487894912
https://github.com/mscroggs
mscroggshttps://github.com/mscroggs
Apr 14, 2026https://github.com/DefElement/DefElement/pull/561#issuecomment-4244057529
https://private-user-images.githubusercontent.com/9850599/577988569-9ac5286a-6f4c-45f9-94d9-0ad7890aa44b.png?jwt=eyJ0eXAiOiJKV1QiLCJhbGciOiJIUzI1NiJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3ODM0MjQ1ODUsIm5iZiI6MTc4MzQyNDI4NSwicGF0aCI6Ii85ODUwNTk5LzU3Nzk4ODU2OS05YWM1Mjg2YS02ZjRjLTQ1ZjktOTRkOS0wYWQ3ODkwYWE0NGIucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI2MDcwNyUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNjA3MDdUMTEzODA1WiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9MGFiYzhhMzRlNWJjOWZjYTk2NTZlYjljNzRlOGVkZWU2YjYzNTVmNjIzMzZlNGYyOGYyZjljYTFkODg3ODg1NSZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QmcmVzcG9uc2UtY29udGVudC10eXBlPWltYWdlJTJGcG5nIn0.BZyBNh9uysnAbNrYWH4RyLGn2LKv5kyjG5vbR843QyI
Please reload this pagehttps://github.com/DefElement/DefElement/pull/561
mscroggshttps://github.com/mscroggs
April 14, 2026 14:06https://github.com/DefElement/DefElement/pull/561#commits-pushed-51de709
https://github.com/mscroggs
@classmethodhttps://github.com/classmethod
, ruffhttps://github.com/DefElement/DefElement/pull/561/commits/51de70901db0d92fc2aedd5a5e6201f3faf7cdcc
51de709https://github.com/DefElement/DefElement/pull/561/commits/51de70901db0d92fc2aedd5a5e6201f3faf7cdcc
https://github.com/mscroggs
list[]https://github.com/DefElement/DefElement/pull/561/commits/746f7634ca72afd240f180eba3e7b96af5d2fde2
746f763https://github.com/DefElement/DefElement/pull/561/commits/746f7634ca72afd240f180eba3e7b96af5d2fde2
https://github.com/mscroggs
mscroggshttps://github.com/mscroggs
Apr 15, 2026 https://github.com/DefElement/DefElement/pull/561#pullrequestreview-4112133217
View reviewed changes https://github.com/DefElement/DefElement/pull/561/files/746f7634ca72afd240f180eba3e7b96af5d2fde2
defelement/implementations/jit/cpp/CMakeLists.template.txthttps://github.com/DefElement/DefElement/pull/561/files/746f7634ca72afd240f180eba3e7b96af5d2fde2#diff-bfb7bcbe614193ce5c907a95fdbf1ec94a6e2cd48840ec031d9ce980d982c02b
mscroggshttps://github.com/mscroggs
Apr 15, 2026https://github.com/DefElement/DefElement/pull/561#discussion_r3085194716
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/DefElement/DefElement/pull/561
https://github.com/mscroggs
mscroggshttps://github.com/mscroggs
Apr 15, 2026 https://github.com/DefElement/DefElement/pull/561#pullrequestreview-4112136129
View reviewed changes https://github.com/DefElement/DefElement/pull/561/files/746f7634ca72afd240f180eba3e7b96af5d2fde2
defelement/implementations/jit/cpp/Config.cmake.inhttps://github.com/DefElement/DefElement/pull/561/files/746f7634ca72afd240f180eba3e7b96af5d2fde2#diff-a0e6eaeaa494e7e61464e15b6a6cecbfe47aafd27938fb4ce6a95e26d220b4be
mscroggshttps://github.com/mscroggs
Apr 15, 2026https://github.com/DefElement/DefElement/pull/561#discussion_r3085197336
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/DefElement/DefElement/pull/561
https://github.com/mscroggs
rename filehttps://github.com/DefElement/DefElement/pull/561/commits/8238e13e41bae4837c95dffe7745f4b34526ee9c
8238e13https://github.com/DefElement/DefElement/pull/561/commits/8238e13e41bae4837c95dffe7745f4b34526ee9c
https://github.com/jorgensd
jorgensdhttps://github.com/jorgensd
Apr 15, 2026https://github.com/DefElement/DefElement/pull/561#issuecomment-4250684424
Please reload this pagehttps://github.com/DefElement/DefElement/pull/561
https://github.com/mscroggs
Merge branch 'main' into mscroggs/cpphttps://github.com/DefElement/DefElement/pull/561/commits/c9d674adaff6313f5b280303be6f9349c65e790a
c9d674ahttps://github.com/DefElement/DefElement/pull/561/commits/c9d674adaff6313f5b280303be6f9349c65e790a
mscroggshttps://github.com/mscroggs
May 5, 2026 17:50https://github.com/DefElement/DefElement/pull/561#commits-pushed-90dc6cc
https://github.com/mscroggs
Merge branch 'main' into mscroggs/cpphttps://github.com/DefElement/DefElement/pull/561/commits/90dc6ccda1eb9c0649a768b49567b7da64722c8b
90dc6cchttps://github.com/DefElement/DefElement/pull/561/commits/90dc6ccda1eb9c0649a768b49567b7da64722c8b
https://github.com/mscroggs
Merge branch 'main' into mscroggs/cpphttps://github.com/DefElement/DefElement/pull/561/commits/4530ea886ab3493a4b65f58233dd2314c03c5ce6
4530ea8https://github.com/DefElement/DefElement/pull/561/commits/4530ea886ab3493a4b65f58233dd2314c03c5ce6
https://github.com/mscroggs
Merge branch 'main' into mscroggs/cpphttps://github.com/DefElement/DefElement/pull/561/commits/8a2c042edcd8e1386cd1cc3f277c0d8ae3fe52b8
8a2c042https://github.com/DefElement/DefElement/pull/561/commits/8a2c042edcd8e1386cd1cc3f277c0d8ae3fe52b8
https://github.co/hiddenchars
https://github.com/DefElement/DefElement/pull/{{ revealButtonHref }}
Sign up for freehttps://github.com/join?source=comment-repo
Sign in to commenthttps://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FDefElement%2FDefElement%2Fpull%2F561
https://github.com/jorgensd
jorgensd https://github.com/jorgensd
Please reload this pagehttps://github.com/DefElement/DefElement/pull/561
https://github.com/mscroggs
https://github.com/jorgensd
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.