Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Verification Optimization Guide 404 #5010

Closed
racko opened this issue Jan 24, 2024 · 1 comment · Fixed by #5014
Closed

Verification Optimization Guide 404 #5010

racko opened this issue Jan 24, 2024 · 1 comment · Fixed by #5014
Labels
part: documentation Dafny's reference manual, tutorial, and other materials

Comments

@racko
Copy link
Contributor

racko commented Jan 24, 2024

What change in documentation do you suggest?

https://dafny.org/latest/DafnyRef/DafnyRef#sec-verification-debugging-slow references https://dafny.org/latest/VerificationOptimization/VerificationOptimization, which is not found:
dafny org_latest_VerificationOptimization_VerificationOptimization
@racko racko added the part: documentation Dafny's reference manual, tutorial, and other materials label Jan 24, 2024
@fabiomadge fabiomadge mentioned this issue Jan 25, 2024
Merged
@fabiomadge
Copy link
Collaborator

fabiomadge commented Jan 25, 2024 •
edited
Loading

Thanks! I was hoping that #4981 had straightened everything out, but I sure hope this will be the last try.

fabiomadge added a commit that referenced this issue Feb 22, 2024
@fabiomadge
fix: Adapt additional files to work with more recent Jekyll versions (#…
b6966c8 
…5014)

Fixes #5010
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
part: documentation Dafny's reference manual, tutorial, and other materials
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

fix: Adapt additional files to work with more recent Jekyll versions fabiomadge/dafny
2 participants
@fabiomadge @racko