Skip to content

Commit 70dbd27

Browse files
authored
Remove optimizer (#82)
## Problem To facilitate integration of the long-standing PR #55, this PR deletes the entire optimizer module so that we can slowly add stuff back in.
1 parent 9280901 commit 70dbd27

File tree

10 files changed

+0
-2435
lines changed

10 files changed

+0
-2435
lines changed

optd/src/core/mod.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,4 +2,3 @@ pub mod bridge;
22
pub mod cir;
33
pub mod error;
44
pub mod memo;
5-
pub mod optimizer;

optd/src/core/optimizer/egest.rs

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

0 commit comments

Comments
 (0)