Issues · Iris / RefinedC

weaker boolean?

#35 · created Apr 08, 2021 by Michael Sammler typesystem
- 0
updated Apr 08, 2021
Unexpected type cast generated by frontend

#34 · created Mar 04, 2021 by Fengmin Zhu bug frontend
- 0
updated Mar 04, 2021
What generation condition for types?

#31 · created Dec 09, 2020 by Rodolphe Lepigre frontend usability
- 0
updated Dec 09, 2020
Paper cuts 7 of 12 tasks completed

#30 · created Dec 09, 2020 by Michael Sammler frontend usability
- 4
updated Mar 02, 2021
Better typing error messages 0 of 2 tasks completed

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

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

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

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

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

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