Skip to content

Commit e3668e2

Browse files
committed
Remove veri_ir
1 parent c6dc576 commit e3668e2

4 files changed

Lines changed: 0 additions & 586 deletions

File tree

cranelift/isle/veri/veri_ir/Cargo.toml

Lines changed: 0 additions & 11 deletions
This file was deleted.

cranelift/isle/veri/veri_ir/README.md

Lines changed: 0 additions & 6 deletions
This file was deleted.

cranelift/isle/veri/veri_ir/src/annotation_ir.rs

Lines changed: 0 additions & 251 deletions
This file was deleted.

0 commit comments

Comments
 (0)