Skip to content

Commit

Permalink
[docs] Fix broken image links in docs (#7710)
Browse files Browse the repository at this point in the history
  • Loading branch information
@Ivecia
Ivecia authored Oct 18, 2024
1 parent 313ac7a commit 0ae52c1
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 4 deletions.
2 changes: 1 addition & 1 deletion docs/FormalVerification.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -55,7 +55,7 @@ building formal verification tools based on CIRCT. The
[below diagram](/includes/img/smt_based_formal_verification_infra.svg) provides
a visual overview.

<p align="center"><img src="/includes/img/smt_based_formal_verification_infra.svg"/></p>
<p align="center"><img src="https://circt.llvm.org/includes/img/smt_based_formal_verification_infra.svg"/></p>

The overall flow will insert an explicit operation to specify the verification
problem (e.g., `verif.lec`, `verif.bmc`). This operation could then be lowered
Expand Down
6 changes: 3 additions & 3 deletions docs/GettingStarted.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,10 +9,10 @@ Welcome to the CIRCT project!
methodology to the domain of hardware design tools.

Take a look at the following diagram, which gives a brief overview of the
current [dialects and how they interact](/includes/img/dialects.svg):
current [dialects and how they interact](https://circt.llvm.org/includes/img/dialects.svg):

<p align="center"><img src="/includes/img/dialectlegend.svg"/></p>
<p align="center"><img src="/includes/img/dialects.svg"/></p>
<p align="center"><img src="https://circt.llvm.org/includes/img/dialectlegend.svg"/></p>
<p align="center"><img src="https://circt.llvm.org/includes/img/dialects.svg"/></p>

## Setting this up

Expand Down

0 comments on commit 0ae52c1

Please sign in to comment.