René's URL Explorer Experiment


Title: Add -a/--all flag to show all SMT verification conditions by CatarinaGamboa · Pull Request #243 · liquid-java/liquidjava · GitHub

Open Graph Title: Add -a/--all flag to show all SMT verification conditions by CatarinaGamboa · Pull Request #243 · liquid-java/liquidjava

X Title: Add -a/--all flag to show all SMT verification conditions by CatarinaGamboa · Pull Request #243 · liquid-java/liquidjava

Description: Refinement type checker for Java with liquid types and typestates - catch bugs at compile time - Add -a/--all flag to show all SMT verification conditions by CatarinaGamboa · Pull Request #243 · liquid-java/liquidjava

Open Graph Description: Description Closes #240 Now we show all the VCs that were sent to the smt solver even if there are no errors. Example Type of change Bug fix New feature Documentation update Code refactoring ...

X Description: Description Closes #240 Now we show all the VCs that were sent to the smt solver even if there are no errors. Example Type of change Bug fix New feature Documentation update Code refactoring ...

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

X: @github

direct link

Domain: Github.com

route-pattern/:user_id/:repository/pull/:id/checks(.:format)
route-controllerpull_requests
route-actionchecks
fetch-noncev2:2a99c106-766b-35b9-ced8-d4720f7610f8
current-catalog-service-hash87dc3bc62d9b466312751bfd5f889726f4f1337bdff4e8be7da7c93d6c00a25a
request-id9A0A:108162:4D1E3B:69E8F8:6A62D5E7
html-safe-noncef3658b71e332f5b1f4984208f76dc592f2c031e258b5f1580b9cb33b39cfc737
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiI5QTBBOjEwODE2Mjo0RDFFM0I6NjlFOEY4OjZBNjJENUU3IiwidmlzaXRvcl9pZCI6IjQxOTQ0MDA4NjE4ODczMjE1NzUiLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ==
visitor-hmac8294705b0b7b8aea9a17b5ebc1f2f7f4ccb518d8940834c046bbb7cb5e18de59
hovercard-subject-tagpull_request:3789041478
github-keyboard-shortcutsrepository,pull-request-list,pull-request-conversation,pull-request-files-changed,checks,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location///pull_requests/show/checks
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/liquid-java/liquidjava/pull/243/checks
twitter:imagehttps://opengraph.githubassets.com/ed97db532b0fe4a1722e43a0f73893c3adc11a8ddfb34d0cd1846b4096b00f6c/liquid-java/liquidjava/pull/243
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/ed97db532b0fe4a1722e43a0f73893c3adc11a8ddfb34d0cd1846b4096b00f6c/liquid-java/liquidjava/pull/243
og:image:altDescription Closes #240 Now we show all the VCs that were sent to the smt solver even if there are no errors. Example Type of change Bug fix New feature Documentation update Code refactoring ...
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
og:author:usernameCatarinaGamboa
hostnamegithub.com
expected-hostnamegithub.com
Nonedf33b1b61ee7b9a0af988199bfc3503c9c1acafb1f1d40e1f140ea7c84f890dd
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
released41cd1bdb290013455c0ac430fa755621733f5eb
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://Github.com/liquid-java/liquidjava/pull/243/checks#start-of-content
https://Github.com/
Sign in https://Github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fliquid-java%2Fliquidjava%2Fpull%2F243%2Fchecks
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%2F243%2Fchecks
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%2Fchecks&source=header-repo&source_repo=liquid-java%2Fliquidjava
Reloadhttps://Github.com/liquid-java/liquidjava/pull/243/checks
Reloadhttps://Github.com/liquid-java/liquidjava/pull/243/checks
Reloadhttps://Github.com/liquid-java/liquidjava/pull/243/checks
Please reload this pagehttps://Github.com/liquid-java/liquidjava/pull/243/checks
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
CatarinaGamboahttps://Github.com/CatarinaGamboa
mainhttps://Github.com/liquid-java/liquidjava/tree/main
worktree-issue-240https://Github.com/liquid-java/liquidjava/tree/worktree-issue-240
Conversationhttps://Github.com/liquid-java/liquidjava/pull/243
Commits3 (3)https://Github.com/liquid-java/liquidjava/pull/243/commits
Checkshttps://Github.com/liquid-java/liquidjava/pull/243/checks
Files changedhttps://Github.com/liquid-java/liquidjava/pull/243/files
Add -a/--all flag to show all SMT verification conditionshttps://Github.com/liquid-java/liquidjava/pull/243/checks#top
CatarinaGamboahttps://Github.com/CatarinaGamboa
mainhttps://Github.com/liquid-java/liquidjava/tree/main
worktree-issue-240https://Github.com/liquid-java/liquidjava/tree/worktree-issue-240
Please reload this pagehttps://Github.com/liquid-java/liquidjava/pull/243/checks
Sign in for the full log viewhttps://Github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fliquid-java%2Fliquidjava%2Fpull%2F243%2Fchecks
Java CI with Maven on: pull_request https://Github.com/liquid-java/liquidjava/actions/runs/27477420066
Maven test on Java 20 https://Github.com/liquid-java/liquidjava/actions/runs/27477420066/job/81219136339?pr=243
Complete job https://Github.com/liquid-java/liquidjava/pull/243/checks#annotation:13:2
https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
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.