Skip to content

Commit a07ad44

Browse files
Merge pull request #3272 from AayushSabharwal/as/if-rewriting
feat: add optional `IfLifting` simplification pass
2 parents fe32c64 + 838ad80 commit a07ad44

File tree

5 files changed

+632
-4
lines changed

5 files changed

+632
-4
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)