René's URL Explorer Experiment


Title: Add support for annotations in DefineFunctionEvent by panda2134 · Pull Request #5 · SemGuS-git/Semgus-Java · GitHub

Open Graph Title: Add support for annotations in DefineFunctionEvent by panda2134 · Pull Request #5 · SemGuS-git/Semgus-Java

X Title: Add support for annotations in DefineFunctionEvent by panda2134 · Pull Request #5 · SemGuS-git/Semgus-Java

Description: This pull request adds support for annotations in function definition. According to SemGuS documents, the function bodies may be annotated with input and output variables. However the annotations a...

Open Graph Description: This pull request adds support for annotations in function definition. According to SemGuS documents, the function bodies may be annotated with input and output variables. However the annotations a...

X Description: This pull request adds support for annotations in function definition. According to SemGuS documents, the function bodies may be annotated with input and output variables. However the annotations a...

Opengraph URL: https://github.com/SemGuS-git/Semgus-Java/pull/5

X: @github

direct link

Domain: patch-diff.githubusercontent.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:abe66e3c-5736-ef22-0959-844da9f1ee5c
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-idA928:10A165:2F65703:40145D3:697C728B
html-safe-nonceb7dbae257e49fe3e4a29e5c0d8ce4831069e060e40190eff14b2f24ddfeb6b11
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJBOTI4OjEwQTE2NToyRjY1NzAzOjQwMTQ1RDM6Njk3QzcyOEIiLCJ2aXNpdG9yX2lkIjoiNDY2OTI4MzgxNjU1OTExMjg0MyIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9
visitor-hmac54121a1e607fd422464fdac461c8e773ed941dc10af8d02c37e9ff12e6f1e75c
hovercard-subject-tagpull_request:1662027142
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/SemGuS-git/Semgus-Java/5/pull_request_layout
twitter:imagehttps://opengraph.githubassets.com/35c4a305ab78f7087a0b0c2104570018483c141d50f7be225bed38b62122a480/SemGuS-git/Semgus-Java/pull/5
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/35c4a305ab78f7087a0b0c2104570018483c141d50f7be225bed38b62122a480/SemGuS-git/Semgus-Java/pull/5
og:image:altThis pull request adds support for annotations in function definition. According to SemGuS documents, the function bodies may be annotated with input and output variables. However the annotations a...
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
og:author:usernamepanda2134
hostnamegithub.com
expected-hostnamegithub.com
None639d2e61e0595a02d145092815d5b5c7345a4476fa7ce7eedc85345f4b0d5bd2
turbo-cache-controlno-preview
go-importgithub.com/SemGuS-git/Semgus-Java git https://github.com/SemGuS-git/Semgus-Java.git
octolytics-dimension-user_id74783601
octolytics-dimension-user_loginSemGuS-git
octolytics-dimension-repository_id465948594
octolytics-dimension-repository_nwoSemGuS-git/Semgus-Java
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id465948594
octolytics-dimension-repository_network_root_nwoSemGuS-git/Semgus-Java
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
release63131d96a4439002c1e480bbbc136f28b7fff962
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/pull/5#start-of-content
https://patch-diff.githubusercontent.com/
Sign in https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2FSemGuS-git%2FSemgus-Java%2Fpull%2F5
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub SparkBuild and deploy intelligent appshttps://github.com/features/spark
GitHub ModelsManage and compare promptshttps://github.com/features/models
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
GitHub SponsorsFund open source developershttps://github.com/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/accelerator
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://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2FSemGuS-git%2FSemgus-Java%2Fpull%2F5
Sign up https://patch-diff.githubusercontent.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=SemGuS-git%2FSemgus-Java
Reloadhttps://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/pull/5
Reloadhttps://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/pull/5
Reloadhttps://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/pull/5
SemGuS-git https://patch-diff.githubusercontent.com/SemGuS-git
Semgus-Javahttps://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java
Notifications https://patch-diff.githubusercontent.com/login?return_to=%2FSemGuS-git%2FSemgus-Java
Fork 2 https://patch-diff.githubusercontent.com/login?return_to=%2FSemGuS-git%2FSemgus-Java
Star 2 https://patch-diff.githubusercontent.com/login?return_to=%2FSemGuS-git%2FSemgus-Java
Code https://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java
Issues 1 https://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/issues
Pull requests 1 https://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/pulls
Actions https://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/actions
Security 0 https://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/security
Insights https://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/pulse
Code https://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java
Issues https://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/issues
Pull requests https://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/pulls
Actions https://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/actions
Security https://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/security
Insights https://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/pulse
Sign up for GitHub https://patch-diff.githubusercontent.com/signup?return_to=%2FSemGuS-git%2FSemgus-Java%2Fissues%2Fnew%2Fchoose
terms of servicehttps://docs.github.com/terms
privacy statementhttps://docs.github.com/privacy
Sign inhttps://patch-diff.githubusercontent.com/login?return_to=%2FSemGuS-git%2FSemgus-Java%2Fissues%2Fnew%2Fchoose
Jump to bottomhttps://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/pull/5#issue-comment-box
panda2134https://patch-diff.githubusercontent.com/panda2134
SemGuS-git:mainhttps://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/tree/main
panda2134:mainhttps://patch-diff.githubusercontent.com/panda2134/Semgus-Java/tree/main
Add support for annotations in DefineFunctionEvent https://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/pull/5#top
panda2134https://patch-diff.githubusercontent.com/panda2134
SemGuS-git:mainhttps://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/tree/main
panda2134:mainhttps://patch-diff.githubusercontent.com/panda2134/Semgus-Java/tree/main
Conversation 1 https://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/pull/5
Commits 5 https://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/pull/5/commits
Checks 0 https://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/pull/5/checks
Files changed https://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/pull/5/files
Please reload this pagehttps://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/pull/5
https://github.co/hiddenchars
https://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/pull/{{ revealButtonHref }}
https://patch-diff.githubusercontent.com/panda2134
panda2134https://patch-diff.githubusercontent.com/panda2134
Jan 2, 2024https://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/pull/5#issue-2062645176
SemGuS documentshttps://www.semgus.org
Please reload this pagehttps://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/pull/5
https://patch-diff.githubusercontent.com/panda2134
Add support for annotations in DefineFunctionEventhttps://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/pull/5/commits/326a26dc6e96988b5e0a853fda87dac010b74a3d
326a26dhttps://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/pull/5/commits/326a26dc6e96988b5e0a853fda87dac010b74a3d
https://patch-diff.githubusercontent.com/kjcjohnson
kjcjohnsonhttps://patch-diff.githubusercontent.com/kjcjohnson
Jan 3, 2024https://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/pull/5#issuecomment-1875584708
Please reload this pagehttps://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/pull/5
Shoooooonhttps://patch-diff.githubusercontent.com/Shoooooon
February 22, 2024 20:48https://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/pull/5#commits-pushed-63eb388
https://patch-diff.githubusercontent.com/Shoooooon
Parametric Sorts (https://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/pull/5/commits/63eb388aac08f548ac90b76afb664d693f886c58
SemGuS-git#7https://github.com/SemGuS-git/Semgus-Java/pull/7
)https://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/pull/5/commits/63eb388aac08f548ac90b76afb664d693f886c58
63eb388https://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/pull/5/commits/63eb388aac08f548ac90b76afb664d693f886c58
https://patch-diff.githubusercontent.com/panda2134
feat: added support for Seq typeshttps://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/pull/5/commits/4806f7c18adf50fb660ed7de5296a55f70fdd153
4806f7chttps://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/pull/5/commits/4806f7c18adf50fb660ed7de5296a55f70fdd153
https://patch-diff.githubusercontent.com/panda2134
merge latest changes from upstreamhttps://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/pull/5/commits/3f960cad805b8e0ee7a13c5714e6c32f3ea37c39
3f960cahttps://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/pull/5/commits/3f960cad805b8e0ee7a13c5714e6c32f3ea37c39
https://patch-diff.githubusercontent.com/panda2134
fix: bug for parsing type arguments of Seqhttps://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/pull/5/commits/139f9dcbf19d24753c57c5d5f6fbaa03fa4cb029
139f9dchttps://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/pull/5/commits/139f9dcbf19d24753c57c5d5f6fbaa03fa4cb029
Sign up for freehttps://patch-diff.githubusercontent.com/join?source=comment-repo
Sign in to commenthttps://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2FSemGuS-git%2FSemgus-Java%2Fpull%2F5
Please reload this pagehttps://patch-diff.githubusercontent.com/SemGuS-git/Semgus-Java/pull/5
https://patch-diff.githubusercontent.com/panda2134
https://patch-diff.githubusercontent.com/kjcjohnson
https://patch-diff.githubusercontent.com/Shoooooon
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.