1889

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
1889	master	Merge pull request #481 from pysmt/fix_picosat_install Fixed installer for picosat that now requires HTTPS	push	18 May 2018 12:04PM UTC	web-flow	travis-ci	pending completion set done
1888	master	Fixed installer for picosat that now requires HTTPS	Pull #481	18 May 2018 10:01AM UTC	web-flow	travis-ci	pending completion set done
1887	fix_picosat_install	Fixed installer for picosat that now requires HTTPS	push	18 May 2018 09:23AM UTC	mikand	travis-ci	pending completion set done
1886	master	Merge branch 'master' into feat/regex	Pull #478	15 May 2018 12:19AM UTC	web-flow	travis-ci	pending completion set done
428	macosx_install	OSX Testing	push	13 May 2018 10:17PM UTC	marcogario	travis-ci	pending completion set done
1885	master	floordiv and mod	Pull #476	14 Mar 2018 02:31PM UTC	web-flow	travis-ci	pending completion set done
1884	master	Updated installer to install Z3 4.6.0	Pull #474	18 May 2018 12:11PM UTC	web-flow	travis-ci	pending completion set done
1883	z3-4.6.0	Updated installer to install Z3 4.6.0	push	10 Mar 2018 11:13AM UTC	mikand	travis-ci	pending completion set done
1882	master	Merge pull request #473 from pysmt/fixing_z3_logic_by_name Fixinf Z3 exception handling	push	10 Mar 2018 10:41AM UTC	web-flow	travis-ci	pending completion set done
1881	master	Trying to fix @bellert issue reported on #328	Pull #473	08 Mar 2018 12:52PM UTC	web-flow	travis-ci	pending completion set done
1880	fixing_z3_logic_by_name	Trying to fix @bellert issue reported on #328	push	06 Mar 2018 09:28AM UTC	mikand	travis-ci	pending completion set done
1879	master	Fixed Z3 Installer to copy all binary files in the distribution. This fixes #472	push	26 Feb 2018 09:10AM UTC	mikand	travis-ci	pending completion set done
1878	master	Experimentally implemented binary search and revised a bit the interface. There is still a bit of work to do to get a clean and uniform interface	Pull #439	25 Jan 2018 11:33AM UTC	web-flow	travis-ci	pending completion set done
1877	optimization	Experimentally implemented binary search and revised a bit the interface. There is still a bit of work to do to get a clean and uniform interface	push	25 Jan 2018 11:18AM UTC	mikand	travis-ci	pending completion set done
1876	master	Finished factorization of out-of-solver optimizers	Pull #439	23 Jan 2018 03:29PM UTC	web-flow	travis-ci	pending completion set done

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