Skip to content

Commit 7deb72b

Browse files
feat: implement IfLifting structural simplification pass
Co-authored-by: Benjamin Chung <[email protected]>
1 parent 21a2a33 commit 7deb72b

File tree

2 files changed

+512
-0
lines changed

2 files changed

+512
-0
lines changed

src/ModelingToolkit.jl

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -181,6 +181,7 @@ include("discretedomain.jl")
181181
include("systems/systemstructure.jl")
182182
include("systems/clock_inference.jl")
183183
include("systems/systems.jl")
184+
include("systems/if_lifting.jl")
184185

185186
include("debugging.jl")
186187
include("systems/alias_elimination.jl")

0 commit comments

Comments
 (0)