Support Synthesis of Reals

Proposal Details

• Who Updates: JimLewis, DanielKho, <Add YourName >
• Date Proposed:
• Date Last Updated:
• Priority:
• Complexity:
• Focus:

Current Situation

[In progress...]

Requirement

Allow synthesis of reals. Underlying model can use the fixed or floating point packages.

• Solutions already available with floating / fixed point packages, so they can be re-used as underlying models for real types.

Implementation details

[In progress...]

Code Examples

Use Cases

Arguments FOR

Arguments AGAINST

General Comments

Supporters

Add your signature here to indicate your support for the proposal

-- DanielKho - 2015-01-02

-- PatrickLehmann - 2016-02-19