2154

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
2154	upgrade/btor_3.0.0	Btor: Upgrade to 3.0.0 (7f5d)	Pull #514	29 Jul 2018 01:53PM UTC	web-flow	travis-ci	pending completion set done
2152	ackerman	no shortcuts, shorter names	Pull #515	27 Jul 2018 12:54AM UTC	web-flow	travis-ci	pending completion set done
646	rc/0.5.0	CHANGES: Detailed Changes for release 0.5.0	Pull #272	26 Jul 2018 04:58AM UTC	marcogario	travis-ci	pending completion set done
642	rc/0.5.0	CHANGES: Detailed Changes for release 0.5.0	Pull #272	25 Jul 2018 06:12PM UTC	Marco Gario	travis-ci	pending completion set done
2151	ackerman	adding a walker + minor	Pull #515	23 Jul 2018 05:58PM UTC	web-flow	travis-ci	pending completion set done
2150	ackerman	helper function in test	Pull #515	20 Jul 2018 12:47AM UTC	web-flow	travis-ci	pending completion set done
2149	ackerman	remove print	Pull #515	19 Jul 2018 09:17PM UTC	web-flow	travis-ci	pending completion set done
2148	upgrade/btor_3.0.0	Boolector: Upgrade to 3.0.0	Pull #514	14 Jul 2018 08:02PM UTC	web-flow	travis-ci	pending completion set done
2144	master	CI: Upgrade pypy2.7 to pypy3.5 (#510) * CI: Upgrade pypy2.7 to pypy3.5 * Added automated check for the running python version	push	14 Jul 2018 12:02PM UTC	web-flow	travis-ci	pending completion set done
2143	ci/pypy3	Fixed some issues with the build	Pull #510	13 Jul 2018 10:38AM UTC	web-flow	travis-ci	pending completion set done
2141	ci/pypy3	Trying to fix the build	Pull #510	12 Jul 2018 03:23PM UTC	web-flow	travis-ci	pending completion set done
2139	ci/pypy3	Trying to fix the build	Pull #510	12 Jul 2018 12:08PM UTC	web-flow	travis-ci	pending completion set done
2137	ci/pypy3	Re-added all the solvers and added a clearer printout of the python version	Pull #510	12 Jul 2018 09:47AM UTC	web-flow	travis-ci	pending completion set done
2123	master	Merge pull request #507 from pysmt/examples/pdr Examples: Model-checking based on PDR/IC3	push	09 Jul 2018 09:20AM UTC	web-flow	travis-ci	pending completion set done
2122	master	Merge pull request #509 from pysmt/upgrade/yices_2_6_0 Yices: Upgrade to 2.6.0	push	09 Jul 2018 08:20AM UTC	web-flow	travis-ci	pending completion set done

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