2433

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
2433	optimization	Fixed problem with optimsat in CI	push	22 Jan 2019 09:58AM UTC	mikand	travis-ci	pending completion set done
2432	upgrade/btor_3.0.0	Fixed before_install for CI	Pull #514	22 Jan 2019 09:21AM UTC	web-flow	travis-ci	pending completion set done
2431	upgrade/btor_3.0.0	Fixed before_install for CI	push	22 Jan 2019 08:25AM UTC	mikand	travis-ci	pending completion set done
2429	examples/strings	Examples: Strings	push	22 Jan 2019 03:42AM UTC	marcogario	travis-ci	pending completion set done
2426	optimization	Merge branch 'master' into optimization	Pull #439	21 Jan 2019 11:14PM UTC	web-flow	travis-ci	pending completion set done
2425	optimization	Merge branch 'master' into optimization	push	21 Jan 2019 09:57PM UTC	mikand	travis-ci	pending completion set done
2423	upgrade/btor_3.0.0	Merge branch 'master' into upgrade/btor_3.0.0	push	21 Jan 2019 09:04PM UTC	mikand	travis-ci	pending completion set done
2421	master	Merge pull request #552 from pysmt/upgrade/cvc4_1_7_pre Updated CVC4 to 1.7-prerelease	push	21 Jan 2019 06:13PM UTC	web-flow	travis-ci	pending completion set done
2419	optimization	Fixed optimsat installation	push	21 Jan 2019 04:22PM UTC	mikand	travis-ci	pending completion set done
2418	optimization	Added cost values as return values of optimizations	Pull #439	21 Jan 2019 03:43PM UTC	web-flow	travis-ci	pending completion set done
2417	optimization	Added cost values as return values of optimizations	push	21 Jan 2019 03:00PM UTC	mikand	travis-ci	pending completion set done
2416	optimization	Merge branch 'master' into optimization	Pull #439	21 Jan 2019 02:32PM UTC	web-flow	travis-ci	pending completion set done
2415	optimization	Merge branch 'master' into optimization	push	21 Jan 2019 01:53PM UTC	mikand	travis-ci	pending completion set done
2410	OSX_fixes	CVC4: fix OSX installation problem (name of .so file)	Pull #553	19 Jan 2019 01:01AM UTC	web-flow	travis-ci	pending completion set done
2409	OSX_fixes	CVC4: fix OSX installation problem (sed)	Pull #553	18 Jan 2019 11:40PM UTC	web-flow	travis-ci	pending completion set done

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