Skip to content

Commit 5b139dd

Browse files
committed
remove accidentally committed artifacts
1 parent 83f6110 commit 5b139dd

3 files changed

Lines changed: 2 additions & 1575 deletions

File tree

.gitignore

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -15,3 +15,5 @@ dump.rdb
1515

1616
# Analysis artifacts
1717
*.ll.skip
18+
cache-infer.log
19+
uitofp_fmul_96_instances.txt

0 commit comments

Comments
 (0)