AnyDSL/MimIR

Labels< D023 a type="button" href="/AnyDSL/MimIR/milestones" class="prc-Button-ButtonBase-c50BI" data-loading="false" data-size="medium" data-variant="default" aria-describedby=":R2ed56b:-loading-announcement">MilestonesNew issue

#224

· leissa opened

on May 23, 2023

cps2ds - wrong body type

#222

· leissa opened

on May 22, 2023

Reshape phase messes up types

#208

· leissa opened

on Apr 26, 2023

Backend Preparation: Nested Extract Splitting

enhancement

#187

· NeuralCoder3 opened

on Mar 13, 2023

Add mem adds too many mems

bug

#179

· NeuralCoder3 opened

on Feb 1, 2023

Add mem problem with dependent types

bug

#177

· NeuralCoder3 opened

on Jan 31, 2023

Application Error with matching domain

bug

#174

· NeuralCoder3 opened

on Jan 16, 2023

Association Dialect

enhancement

#173

· NeuralCoder3 opened

on Jan 16, 2023

Closure Conversion dependent type rewrites

enhancement

#168

· NeuralCoder3 opened

on Jan 9, 2023

What should we do when allocating nominal arrays?

enhancement

#166

· leissa opened

on Dec 16, 2022

Clos Conv FDA error

bug

#161

· NeuralCoder3 opened

on Dec 9, 2022

Direct2CPS Scheduling/Calling Problem

bug

#141

· NeuralCoder3 opened

on Nov 10, 2022

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

one button to reproduce them all

cps2ds - wrong body type

Reshape phase messes up types

Backend Preparation: Nested Extract Splitting

Add mem adds too many mems

Add mem problem with dependent types

Application Error with matching domain

Association Dialect

Closure Conversion dependent type rewrites

What should we do when allocating nominal arrays?

Clos Conv FDA error

Direct2CPS Scheduling/Calling Problem

Issues

Search results