feat: implement IfLifting structural simplification pass

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

Hide file tree

Showing 2 changed files with 501 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")