2471

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
2471	master	add noughts and crosses example	Pull #565	12 Mar 2019 08:37PM UTC	web-flow	travis-ci	pending completion set done
2470	azure-pipelines	Set up CI with Azure Pipelines	Pull #564	07 Mar 2019 06:39PM UTC	web-flow	travis-ci	pending completion set done
2468	azure-pipelines	Set up CI with Azure Pipelines	push	07 Mar 2019 05:17PM UTC	mikand	travis-ci	pending completion set done
2469	azure-pipelines	Merge pull request #562 from cdonovick/import-fix Fix import warning in python 3.7	push	07 Mar 2019 05:13PM UTC	web-flow	travis-ci	pending completion set done
2467	master	Merge pull request #562 from cdonovick/import-fix Fix import warning in python 3.7	push	07 Mar 2019 02:55PM UTC	web-flow	travis-ci	pending completion set done
2466	import-fix	Fix import warning in python 3.7	Pull #562	06 Mar 2019 10:31PM UTC	web-flow	travis-ci	pending completion set done
2465	import-fix	Fix import warning in python 3.7	Pull #562	06 Mar 2019 09:02PM UTC	web-flow	travis-ci	pending completion set done
2464	import-fix	Fix import warning in python 3.7	Pull #562	06 Mar 2019 08:17PM UTC	web-flow	travis-ci	pending completion set done
2463	master	Merge pull request #560 from pysmt/remove_unused_stringtype Remove unused String type	push	05 Mar 2019 09:11AM UTC	web-flow	travis-ci	pending completion set done
2462	fix-simplify-times	per @mikand 's suggestion	Pull #561	25 Feb 2019 02:30PM UTC	web-flow	travis-ci	pending completion set done
2461	fix-simplify-times	sort the times args while simplifying the args of the times args are processed using a stack. Each call to simplify reverts the order of nonlinear multiplication. And because of that the simplify function could not reach a fix-point if called rep...	Pull #561	24 Feb 2019 09:59PM UTC	web-flow	travis-ci	0.0
2460	remove_unused_stringtype	Remove unused String type See #559	Pull #560	23 Feb 2019 08:43PM UTC	web-flow	travis-ci	pending completion set done
2459	remove_unused_stringtype	Remove unused String type See #559	push	23 Feb 2019 07:46PM UTC	web-flow	travis-ci	pending completion set done
2458	master	Merge pull request #558 from Phat3/fix/deque_pop Fix bug in deque pop in smtlib/parser	push	17 Feb 2019 11:37AM UTC	web-flow	travis-ci	pending completion set done
2457	fix/deque_pop	Add test case for parser consume Signed-off-by: Sebastiano Mariani <mariani.sebastiano@gmail.com>	Pull #558	16 Feb 2019 02:13AM UTC	web-flow	travis-ci	pending completion set done

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