1799

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
1799	i414/examples_theory_combination	Examples: Theory combination Int, Real, BV, Array	push	24 Nov 2017 01:44PM UTC	marcogario	travis-ci	pending completion set done
1798	master	Merge pull request #460 from pysmt/self_substitution QE: Self-substitution	push	24 Nov 2017 08:55AM UTC	web-flow	travis-ci	pending completion set done
1797	master	Theory Oracle: Integer for str functions For str_length, str_indexof, and str_to_int, the Theory Oracle now returns a theory containing also Integers.	Pull #458	23 Nov 2017 07:42PM UTC	web-flow	travis-ci	pending completion set done
1796	strings_theory	Theory Oracle: Integer for str functions For str_length, str_indexof, and str_to_int, the Theory Oracle now returns a theory containing also Integers.	push	23 Nov 2017 07:30PM UTC	marcogario	travis-ci	pending completion set done
1795	master	Examples: Theory combination Int, Real, BV, Array	Pull #451	23 Nov 2017 07:10PM UTC	web-flow	travis-ci	pending completion set done
1794	i414/examples_theory_combination	Examples: Theory combination Int, Real, BV, Array	push	23 Nov 2017 06:53PM UTC	marcogario	travis-ci	pending completion set done
1793	master	CI: Re-enable cache	push	23 Nov 2017 06:12PM UTC	marcogario	travis-ci	pending completion set done
1792	master	MathSAT: Restrict msat_fm to LRA	Pull #460	23 Nov 2017 05:12PM UTC	web-flow	travis-ci	pending completion set done
1791	self_substitution	MathSAT: Restrict msat_fm to LRA	push	23 Nov 2017 04:48PM UTC	marcogario	travis-ci	pending completion set done
1790	master	Examples: parallel.py avoid Strings Theory	Pull #458	23 Nov 2017 03:56PM UTC	web-flow	travis-ci	pending completion set done
1789	strings_theory	Examples: parallel.py avoid Strings Theory	push	23 Nov 2017 03:35PM UTC	marcogario	travis-ci	pending completion set done
1788	fnode-non-recursive-pickling	modified test to fail under windows for currently available solvers	push	22 Nov 2017 02:49PM UTC	mikand	travis-ci	pending completion set done
1787	master	Strings: Addressed review comments	Pull #458	22 Nov 2017 02:45AM UTC	web-flow	travis-ci	pending completion set done
1786	strings_theory	Strings: Addressed review comments	push	22 Nov 2017 02:22AM UTC	marcogario	travis-ci	pending completion set done
1785	master	Minor changes	Pull #456	21 Nov 2017 06:00PM UTC	web-flow	travis-ci	pending completion set done

← Previous
1
2
…
18
19
20
21
22
23
24
25
26
…
57
58
Next →