1140

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
1140	tests_fnode	Tests: Increase coverage for FNode This also simplifies the funciton FNode.array_value_get.	push	10 Oct 2016 08:11PM UTC	marcogario	travis-ci	pending completion set done
1139	master	Created Apache Image and link to Apache 2.0 Adds aesthetic improvement to the license portion of the readme. Also provides a quick way to learn more about apache licensing	Pull #352	10 Oct 2016 06:35PM UTC	web-flow	travis-ci	pending completion set done
1138	master	CVC4: Force deterministic semantics for BV Div/Rem Added tests and code to test the behavior of the solvers when dividing by BV0. All solvers now return a constant value (0xFF). This was already the case except that for CVC4, and for the fact th...	Pull #351	10 Oct 2016 04:32PM UTC	web-flow	travis-ci	pending completion set done
1137	msat_walk_back_testing	CVC4: Force deterministic semantics for BV Div/Rem Added tests and code to test the behavior of the solvers when dividing by BV0. All solvers now return a constant value (0xFF). This was already the case except that for CVC4, and for the fact th...	push	10 Oct 2016 04:21PM UTC	marcogario	travis-ci	pending completion set done
1136	msat_walk_back_testing	CVC4: Force deterministic semantics for BV Div/Rem Added tests and code to test the behavior of the solvers when dividing by BV0. All solvers now return a constant value (0xFF). This was already the case except that for CVC4, and for the fact th...	push	10 Oct 2016 03:42PM UTC	marcogario	travis-ci	pending completion set done
1135	msat_walk_back_testing	Merge pull request #350 from agriggio/master MSat solver: fix wrong assertions about arity of BV sign/zero extend ops	push	10 Oct 2016 12:22PM UTC	web-flow	travis-ci	pending completion set done
1134	msat_walk_back_testing	MSat: Fix issues in BV back conversion MathSAT performs a lot of simplification on the BV expressions, thus many of the examples used in the tests of the back conversion were simplified to True or False. New examples have been added to stimulate ...	push	10 Oct 2016 12:10PM UTC	marcogario	travis-ci	pending completion set done
1133	master	MSat solver: fix wrong assertions about arity of BV sign/zero extend ops	Pull #350	10 Oct 2016 09:34AM UTC	web-flow	travis-ci	pending completion set done
1132	master	Bumping version to 0.6.1dev1	push	09 Oct 2016 06:08PM UTC	marcogario	travis-ci	pending completion set done
1131	v0.6.0	Release version 0.6.0	push	09 Oct 2016 05:53PM UTC	marcogario	travis-ci	pending completion set done
1130	master	Release version 0.6.0	push	09 Oct 2016 05:39PM UTC	marcogario	travis-ci	pending completion set done
1129	rc/0.6.0	Update CHANGES for Release	push	09 Oct 2016 05:25PM UTC	marcogario	travis-ci	pending completion set done
1128	master	Merge pull request #338 from pysmt/i105/options Use solver_options to specify solver-dependent options	push	08 Oct 2016 12:55PM UTC	web-flow	travis-ci	pending completion set done
1127	rc/0.6.0	Update CHANGES for release	push	07 Oct 2016 04:19PM UTC	marcogario	travis-ci	pending completion set done
1126	master	Yices: Simplify context construction	Pull #338	07 Oct 2016 03:28PM UTC	web-flow	travis-ci	pending completion set done

← Previous
1
2
…
50
51
52
53
54
55
56
57
58
Next →