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/_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:6c5d1760-454c-ddde-1519-597b4daf6ff5
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-id8F08:B1BBE:679294:8A84B8:6A62A1A8
html-safe-nonceca8ef4b46f8998490ef345722770b40f337fdf9dc7df62b74bc36a7e83f3888c
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiI4RjA4OkIxQkJFOjY3OTI5NDo4QTg0Qjg6NkE2MkExQTgiLCJ2aXNpdG9yX2lkIjoiMjU4NjY2NDA4MzIzMzM1MDA1NiIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9
visitor-hmac849b10719c20088cb76e8fd8caf6fd9c8a38a4a41ad879b10197ae37f0a20042
hovercard-subject-tagpull_request:3789041478
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/liquid-java/liquidjava/243/pull_request_layout
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
Nonea6443033349a18134b517627f043d4a59a5110337b879810c7229c2c7e28eda0
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
released6c6cacbe32d3ddfd1796fbd1a39b8fb47b87daf
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://Github.com/liquid-java/liquidjava/pull/243#start-of-content
https://Github.com/
Sign in https://Github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fliquid-java%2Fliquidjava%2Fpull%2F243
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
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=liquid-java%2Fliquidjava
Reloadhttps://Github.com/liquid-java/liquidjava/pull/243
Reloadhttps://Github.com/liquid-java/liquidjava/pull/243
Reloadhttps://Github.com/liquid-java/liquidjava/pull/243
Please reload this pagehttps://Github.com/liquid-java/liquidjava/pull/243
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#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
https://Github.com/CatarinaGamboa
CatarinaGamboahttps://Github.com/CatarinaGamboa
Jun 2, 2026https://Github.com/liquid-java/liquidjava/pull/243#issue-4572554776
#240https://github.com/liquid-java/liquidjava/issues/240
https://private-user-images.githubusercontent.com/52540187/601639956-586d4dac-0a4c-45be-a90d-eeaf37c0df2e.png?jwt=eyJ0eXAiOiJKV1QiLCJhbGciOiJIUzI1NiJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3ODQ4NDkxMDgsIm5iZiI6MTc4NDg0ODgwOCwicGF0aCI6Ii81MjU0MDE4Ny82MDE2Mzk5NTYtNTg2ZDRkYWMtMGE0Yy00NWJlLWE5MGQtZWVhZjM3YzBkZjJlLnBuZz9YLUFtei1BbGdvcml0aG09QVdTNC1ITUFDLVNIQTI1NiZYLUFtei1DcmVkZW50aWFsPUFLSUFWQ09EWUxTQTUzUFFLNFpBJTJGMjAyNjA3MjMlMkZ1cy1lYXN0LTElMkZzMyUyRmF3czRfcmVxdWVzdCZYLUFtei1EYXRlPTIwMjYwNzIzVDIzMjAwOFomWC1BbXotRXhwaXJlcz0zMDAmWC1BbXotU2lnbmF0dXJlPTQ5ODQ3MTEwMzc5ODA4ZTc4ODJhYzhkZDM1ZDZlNmY2MjM2NjE2M2Y2ZDNmZGE1NWRlZGM5MzdkMjNkNzg3OGEmWC1BbXotU2lnbmVkSGVhZGVycz1ob3N0JnJlc3BvbnNlLWNvbnRlbnQtdHlwZT1pbWFnZSUyRnBuZyJ9.5DoOI1F31zhr0lPHw13ytIto7bkK_MBXJEoDnhffpck
Please reload this pagehttps://Github.com/liquid-java/liquidjava/pull/243
https://Github.com/CatarinaGamboa
CatarinaGamboahttps://Github.com/CatarinaGamboa
rcosta358https://Github.com/rcosta358
June 2, 2026 15:34https://Github.com/liquid-java/liquidjava/pull/243#event-26244891426
https://Github.com/rcosta358
rcosta358https://Github.com/rcosta358
Jun 2, 2026 https://Github.com/liquid-java/liquidjava/pull/243#pullrequestreview-4411516136
View reviewed changes https://Github.com/liquid-java/liquidjava/pull/243/files
liquidjava-verifier/src/main/java/liquidjava/api/CommandLineArgs.javahttps://Github.com/liquid-java/liquidjava/pull/243/files#diff-3c2294de9451ee6223f90d60a47fe26ec6c80989120b90da0a218570464e648d
rcosta358https://Github.com/rcosta358
Jun 2, 2026https://Github.com/liquid-java/liquidjava/pull/243#discussion_r3342685815
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://Github.com/liquid-java/liquidjava/pull/243
liquidjava-verifier/src/main/java/liquidjava/diagnostics/DebugLog.javahttps://Github.com/liquid-java/liquidjava/pull/243/files#diff-4e6c12c56bbc5b46572b2f214864c55b57417daecdce494782883afe6d438874
rcosta358https://Github.com/rcosta358
Jun 2, 2026https://Github.com/liquid-java/liquidjava/pull/243#discussion_r3342686993
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://Github.com/liquid-java/liquidjava/pull/243
https://Github.com/CatarinaGamboa
CatarinaGamboahttps://Github.com/CatarinaGamboa
June 3, 2026 14:19https://Github.com/liquid-java/liquidjava/pull/243#event-26290302399
https://Github.com/CatarinaGamboa
CatarinaGamboahttps://Github.com/CatarinaGamboa
Jun 3, 2026https://Github.com/liquid-java/liquidjava/pull/243#issuecomment-4613346703
Please reload this pagehttps://Github.com/liquid-java/liquidjava/pull/243
https://Github.com/CatarinaGamboa
CatarinaGamboahttps://Github.com/CatarinaGamboa
force-pushedhttps://Github.com/liquid-java/liquidjava/compare/f5b880ea0553e020723e45ac3bb2039cab81b8b9..380a89d52c4d003892c9b1ab45abdac51f72d1fe
f5b880ehttps://Github.com/liquid-java/liquidjava/commit/f5b880ea0553e020723e45ac3bb2039cab81b8b9
380a89dhttps://Github.com/liquid-java/liquidjava/commit/380a89d52c4d003892c9b1ab45abdac51f72d1fe
Compare https://Github.com/liquid-java/liquidjava/compare/f5b880ea0553e020723e45ac3bb2039cab81b8b9..380a89d52c4d003892c9b1ab45abdac51f72d1fe
June 13, 2026 17:14https://Github.com/liquid-java/liquidjava/pull/243#event-26712251345
CatarinaGamboahttps://Github.com/CatarinaGamboa
June 13, 2026 19:14https://Github.com/liquid-java/liquidjava/pull/243#commits-pushed-a684f45
https://Github.com/CatarinaGamboa
Change flag to dump context infohttps://Github.com/liquid-java/liquidjava/pull/243/commits/a684f45bb2f679e71da613b80354be5f3e2c473f
a684f45https://Github.com/liquid-java/liquidjava/pull/243/commits/a684f45bb2f679e71da613b80354be5f3e2c473f
https://Github.com/CatarinaGamboa
Flag all shows both context and the debug infohttps://Github.com/liquid-java/liquidjava/pull/243/commits/baefe3d4ada87bfcaacd330e29099ef44fd56a85
baefe3dhttps://Github.com/liquid-java/liquidjava/pull/243/commits/baefe3d4ada87bfcaacd330e29099ef44fd56a85
https://Github.com/CatarinaGamboa
CatarinaGamboahttps://Github.com/CatarinaGamboa
force-pushedhttps://Github.com/liquid-java/liquidjava/compare/380a89d52c4d003892c9b1ab45abdac51f72d1fe..baefe3d4ada87bfcaacd330e29099ef44fd56a85
380a89dhttps://Github.com/liquid-java/liquidjava/commit/380a89d52c4d003892c9b1ab45abdac51f72d1fe
baefe3dhttps://Github.com/liquid-java/liquidjava/commit/baefe3d4ada87bfcaacd330e29099ef44fd56a85
Compare https://Github.com/liquid-java/liquidjava/compare/380a89d52c4d003892c9b1ab45abdac51f72d1fe..baefe3d4ada87bfcaacd330e29099ef44fd56a85
June 13, 2026 17:14https://Github.com/liquid-java/liquidjava/pull/243#event-26712254783
https://Github.com/CatarinaGamboa
less changes in utilshttps://Github.com/liquid-java/liquidjava/pull/243/commits/e593f79856460e26fef6a9647d5d23d96e953748
e593f79https://Github.com/liquid-java/liquidjava/pull/243/commits/e593f79856460e26fef6a9647d5d23d96e953748
https://github.co/hiddenchars
https://Github.com/liquid-java/liquidjava/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%2Fliquid-java%2Fliquidjava%2Fpull%2F243
https://Github.com/rcosta358
rcosta358 https://Github.com/rcosta358
https://Github.com/liquid-java/liquidjava/pull/243/files/f5b880ea0553e020723e45ac3bb2039cab81b8b9
Add a flag -a to show all verification conditions sent to the smt solver https://github.com/liquid-java/liquidjava/issues/240
Please reload this pagehttps://Github.com/liquid-java/liquidjava/pull/243
https://Github.com/CatarinaGamboa
https://Github.com/rcosta358
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.