2368

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
2368	fixing_cvc4_antlr_https	Quick and dirty fix to make CVC4 installer work again	Pull #545	04 Dec 2018 10:14AM UTC	web-flow	travis-ci	pending completion set done
1049	i323/parsing_bvX_variables	Fixed a bug in Z3 wrapper	Pull #326	01 Dec 2018 02:42PM UTC	web-flow	travis-ci	pending completion set done
1049	i323/parsing_bvX_variables	Fixed a bug in Z3 wrapper	Pull #10	01 Dec 2018 02:41PM UTC	mikand	travis-ci	pending completion set done
2348	upgrade/btor_3.0.0	Boolector: Upgrade to 3.0.1-pre (7f5d32)	push	10 Nov 2018 07:02PM UTC	marcogario	travis-ci	pending completion set done
2325	upgrade/z3_4_8_1	Z3: Installer update to 4.8.1	push	07 Nov 2018 01:40AM UTC	marcogario	travis-ci	pending completion set done
2307	upgrade/btor_3.0.0	Merge remote-tracking branch 'origin/master' into upgrade/btor_3.0.0	Pull #514	30 Oct 2018 04:04AM UTC	web-flow	travis-ci	pending completion set done
2306	upgrade/btor_3.0.0	Merge remote-tracking branch 'origin/master' into upgrade/btor_3.0.0	push	30 Oct 2018 03:27AM UTC	marcogario	travis-ci	pending completion set done
2305	master	Docs: Tutorial on basic boolean solving (#535) Tutorial on boolean logic derived from the Jupyter notebook from #444.	push	07 Nov 2018 01:02AM UTC	marcogario	travis-ci	pending completion set done
2300	first_tutorial	Update docs/tutorials/boolean_logic.rst	Pull #535	30 Oct 2018 01:14AM UTC	web-flow	travis-ci	pending completion set done
2299	first_tutorial	Update docs/tutorials/boolean_logic.rst	push	30 Oct 2018 01:00AM UTC	web-flow	travis-ci	pending completion set done
931	master	Merge pull request #310 from pysmt/i291/payload_access_assertions Assertions protecting FNodeContent.payload access	Pull #473	29 Oct 2018 08:43PM UTC	web-flow	travis-ci	pending completion set done
2297	first_tutorial	Ported documentation from #444 into a normal pySMT tutorial	Pull #535	29 Oct 2018 03:52PM UTC	web-flow	travis-ci	pending completion set done
2296	first_tutorial	Ported documentation from #444 into a normal pySMT tutorial	push	29 Oct 2018 03:05PM UTC	mikand	travis-ci	pending completion set done
2295	master	Merge pull request #529 from pysmt/ci/python3.7 CI: Python 3.7 on Linux	push	29 Oct 2018 02:12PM UTC	web-flow	travis-ci	pending completion set done
2294	master	Merge pull request #534 from pysmt/pr531/edits BV: Simplifier testing	push	29 Oct 2018 08:38AM UTC	web-flow	travis-ci	pending completion set done

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