Support Synthesis of Reals

Proposal Details

Current Situation

[In progress...]


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


Add your signature here to indicate your support for the proposal

-- DanielKho - 2015-01-02

-- PatrickLehmann - 2016-02-19

Topic revision: r4 - 2020-02-17 - 15:34:39 - JimLewis
Copyright © 2008-2021 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback