2292

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
2292	ci/python3.7	CI: Use SWIG 3.0.10	Pull #529	29 Oct 2018 03:05AM UTC	web-flow	travis-ci	pending completion set done
2291	ci/python3.7	CI: Use SWIG 3.0.10	push	29 Oct 2018 02:39AM UTC	marcogario	travis-ci	pending completion set done
2290	ci/python3.7	CI: Use SWIG 3.0.10	Pull #529	29 Oct 2018 01:19AM UTC	web-flow	travis-ci	pending completion set done
2289	ci/python3.7	CI: Use SWIG 3.0.10	push	29 Oct 2018 12:57AM UTC	marcogario	travis-ci	pending completion set done
2287	ci/python3.7	CI: Use SWIG 3.0.10	push	28 Oct 2018 06:54PM UTC	marcogario	travis-ci	pending completion set done
2286	ci/python3.7	Merge branch 'ci/python3.7' of https://github.com/pysmt/pysmt into ci/python3.7	Pull #529	28 Oct 2018 03:03PM UTC	web-flow	travis-ci	pending completion set done
2285	ci/python3.7	Merge branch 'ci/python3.7' of https://github.com/pysmt/pysmt into ci/python3.7	push	28 Oct 2018 02:47PM UTC	marcogario	travis-ci	pending completion set done
2284	ci/python3.7	CI: Install SWIG 3.0.10	Pull #529	28 Oct 2018 04:21AM UTC	web-flow	travis-ci	pending completion set done
2282	pr531/edits	Btor: Fix bug in LShl, LShr converter	Pull #534	28 Oct 2018 02:49AM UTC	web-flow	travis-ci	pending completion set done
2281	pr531/edits	Btor: Fix bug in LShl, LShr converter	push	28 Oct 2018 01:37PM UTC	marcogario	travis-ci	pending completion set done
2272	pr531/edits	Check equivalence using any solver	Pull #534	27 Oct 2018 06:50PM UTC	web-flow	travis-ci	pending completion set done
2268	master	Tests: Fixed warnings and linting errors (#532) * Fixed some tests that were raising warnings and linting errors * Test clean-up	push	27 Oct 2018 05:41PM UTC	marcogario	travis-ci	pending completion set done
2267	fix_some_tests.py	Test clean-up	Pull #532	27 Oct 2018 02:58PM UTC	web-flow	travis-ci	pending completion set done
2266	fix_some_tests.py	Test clean-up	push	27 Oct 2018 02:22PM UTC	marcogario	travis-ci	pending completion set done
2264	fix_some_tests.py	Fixed some tests that were raising warnings and linting errors	Pull #532	25 Oct 2018 12:52PM UTC	web-flow	travis-ci	pending completion set done

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