feat: implement IfLifting structural simplification pass

Co-authored-by: Benjamin Chung <[email protected]>
SciML · Dec 17, 2024 · 7deb72b · 7deb72b
1 parent 21a2a33
commit 7deb72b
Show file tree

Hide file tree

Showing 2 changed files with 512 additions and 0 deletions.
diff --git a/src/ModelingToolkit.jl b/src/ModelingToolkit.jl
@@ -181,6 +181,7 @@ include("discretedomain.jl")
 include("systems/systemstructure.jl")
 include("systems/clock_inference.jl")
 include("systems/systems.jl")
+include("systems/if_lifting.jl")
 
 include("debugging.jl")
 include("systems/alias_elimination.jl")