2099

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
2099	master	Tests: Replace assertEquals with assertEqual (#512)	push	08 Jul 2018 01:31AM UTC	web-flow	travis-ci	pending completion set done
2098	minor/assertEquals	Tests: Replace assertEquals with assertEqual	Pull #512	07 Jul 2018 11:28PM UTC	web-flow	travis-ci	pending completion set done
2097	ci/pypy3	CI: Upgrade pypy2.7 to pypy3.5	Pull #510	07 Jul 2018 10:30PM UTC	web-flow	travis-ci	pending completion set done
2094	ci/pypy3	CI: Upgrade pypy2.7 to pypy3.5	Pull #510	07 Jul 2018 04:07PM UTC	web-flow	travis-ci	pending completion set done
2093	upgrade/yices_2_6_0	Yices: Upgrade to 2.6.0	Pull #509	07 Jul 2018 03:05PM UTC	web-flow	travis-ci	pending completion set done
2092	master	Merge pull request #468 from pysmt/bv_str FNode.bv_str: Multiple format for BV printing	push	05 Jul 2018 04:03PM UTC	web-flow	travis-ci	pending completion set done
2086	master	Update CONTRIBUTORS	push	04 Jul 2018 03:43PM UTC	web-flow	travis-ci	pending completion set done
2085	master	Fix declare-sort bug (#501) This is fixed by adding a case in the evaluate_command function. A test was added to check both 0-ary and 1-ary sorts.	push	04 Jul 2018 02:41PM UTC	marcogario	travis-ci	pending completion set done
2084	examples/pdr	References + Minor Changes	Pull #507	04 Jul 2018 01:41PM UTC	web-flow	travis-ci	pending completion set done
547	arrays	Fixed various bugs and added some basic examples on Arrays * Changed types printing to be clearer and optimized hashing and equality that was string-based	push	02 Jul 2018 11:57AM UTC	mikand	travis-ci	pending completion set done
2082	declare-sort-bug	declare-sort: Add assertion in test	Pull #501	30 Jun 2018 11:44PM UTC	web-flow	travis-ci	pending completion set done
2081	master	Merge pull request #503 from mpreiner/fix-doc-bvashr Fix docstring for BVAShr.	push	29 Jun 2018 08:20AM UTC	web-flow	travis-ci	pending completion set done
2080	fix-doc-bvashr	Fix docstring for BVAShr.	Pull #503	29 Jun 2018 02:50AM UTC	web-flow	travis-ci	pending completion set done
2079	master	CI: MacOSX support (#491) This includes an installer of yices via compilation to support systems (such as travis) with no AVX2 instructions: see http://yices.csl.sri.com/faq.html	push	29 Jun 2018 01:57AM UTC	marcogario	travis-ci	pending completion set done
2078	master	Merge pull request #502 from yoni206/define-fun-bug fix define-fun bug	push	28 Jun 2018 07:37AM UTC	web-flow	travis-ci	pending completion set done

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