Implement all conversions from/to other sorts (FPBV)

Issue #10 resolved

Tony Sloane created an issue 2018-01-19

No description provided.

Comments (9)

Franck Cassez repo owner
- changed title to Implement all conversions from/to other sorts (FPBV)
- 2018-06-02T00:54:38+00:00
Franck Cassez repo owner
Implement conversion from bitStringBV to FPBV and signedBV to FPBV.

see ~~#10~~ see ~~#25~~

→ <<cset fd743d1be59c>>
- 2018-10-17T00:55:34+00:00
Franck Cassez repo owner
Add term tests for conversion from bitStringBV to FPBV and signedBV to FPBV.

see ~~#10~~ see ~~#25~~

→ <<cset 8a3c1520e593>>
- 2018-10-17T00:55:34+00:00
Franck Cassez repo owner
Fix tests using toFPBV for BVTerm as they now have to use either bitStringFPBV or signedFPBV (the latter requires a rounding mode).

see ~~#10~~ see ~~#25~~

→ <<cset 48c765f983a8>>
- 2018-10-17T00:55:34+00:00
Franck Cassez repo owner
Add tests for conversion from BV to FPBV, bitStringToFPBv and signedToFPBV.

see ~~#10~~ see ~~#25~~

→ <<cset 405294c12079>>
- 2018-10-17T00:55:34+00:00
Franck Cassez repo owner
Add support fro conversions from/to FPBV and other sorts.

see ~~#10~~ see ~~#25~~

→ <<cset 846dd69c236a>>
- 2018-10-17T06:38:03+00:00
Franck Cassez repo owner
@inkytonik Conversions from/to FPBV should all be implemented in commit:b219fe787
- 2018-10-17T06:48:02+00:00
Franck Cassez repo owner
- changed status to resolved
All conversions implemented.
- 2018-10-17T06:48:26+00:00
Franck Cassez repo owner
Fix return type of toUBV/toSBV and add simple tests using them.

see ~~#10~~ see ~~#25~~ see ~~#26~~

→ <<cset 1bac73d97524>>
- 2018-10-17T10:09:14+00:00
Log in to comment