Changes between Version 1 and Version 5 of Ticket #27714


Ignore:
Timestamp:
04/23/19 14:24:55 (2 years ago)
Author:
embray
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #27714

    • Property Keywords flint added
    • Property Report Upstream changed from N/A to Reported upstream. No feedback yet.
  • Ticket #27714 – Description

    v1 v5  
    2424
    2525when in fact the definitions of these types can be platform-dependent.  Not sure what best to do about this.
     26
     27**Upstream PR:*** https://github.com/wbhart/flint2/pull/557