Skip to content

Map auto-generated impl proofs to their implements clause in dependency analysis#1049

Draft
jcp19 wants to merge 2 commits into
keuscha/dependency_analysis_refactoringfrom
claude/gobra-issue-1042-ix9p2e
Draft

Map auto-generated impl proofs to their implements clause in dependency analysis#1049
jcp19 wants to merge 2 commits into
keuscha/dependency_analysis_refactoringfrom
claude/gobra-issue-1042-ix9p2e

Handle no-clause generated impl proofs with a hidden internal depende…

3fef134
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar