1761

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
1761	master	Changed recursive block from recursive to iterative	Pull #456	14 Nov 2017 05:58PM UTC	web-flow	travis-ci	pending completion set done
1760	master	Added PDR example	Pull #456	14 Nov 2017 01:44AM UTC	web-flow	travis-ci	pending completion set done
1759	fnode-non-recursive-pickling	Added test that should stimulate issue #455	push	04 Nov 2017 03:30PM UTC	mikand	travis-ci	pending completion set done
1758	master	* Cleaned msat installer and added some comments * Cleaned and commented appveyor yml file	Pull #453	04 Nov 2017 02:44PM UTC	web-flow	travis-ci	pending completion set done
1757	msat-win	* Cleaned msat installer and added some comments * Cleaned and commented appveyor yml file	push	04 Nov 2017 02:18PM UTC	mikand	travis-ci	pending completion set done
1756	master	Cleaned and commented appveyor yml file	Pull #453	04 Nov 2017 01:32PM UTC	web-flow	travis-ci	pending completion set done
1754	master	Cleaned msat installer and added some comments	Pull #453	04 Nov 2017 12:32PM UTC	web-flow	travis-ci	pending completion set done
1753	msat-win	Cleaned msat installer and added some comments	push	04 Nov 2017 12:20PM UTC	mikand	travis-ci	pending completion set done
1752	master	BVToNatural: Add operator BVToNatural Implement the bv2nat that takes a bitvector and returns the associated integer by interpreting the bitvector as an unsigned integer. Support added in z3, msat, and cvc4	Pull #450	04 Nov 2017 01:14AM UTC	web-flow	travis-ci	pending completion set done
1751	bv2nat	BVToNatural: Add operator BVToNatural Implement the bv2nat that takes a bitvector and returns the associated integer by interpreting the bitvector as an unsigned integer. Support added in z3, msat, and cvc4	push	04 Nov 2017 12:51AM UTC	marcogario	travis-ci	pending completion set done
1750	msat-win	Implemented support for mathsat installation under Windows * Fixed installer to work with MSVC under windows * Added msat in Appveyor CI	push	03 Nov 2017 09:08PM UTC	mikand	travis-ci	pending completion set done
1749	master	Implemented support for mathsat installation under Windows * Fixed installer to work with MSVC under windows * Added msat in Appveyor CI	Pull #453	03 Nov 2017 08:12PM UTC	web-flow	travis-ci	pending completion set done
1732	master	Appveyor 4	Pull #453	03 Nov 2017 07:14PM UTC	web-flow	travis-ci	pending completion set done
1729	master	Appveyor 3	Pull #453	03 Nov 2017 05:54PM UTC	web-flow	travis-ci	pending completion set done
1727	master	Appveyor 2	Pull #453	03 Nov 2017 04:49PM UTC	web-flow	travis-ci	pending completion set done

← Previous
1
2
…
20
21
22
23
24
25
26
27
28
…
57
58
Next →