search

opencompl / lean-mlir

A minimal development of SSA theory
Other
68 stars 6 forks source link

Fix dc example #567

Closed luisacicolini closed 2 weeks ago

luisacicolini commented 2 weeks ago

Function splitOn is defined using splitOnAux, which is defined by well-founded recursion and marked @[irreducible] by default. As advised, we set splitOnAux back to semireducible by using unseal to use it in DCExample. CC: @ymherklotz @alexkeizer

github-actions[bot] commented 2 weeks ago

Alive Statistics: 64 / 93 (29 failed)

github-actions[bot] commented 2 weeks ago

Alive Statistics: 64 / 93 (29 failed)

tobiasgrosser commented 2 weeks ago

Also, you may want to update the commit message to include @ymherklotz's analysis.

github-actions[bot] commented 2 weeks ago

Alive Statistics: 64 / 93 (29 failed)

github-actions[bot] commented 2 weeks ago

Alive Statistics: 64 / 93 (29 failed)