Issues · Iris / RefinedC

What generation condition for types?

#31 · opened Dec 09, 2020 by Rodolphe Lepigre frontend usability
- 0
updated Dec 09, 2020
Paper cuts 3 of 8 tasks completed

#30 · opened Dec 09, 2020 by Michael Sammler frontend usability
- 1
updated Dec 15, 2020
Better typing error messages 0 of 2 tasks completed

#26 · opened Nov 23, 2020 by Michael Sammler feature usability
- 0
updated Nov 23, 2020
Improve performance of typeclass search 0 of 4 tasks completed

#23 · opened Oct 25, 2020 by Michael Sammler performance
- 0
updated Nov 23, 2020
Better performance measurement infrastructure 0 of 3 tasks completed

#22 · opened Oct 25, 2020 by Michael Sammler infrastructure performance
- 0
updated Oct 25, 2020
Control which generated types can be unfolded

#8 · opened Aug 21, 2020 by Michael Sammler feature frontend
- 0
updated Aug 21, 2020
Deduplicate generated code for header files

#7 · opened Aug 21, 2020 by Michael Sammler feature frontend
- 0
updated Aug 21, 2020
Support cyclic global variables

#5 · opened Aug 18, 2020 by Michael Sammler feature typesystem
- 0
updated Aug 18, 2020