1938

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
1938	release/0.7.5	Merge branch 'master' into release/0.7.5	push	27 May 2018 04:14PM UTC	marcogario	travis-ci	pending completion set done
1937	master	Merge pull request #487 from pysmt/msat/macos_installer_fix MathSAT: Fixed installer for OSX	push	27 May 2018 03:47PM UTC	web-flow	travis-ci	pending completion set done
1934	master	MathSAT: OSX change library rpath during instal	Pull #487	27 May 2018 02:50PM UTC	web-flow	travis-ci	pending completion set done
1933	msat/macos_installer_fix	MathSAT: OSX change library rpath during instal	push	27 May 2018 02:41PM UTC	marcogario	travis-ci	pending completion set done
1928	master	MathSAT: Fixed installer for OSX	Pull #487	27 May 2018 01:19AM UTC	web-flow	travis-ci	pending completion set done
1927	msat/macos_installer_fix	MathSAT: Fixed installer for OSX	push	27 May 2018 01:09AM UTC	marcogario	travis-ci	pending completion set done
1914	macosx-mixed-ci	First test	push	25 May 2018 01:42PM UTC	mikand	travis-ci	pending completion set done
1913	master	Revert yicespy upgrade	Pull #486	25 May 2018 10:07AM UTC	web-flow	travis-ci	pending completion set done
1912	master	Merge branch 'master' into release/0.7.5	Pull #484	20 May 2018 10:27PM UTC	web-flow	travis-ci	pending completion set done
1910	release/0.7.5	Merge branch 'master' into release/0.7.5	push	20 May 2018 10:17PM UTC	marcogario	travis-ci	pending completion set done
1909	master	CI: Disable coverage information	push	20 May 2018 09:24PM UTC	marcogario	travis-ci	pending completion set done
1905	release/0.7.5	Minor: Remove debug print	push	20 May 2018 07:53PM UTC	marcogario	travis-ci	pending completion set done
1892	release/0.7.5	Docs: Updated release notes for 0.7.5	push	20 May 2018 01:52PM UTC	marcogario	travis-ci	pending completion set done
1891	master	Merge pull request #474 from pysmt/z3-4.6.0 Upgrade to Z3 4.6.0	push	20 May 2018 01:24PM UTC	web-flow	travis-ci	pending completion set done
1890	release/0.7.5	Docs: Updated release notes for 0.7.5	push	19 May 2018 05:35PM UTC	marcogario	travis-ci	pending completion set done

← Previous
1
2
…
13
14
15
16
17
18
19
20
21
…
57
58
Next →