1875

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
1875	optimization	Finished factorization of out-of-solver optimizers	push	23 Jan 2018 03:13PM UTC	mikand	travis-ci	pending completion set done
1874	master	Added OptiMathSAT to CI tests, fixed problem in installer and started factorization of out-of-solver optimizers	Pull #439	23 Jan 2018 02:22PM UTC	web-flow	travis-ci	pending completion set done
1873	optimization	Added OptiMathSAT to CI tests, fixed problem in installer and started factorization of out-of-solver optimizers	push	23 Jan 2018 01:55PM UTC	mikand	travis-ci	pending completion set done
1872	master	Addressed most of PR comments	Pull #439	23 Jan 2018 11:46AM UTC	web-flow	travis-ci	pending completion set done
1871	optimization	Addressed most of PR comments	push	23 Jan 2018 11:33AM UTC	mikand	travis-ci	pending completion set done
1868	optimization	Merge branch 'master' into optimization	push	23 Jan 2018 09:21AM UTC	mikand	travis-ci	pending completion set done
1867	master	Merge branch 'master' into optimization	Pull #439	23 Jan 2018 08:58AM UTC	web-flow	travis-ci	pending completion set done
1866	master	Fixed Travis build and a small typo	push	20 Jan 2018 07:12PM UTC	mikand	travis-ci	pending completion set done
1858	master	Merge pull request #469 from pysmt/fixing-travis-ci Updated Travis CI to work on new images	push	18 Jan 2018 05:07PM UTC	web-flow	travis-ci	pending completion set done
1857	master	Merge branch 'fix-msat-array-types' into fixing-travis-ci This merges #470 to get test passed	Pull #469	16 Jan 2018 01:13PM UTC	web-flow	travis-ci	pending completion set done
1856	fixing-travis-ci	Merge branch 'fix-msat-array-types' into fixing-travis-ci This merges #470 to get test passed	push	16 Jan 2018 01:00PM UTC	mikand	travis-ci	pending completion set done
1855	master	Fixed copy-paste error in function doc signaled in #471	push	10 Jan 2018 09:49AM UTC	mikand	travis-ci	pending completion set done
1854	master	Implemented feedback on PR	Pull #469	02 Jan 2018 03:24PM UTC	web-flow	travis-ci	pending completion set done
1853	fixing-travis-ci	Implemented feedback on PR	push	02 Jan 2018 03:04PM UTC	mikand	travis-ci	pending completion set done
1852	master	Fixed typing error in msat back The recently added theory combination example raised a typing error within the back function of the msat converter. The error was due to INT/REAL distinction made by pysmt that is ignored by mathsat for numeric con...	Pull #470	02 Jan 2018 02:46PM UTC	web-flow	travis-ci	pending completion set done

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