From 0ae52c1ddcdf6079b8d5b079207989f58ec16404 Mon Sep 17 00:00:00 2001 From: Ivecia Date: Sat, 19 Oct 2024 03:29:59 +0800 Subject: [PATCH] [docs] Fix broken image links in docs (#7710) --- docs/FormalVerification.md | 2 +- docs/GettingStarted.md | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/docs/FormalVerification.md b/docs/FormalVerification.md index 56d9f3adedf7..6d62e4747cdb 100644 --- a/docs/FormalVerification.md +++ b/docs/FormalVerification.md @@ -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. -

+

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 diff --git a/docs/GettingStarted.md b/docs/GettingStarted.md index 2d5a72541d11..a8b67a47976e 100644 --- a/docs/GettingStarted.md +++ b/docs/GettingStarted.md @@ -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): -

-

+

+

## Setting this up