1784

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
1784	master	Merge pull request #459 from pysmt/minor_smtlib_printing_fix SMTLIB: Remove trailing whitespace from bvrol and bvsext	push	21 Nov 2017 02:59AM UTC	web-flow	travis-ci	pending completion set done
1779	master	Merge pull request #450 from pysmt/bv2nat BV2NAT: Add bv2nat operator	push	19 Nov 2017 09:25PM UTC	web-flow	travis-ci	pending completion set done
1778	master	* Cleaned msat installer and added some comments * Cleaned and commented appveyor yml file	Pull #453	19 Nov 2017 08:27PM UTC	web-flow	travis-ci	pending completion set done
1777	msat-win	* Cleaned msat installer and added some comments * Cleaned and commented appveyor yml file	push	19 Nov 2017 08:04PM UTC	mikand	travis-ci	pending completion set done
1776	master	Merge remote-tracking branch 'origin/master' into self_substitution	Pull #460	19 Nov 2017 07:17PM UTC	web-flow	travis-ci	pending completion set done
1775	self_substitution	Merge remote-tracking branch 'origin/master' into self_substitution	push	19 Nov 2017 06:53PM UTC	marcogario	travis-ci	pending completion set done
1774	master	Remove trailing whitespace from bvrol and bvsext	Pull #459	19 Nov 2017 06:09PM UTC	web-flow	travis-ci	pending completion set done
1771	master	Fix in String interfaces and Tests for Strings	Pull #458	19 Nov 2017 05:04PM UTC	web-flow	travis-ci	pending completion set done
1770	strings_theory	Fix in String interfaces and Tests for Strings	push	19 Nov 2017 04:43PM UTC	marcogario	travis-ci	pending completion set done
1769	master	Fix in String interfaces and Tests for Strings	Pull #458	19 Nov 2017 01:22AM UTC	web-flow	travis-ci	pending completion set done
1768	strings_theory	Fix in String interfaces and Tests for Strings	push	19 Nov 2017 12:57AM UTC	marcogario	travis-ci	pending completion set done
1767	master	Z3: Support for Strings	Pull #260	19 Nov 2017 12:16AM UTC	web-flow	travis-ci	pending completion set done
1766	strings	Z3: Support for Strings	push	18 Nov 2017 11:50PM UTC	marcogario	travis-ci	pending completion set done
1765	master	Docs: Clarified use of .serialize with example	push	18 Nov 2017 11:02PM UTC	marcogario	travis-ci	pending completion set done
1762	master	Fixed Example	Pull #456	18 Nov 2017 09:55PM UTC	web-flow	travis-ci	pending completion set done

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