9 commits

Author	SHA1	Message	Date
Christoph M. Wintersteiger	95d7b33ebb	Added is_numeral_negative to .NET and Java APIs	2016-10-27 15:07:10 +01:00
Christoph M. Wintersteiger	c573a7446b	Added FPA numeral predicates to .NET API	2016-10-26 18:44:25 +01:00
Christoph M. Wintersteiger	abcb6040d4	Refactored FPA numeral accessors.	2016-10-24 12:53:57 +01:00
Christoph M. Wintersteiger	6b474adc8a	Added accessors to extract sign/exponent/significand BV numerals from FP numerals.	2016-10-24 12:50:05 +01:00
Christoph M. Wintersteiger	98f2de3216	Added Z3_fpa_get_numeral_significand_uint64 to .NET, Java, and ML APIs.	2015-06-09 12:57:19 +01:00
Christoph M. Wintersteiger	ee0ec7fe3a	FPA API: numerals, .NET and Java ... Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>	2015-01-10 17:28:07 +00:00
Christoph M. Wintersteiger	bcbce8f190	FPA Java and .NET API updates ... Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>	2015-01-08 16:31:09 +00:00
Christoph M. Wintersteiger	3c75b700e8	Updates to the .NET API for FP ... Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>	2015-01-02 19:03:20 +00:00
Christoph M. Wintersteiger	e14819c1b1	FPA: Added .NET API calls ... Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>	2013-06-10 15:54:20 +01:00