2229

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
2229	i520_stop_iteration	Merge branch 'ci/python3.7' into i520_stop_iteration	Pull #521	13 Oct 2018 11:38PM UTC	web-flow	travis-ci	pending completion set done
2227	master	Z3: Fixed deallocation sequence in Solver (#528) Z3Solver would delete reference to z3.Solver before deleting the Z3Converter. Since the Z3Converter relies on the z3.Solver context, the sequence of operation makes it unclear whether the context w...	push	13 Oct 2018 10:18PM UTC	web-flow	travis-ci	pending completion set done
2226	ci/python3.7	CI: Python 3.7 on Linux	Pull #529	13 Oct 2018 09:31PM UTC	web-flow	travis-ci	pending completion set done
2224	master	SMTLIB: Supporting custom sorts in generic solvers (#524) Fixed support for custom sorts in SMT-LIB interface to generic solvers	push	13 Oct 2018 08:26PM UTC	marcogario	travis-ci	pending completion set done
2223	master	MathSAT: Preferred variables with polarity (#526) Add option to specify polarity in mathsat add_preferred_variable method.	push	13 Oct 2018 07:35PM UTC	marcogario	travis-ci	pending completion set done
2222	master	Merge pull request #527 from pysmt/ci/osx CI: Upgrade OSX image	push	13 Oct 2018 06:43PM UTC	web-flow	travis-ci	pending completion set done
2221	i522_debug	Z3: Fixed order of del btw Converter and Solver	Pull #528	13 Oct 2018 05:37PM UTC	web-flow	travis-ci	pending completion set done
2219	ci/osx	CI: Simplified OSX Testing Upgrade to xcode 9.4 due to Travis deprecation of 9.3 Removed python 2.7 testing on OSX	Pull #527	13 Oct 2018 04:27PM UTC	web-flow	travis-ci	pending completion set done
2213	msat_preferred_variables	Add test case and fixed case without polarity	Pull #526	13 Oct 2018 01:37AM UTC	web-flow	travis-ci	pending completion set done
2212	msat_preferred_variables	Minor	Pull #526	13 Oct 2018 01:13AM UTC	web-flow	travis-ci	pending completion set done
2210	msat_preferred_variables	Fixed imports	Pull #526	12 Oct 2018 11:09PM UTC	web-flow	travis-ci	pending completion set done
2209	msat_preferred_variables	Revised values assignment	Pull #526	12 Oct 2018 05:39AM UTC	web-flow	travis-ci	pending completion set done
2207	generic	add test	Pull #524	12 Oct 2018 02:18AM UTC	web-flow	travis-ci	pending completion set done
2206	generic	allowing also sorts as arguments of functions	Pull #524	04 Oct 2018 04:27AM UTC	web-flow	travis-ci	pending completion set done
2204	i520_stop_iteration	Moved CI to Python 3.7	Pull #521	12 Oct 2018 01:58AM UTC	web-flow	travis-ci	pending completion set done

← Previous
1
2
…
6
7
8
9
10
11
12
13
14
…
57
58
Next →