1814

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
1814	msat-win	Restored patch for msat wrapper and cleaned appveyor files	push	10 Dec 2017 01:27PM UTC	mikand	travis-ci	pending completion set done
1813	msat-win	Trying to fix appveyor	push	10 Dec 2017 01:13PM UTC	mikand	travis-ci	pending completion set done
1812	master	Trying to fix appveyor	Pull #453	10 Dec 2017 12:49PM UTC	web-flow	travis-ci	pending completion set done
1811	master	Trying to fix appveyor	Pull #453	10 Dec 2017 12:19PM UTC	web-flow	travis-ci	pending completion set done
1810	msat-win	Trying to fix appveyor	push	10 Dec 2017 12:05PM UTC	mikand	travis-ci	pending completion set done
1809	master	Trying a new image for appveyor	Pull #453	10 Dec 2017 11:39AM UTC	web-flow	travis-ci	pending completion set done
1808	msat-win	Trying a new image for appveyor	push	10 Dec 2017 11:25AM UTC	mikand	travis-ci	pending completion set done
1807	master	Trying a new image for appveyor	Pull #453	10 Dec 2017 10:58AM UTC	web-flow	travis-ci	pending completion set done
1806	msat-win	Trying a new image for appveyor	push	10 Dec 2017 10:42AM UTC	mikand	travis-ci	pending completion set done
1805	master	Removed Win32 mathsat builds, because from 5.5.0 those are no longer supported. Also fixed installer under win.	Pull #453	10 Dec 2017 10:12AM UTC	web-flow	travis-ci	pending completion set done
1804	msat-win	Removed Win32 mathsat builds, because from 5.5.0 those are no longer supported. Also fixed installer under win.	push	10 Dec 2017 09:58AM UTC	mikand	travis-ci	pending completion set done
1803	master	* Updated MathSAT to 5.5.0 * Removed patches from installers package, moving the setup.py in the dedicated repo	Pull #453	10 Dec 2017 09:32AM UTC	web-flow	travis-ci	pending completion set done
1802	msat-win	* Updated MathSAT to 5.5.0 * Removed patches from installers package, moving the setup.py in the dedicated repo	push	10 Dec 2017 09:18AM UTC	mikand	travis-ci	pending completion set done
1801	master	Merge pull request #458 from pysmt/strings_theory Strings Theory	push	27 Nov 2017 01:50PM UTC	web-flow	travis-ci	pending completion set done
1800	master	Examples: Theory combination Int, Real, BV, Array	Pull #451	24 Nov 2017 01:57PM UTC	web-flow	travis-ci	pending completion set done

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