Skip to content

Commit

Permalink
fix: github markdown style in bug.md (#128)
Browse files Browse the repository at this point in the history
  • Loading branch information
ganler committed Dec 24, 2023
1 parent e894a30 commit 8a704d1
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions doc/bugs.md
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# Bugs uncovered by the NNSmith project

> **Important**
> [!IMPORTANT]
>
> **Summary of Bugs**
>
Expand All @@ -16,12 +16,12 @@
> | Hidet | 12 | 0 | 1 | 13 |
> | Sum | 119 | 37 | 29 | 185 |
> **Note**
> [!NOTE]
>
> - **Status**: ✅ means fixed; 🔵 means confirmed; 🚨 means this bug has been marked with a `high-priority` label (PyTorch)
> - **Symptom**: 💥 Crash or exception; 🧮 Result inconsistency (silent semantic bug); 🧴 Sanitizers
> **Note**
> [!NOTE]
>
> **Table of Content**
>
Expand Down Expand Up @@ -246,7 +246,7 @@ Based on NNSmith, [@soodoshll](https://github.com/soodoshll) found a number of b
*[[Bug] arguments of clip drop after fusion · Issue #97 · hidet-org/hidet](https://github.com/hidet-org/hidet/issues/97)
*[[Bug] fusion rewrite fails · Issue #99 · hidet-org/hidet](https://github.com/hidet-org/hidet/issues/99)

> **Note**
> [!NOTE]
>
> **Methodology**
>
Expand Down

0 comments on commit 8a704d1

Please sign in to comment.