This repository has been archived by the owner on Sep 7, 2023. It is now read-only.

Support for Long time in CTO #488

Closed

jeromesimeon opened this issue Dec 19, 2018 · 1 comment

Labels

Member

jeromesimeon commented Dec 19, 2018

Long types are not handled properly, including a pretty hairy bug in:

ergo/mechanization/Common/Types/ErgoTypetoErgoCType.v

Line 114 in dbb9b36

| ErgoTypeLong _ => tfloat

jeromesimeon added the Type: Bug 🐛 label

Member Author

jeromesimeon commented Jan 8, 2019

Fixed

jeromesimeon closed this as completed

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.