2263

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
2263	fix_some_tests.py	Fixed some tests that were raising warnings and linting errors	push	25 Oct 2018 09:51AM UTC	mikand	travis-ci	pending completion set done
2262	hzzhang/simpl_improvements	simplifier: simplify the reflexive case of BVSLE Simplify `x <= x` to True.	Pull #531	23 Oct 2018 04:52PM UTC	web-flow	travis-ci	pending completion set done
2261	hzzhang/simpl_improvements	simplifier: simplify the reflexive case of BVSLE Simplify `x <= x` to True.	Pull #531	22 Oct 2018 06:49PM UTC	web-flow	travis-ci	pending completion set done
2244	master	Merge pull request #530 from pysmt/i522/z3_check_context_on_del Z3: Check context presence on del	push	15 Oct 2018 02:11PM UTC	web-flow	travis-ci	pending completion set done
2243	ci/python3.7	Merge branch 'master' into ci/python3.7	Pull #529	15 Oct 2018 04:30AM UTC	web-flow	travis-ci	pending completion set done
2242	ci/python3.7	Merge branch 'master' into ci/python3.7	push	15 Oct 2018 03:46AM UTC	marcogario	travis-ci	pending completion set done
2241	master	Fix StopIteration use in SmtLib parser (#521) Introduced two different functions for consuming a token in the parser: consume_maybe and consume. The first will consume a new token if available, but stop the iteration if no token is available. The...	push	15 Oct 2018 02:40AM UTC	marcogario	travis-ci	pending completion set done
2240	i520_stop_iteration	Fixed bug in the management of extra_queue in the parser	Pull #521	15 Oct 2018 12:53AM UTC	web-flow	travis-ci	pending completion set done
2237	ci/python3.7	Fixed library paths	push	15 Oct 2018 12:16AM UTC	marcogario	travis-ci	pending completion set done
2236	upgrade/btor_3.0.0	Removing unnecessary import	Pull #514	14 Oct 2018 03:43PM UTC	web-flow	travis-ci	pending completion set done
2235	upgrade/btor_3.0.0	Removing unnecessary import	push	14 Oct 2018 03:34PM UTC	marcogario	travis-ci	pending completion set done
2234	i522/z3_check_context_on_del	Z3: Check context presence on del	Pull #530	14 Oct 2018 02:08PM UTC	web-flow	travis-ci	pending completion set done
2233	i522/z3_check_context_on_del	Z3: Check context presence on del	push	14 Oct 2018 01:41PM UTC	marcogario	travis-ci	pending completion set done
2232	upgrade/btor_3.0.0	Merge branch 'master' into upgrade/btor_3.0.0	Pull #514	14 Oct 2018 02:03AM UTC	web-flow	travis-ci	pending completion set done
2231	upgrade/btor_3.0.0	Merge branch 'master' into upgrade/btor_3.0.0	push	14 Oct 2018 01:40AM UTC	marcogario	travis-ci	pending completion set done

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