johnyf / omega / 88

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
88	master	REL: bump version to 0.1.1	push	23 Mar 2017 06:06AM UTC	johnyf	travis-ci	pending completion set done
87	v0.1.0	TST: run slower tests using `dd.cudd` on Travis CI	push	23 Mar 2017 06:06AM UTC	johnyf	travis-ci	pending completion set done
86	dev_0.1.0	TST: run slower tests using `dd.cudd` on Travis CI	push	23 Mar 2017 04:39AM UTC	johnyf	travis-ci	pending completion set done
85	dev_0.1.0	REL: bump to `dd >= 0.5.1` in `install_requires`	push	23 Mar 2017 04:28AM UTC	johnyf	travis-ci	pending completion set done
82	v0.0.11	BUG: exhaust the enumeration in `fol.Context.pick_iter` Only one value of the generator was consumed, instead of the entire enumeration. This affected only calls without `care_vars`, which anyway raised an `AssertionError` in `dd < 0.5.0`, becaus...	push	14 Feb 2017 06:07PM UTC	johnyf	travis-ci	pending completion set done
81	master	REL: bump version to 0.1.0	push	14 Feb 2017 06:07PM UTC	johnyf	travis-ci	pending completion set done
80	dev_0.0.11	BUG: exhaust the enumeration in `fol.Context.pick_iter` Only one value of the generator was consumed, instead of the entire enumeration. This affected only calls without `care_vars`, which anyway raised an `AssertionError` in `dd < 0.5.0`, becaus...	push	13 Feb 2017 07:33PM UTC	johnyf	travis-ci	pending completion set done
79	dev	TST: account for varying order of conjuncts in expression	push	12 Jan 2017 10:22PM UTC	johnyf	travis-ci	pending completion set done
78	master	TST: account for varying order of conjuncts in expression	push	12 Jan 2017 10:22PM UTC	johnyf	travis-ci	pending completion set done
77	dev	TST: account for varying order of conjuncts in expression	push	12 Jan 2017 10:12PM UTC	johnyf	travis-ci	pending completion set done
76	dev	REF: enclose arg in parentheses within `print` for python 3 compatibility.	push	06 Jan 2017 12:37AM UTC	johnyf	travis-ci	pending completion set done
75	v0.0.10	REL: include `spec/*.tla` in MANIFEST	push	30 Dec 2016 10:48PM UTC	johnyf	travis-ci	pending completion set done
74	master	REL: bump version to 0.0.11	push	30 Dec 2016 10:48PM UTC	johnyf	travis-ci	pending completion set done
73	dev	REL: include `spec/*.tla` in MANIFEST	push	30 Dec 2016 09:43PM UTC	johnyf	travis-ci	pending completion set done
72	dev	ENH: add `/\, \/` to supported operators in `syntax._associative_op`	push	02 Nov 2016 05:51AM UTC	johnyf	travis-ci	pending completion set done