2407

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
2407	upgrade/cvc4_1_7_pre	Re-added disabled test for all the solvers except CVC4 and added due comment to explain why	Pull #552	18 Jan 2019 04:36PM UTC	web-flow	travis-ci	pending completion set done
2408	upgrade/cvc4_1_7_pre	Re-added disabled test for all the solvers except CVC4 and added due comment to explain why	push	18 Jan 2019 03:58PM UTC	mikand	travis-ci	pending completion set done
2406	master	Merge pull request #550 from pysmt/upgrade/z3_4_8_4 Ported Z3 to version 4.8.4	push	16 Jan 2019 11:58PM UTC	web-flow	travis-ci	pending completion set done
2405	upgrade/cvc4_1_7_pre	Passed all linux tests to xenial for uniformity and to avoid problems with cvc4 script requirements	Pull #552	16 Jan 2019 09:26AM UTC	web-flow	travis-ci	pending completion set done
2404	upgrade/cvc4_1_7_pre	Passed all linux tests to xenial for uniformity and to avoid problems with cvc4 script requirements	push	16 Jan 2019 08:47AM UTC	mikand	travis-ci	pending completion set done
2403	upgrade/btor_3.0.0	Restored travis_install to avoid errors in bdd	Pull #514	15 Jan 2019 05:27PM UTC	web-flow	travis-ci	pending completion set done
2399	upgrade/cvc4_1_7_pre	Temporarily disabled solver_options test	Pull #552	15 Jan 2019 04:53PM UTC	web-flow	travis-ci	pending completion set done
2398	upgrade/cvc4_1_7_pre	Temporarily disabled solver_options test	push	15 Jan 2019 03:51PM UTC	mikand	travis-ci	pending completion set done
2402	upgrade/btor_3.0.0	Restored travis_install to avoid errors in bdd	push	15 Jan 2019 03:47PM UTC	mikand	travis-ci	pending completion set done
2394	upgrade/btor_3.0.0	CI	push	15 Jan 2019 02:05PM UTC	mikand	travis-ci	pending completion set done
2392	upgrade/cvc4_1_7_pre	Re-enabled all tests and updated swig	push	15 Jan 2019 12:25PM UTC	mikand	travis-ci	pending completion set done
2389	master	Merge pull request #544 from ahmed-irfan/toplevel-propagator Toplevel propagator	push	14 Jan 2019 09:42AM UTC	web-flow	travis-ci	pending completion set done
2388	toplevel-propagator	ToplevelProp -- handle also constant=constant equality	Pull #544	11 Jan 2019 09:12PM UTC	web-flow	travis-ci	pending completion set done
2387	toplevel-propagator	added comments	Pull #544	10 Jan 2019 05:51PM UTC	web-flow	travis-ci	pending completion set done
2386	upgrade/z3_4_8_4	Ported pysmt Z3 warpper to version 4.8.4. WARNING: this commit removed the interpolation support via Z3 because the feature is no longer available in Z3	Pull #550	08 Jan 2019 02:47PM UTC	web-flow	travis-ci	pending completion set done

← Previous
1
2
3
4
5
6
7
8
9
…
57
58
Next →