René's URL Explorer Experiment


Title: Fix VC Function Substitution by rcosta358 · Pull Request #267 · liquid-java/liquidjava · GitHub

Open Graph Title: Fix VC Function Substitution by rcosta358 · Pull Request #267 · liquid-java/liquidjava

X Title: Fix VC Function Substitution by rcosta358 · Pull Request #267 · liquid-java/liquidjava

Description: Refinement type checker for Java with liquid types and typestates - catch bugs at compile time - Fix VC Function Substitution by rcosta358 · Pull Request #267 · liquid-java/liquidjava

Open Graph Description: Description This PR fixes VC function substitution so function equality premises are removed after they are used to rewrite later premises or the conclusion, similarly to normal VC substitution. Ex...

X Description: Description This PR fixes VC function substitution so function equality premises are removed after they are used to rewrite later premises or the conclusion, similarly to normal VC substitution. Ex...

Opengraph URL: https://github.com/liquid-java/liquidjava/pull/267

X: @github

direct link

Domain: Github.com

route-pattern/:user_id/:repository/pull/:id/commits(.:format)
route-controllerpull_requests
route-actioncommits
fetch-noncev2:da3c0b6a-e562-b716-598b-937f2cbd09c8
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-id87A2:1A2260:CD941D:1266CAF:6A632B78
html-safe-noncef3bb8a81b7beb21df87ca60de3f1d2d8bcf909c14559cd484d670c474fb42771
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiI4N0EyOjFBMjI2MDpDRDk0MUQ6MTI2NkNBRjo2QTYzMkI3OCIsInZpc2l0b3JfaWQiOiIxOTY3ODM3OTg4MjcwNTgyNjQ4IiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0=
visitor-hmac91902125d4b6f4305a7f91549331807ecf9de45e364b8cc3204bf8ad89ecdd5e
hovercard-subject-tagpull_request:3928676129
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///pull_requests/show/commits
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/liquid-java/liquidjava/pull/267/commits
twitter:imagehttps://opengraph.githubassets.com/95eecf327aa71452676ee23fda3eebed670b9aa8acebc5a2b4d39c85633143b7/liquid-java/liquidjava/pull/267
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/95eecf327aa71452676ee23fda3eebed670b9aa8acebc5a2b4d39c85633143b7/liquid-java/liquidjava/pull/267
og:image:altDescription This PR fixes VC function substitution so function equality premises are removed after they are used to rewrite later premises or the conclusion, similarly to normal VC substitution. Ex...
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
og:author:usernamercosta358
hostnamegithub.com
expected-hostnamegithub.com
None30c644d502bce6cd2e59f9000b4744f2b64819abea8e8f959b18e3ad793125aa
turbo-cache-controlno-cache
go-importgithub.com/liquid-java/liquidjava git https://github.com/liquid-java/liquidjava.git
octolytics-dimension-user_id242831829
octolytics-dimension-user_loginliquid-java
octolytics-dimension-repository_id258218369
octolytics-dimension-repository_nwoliquid-java/liquidjava
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id258218369
octolytics-dimension-repository_network_root_nwoliquid-java/liquidjava
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
release331492a48ebd91d66ef2de38e1901bb911c9fe9b
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://Github.com/liquid-java/liquidjava/pull/267/commits#start-of-content
https://Github.com/
Sign in https://Github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fliquid-java%2Fliquidjava%2Fpull%2F267%2Fcommits
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
Code QualityEnforce quality at mergehttps://github.com/features/code-quality
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/open-source/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/open-source/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/enterprise/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%2Fliquid-java%2Fliquidjava%2Fpull%2F267%2Fcommits
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%2Fpull_requests%2Fshow%2Fcommits&source=header-repo&source_repo=liquid-java%2Fliquidjava
Reloadhttps://Github.com/liquid-java/liquidjava/pull/267/commits
Reloadhttps://Github.com/liquid-java/liquidjava/pull/267/commits
Reloadhttps://Github.com/liquid-java/liquidjava/pull/267/commits
Please reload this pagehttps://Github.com/liquid-java/liquidjava/pull/267/commits
liquid-java https://Github.com/liquid-java
liquidjavahttps://Github.com/liquid-java/liquidjava
Notifications https://Github.com/login?return_to=%2Fliquid-java%2Fliquidjava
Fork 36 https://Github.com/login?return_to=%2Fliquid-java%2Fliquidjava
Star 65 https://Github.com/login?return_to=%2Fliquid-java%2Fliquidjava
Code https://Github.com/liquid-java/liquidjava
Issues 20 https://Github.com/liquid-java/liquidjava/issues
Pull requests 8 https://Github.com/liquid-java/liquidjava/pulls
Actions https://Github.com/liquid-java/liquidjava/actions
Projects https://Github.com/liquid-java/liquidjava/projects
Security and quality 0 https://Github.com/liquid-java/liquidjava/security
Insights https://Github.com/liquid-java/liquidjava/pulse
Code https://Github.com/liquid-java/liquidjava
Issues https://Github.com/liquid-java/liquidjava/issues
Pull requests https://Github.com/liquid-java/liquidjava/pulls
Actions https://Github.com/liquid-java/liquidjava/actions
Projects https://Github.com/liquid-java/liquidjava/projects
Security and quality https://Github.com/liquid-java/liquidjava/security
Insights https://Github.com/liquid-java/liquidjava/pulse
rcosta358https://Github.com/rcosta358
mainhttps://Github.com/liquid-java/liquidjava/tree/main
fix-vc-function-substitutionhttps://Github.com/liquid-java/liquidjava/tree/fix-vc-function-substitution
Conversationhttps://Github.com/liquid-java/liquidjava/pull/267
Commits5 (5)https://Github.com/liquid-java/liquidjava/pull/267/commits
Checkshttps://Github.com/liquid-java/liquidjava/pull/267/checks
Files changedhttps://Github.com/liquid-java/liquidjava/pull/267/files
Fix VC Function Substitutionhttps://Github.com/liquid-java/liquidjava/pull/267/commits#top
rcosta358https://Github.com/rcosta358
mainhttps://Github.com/liquid-java/liquidjava/tree/main
fix-vc-function-substitutionhttps://Github.com/liquid-java/liquidjava/tree/fix-vc-function-substitution
Fix VC Function Substitutionhttps://Github.com/liquid-java/liquidjava/pull/267/commits/919a5b82ed77ecfa4a79eea1fc6affc1ce728dec
https://Github.com/rcosta358
rcosta358https://Github.com/liquid-java/liquidjava/commits?author=rcosta358
919a5b8https://Github.com/liquid-java/liquidjava/pull/267/commits/919a5b82ed77ecfa4a79eea1fc6affc1ce728dec
https://Github.com/liquid-java/liquidjava/tree/919a5b82ed77ecfa4a79eea1fc6affc1ce728dec
Function Invocation Simple Name Workaroundhttps://Github.com/liquid-java/liquidjava/pull/267/commits/5ec4cafd023683de8918a37453c8381aca7bf98d
https://Github.com/rcosta358
rcosta358https://Github.com/liquid-java/liquidjava/commits?author=rcosta358
5ec4cafhttps://Github.com/liquid-java/liquidjava/pull/267/commits/5ec4cafd023683de8918a37453c8381aca7bf98d
https://Github.com/liquid-java/liquidjava/tree/5ec4cafd023683de8918a37453c8381aca7bf98d
Remove Redundant Ifhttps://Github.com/liquid-java/liquidjava/pull/267/commits/585ba2ff9044f23fe6b4a8f9327e09437ede0d95
https://Github.com/rcosta358
rcosta358https://Github.com/liquid-java/liquidjava/commits?author=rcosta358
585ba2fhttps://Github.com/liquid-java/liquidjava/pull/267/commits/585ba2ff9044f23fe6b4a8f9327e09437ede0d95
https://Github.com/liquid-java/liquidjava/tree/585ba2ff9044f23fe6b4a8f9327e09437ede0d95
Renaming and JavaDochttps://Github.com/liquid-java/liquidjava/pull/267/commits/271732e7bda6a5ee758ecde33bc00fc7a67e1717
https://Github.com/rcosta358
rcosta358https://Github.com/liquid-java/liquidjava/commits?author=rcosta358
271732ehttps://Github.com/liquid-java/liquidjava/pull/267/commits/271732e7bda6a5ee758ecde33bc00fc7a67e1717
https://Github.com/liquid-java/liquidjava/tree/271732e7bda6a5ee758ecde33bc00fc7a67e1717
Remove Unnecessary Cloneshttps://Github.com/liquid-java/liquidjava/pull/267/commits/1d9b4071b56546cbfc09e8a03f417aa06b0cb9e6
https://Github.com/rcosta358
rcosta358https://Github.com/liquid-java/liquidjava/commits?author=rcosta358
1d9b407https://Github.com/liquid-java/liquidjava/pull/267/commits/1d9b4071b56546cbfc09e8a03f417aa06b0cb9e6
https://Github.com/liquid-java/liquidjava/tree/1d9b4071b56546cbfc09e8a03f417aa06b0cb9e6
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.