cvc4-1.3
NEWS File Reference

Go to the source code of this file.

Variables

This file contains a summary
of important user visible
changes Changes 
since
 
This file contains a summary
of important user visible
changes Changes 
to_real
 
This file contains a summary
of important user visible
changes Changes 
to_int
 
This file contains a summary
of important user visible
changes Changes 
is_int
 
This file contains a summary
of important user visible
changes Changes which were
previously missing *New bv2nat
int2bv operators for bitvector
integer inter compatibility
*Support in linear logics 
for
 
This file contains a summary
of important user visible
changes Changes which were
previously missing *New bv2nat
int2bv operators for bitvector
integer inter compatibility
*Support in linear logics 
div
 

Variable Documentation

This file contains a summary of important user visible changes Changes which were previously missing* New bv2nat int2bv operators for bitvector integer inter compatibility* Support in linear logics div

Definition at line 4 of file NEWS.

Referenced by CVC4::Integer::extractBitRange().

This file contains a summary of important user visible changes Changes which were previously missing* New bv2nat int2bv operators for bitvector integer inter compatibility* Support in linear logics for

Definition at line 4 of file NEWS.

This file contains a summary of important user visible changes Changes is_int

Definition at line 4 of file NEWS.

This file contains a summary of important user visible changes Changes since

Definition at line 4 of file NEWS.

This file contains a summary of important user visible changes Changes to_int

Definition at line 4 of file NEWS.

This file contains a summary of important user visible changes Changes to_real

Definition at line 4 of file NEWS.