johnyf / dd / 185

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
185	dev	DOC: add version 0.5.1 to CHANGELOG	push	23 Mar 2017 03:44AM UTC	johnyf	travis-ci	pending completion   set done
184	dev	DOC: add version 0.5.1 to CHANGELOG	push	23 Mar 2017 03:16AM UTC	johnyf	travis-ci	pending completion   set done
183	dev	DOC: the method `cudd.BDD.ite` has been implemented	push	23 Mar 2017 02:36AM UTC	johnyf	travis-ci	pending completion   set done
182	dev	<a href="https://github.com/johnyf/dd/commit/e95d928c2">BUG: pass `other.bdd` in `autoref.BDD.copy` introduced in </a><a class="double-link" href="https://github.com/johnyf/dd/commit/d63159cd4b92e96bc142b577cece44bc...	push	22 Mar 2017 12:38PM UTC	johnyf	travis-ci	pending completion   set done
181	dev	<a href="https://github.com/johnyf/dd/commit/da871872e">BUG: pass `other.node` in `autoref.BDD.copy` introduced in </a><a class="double-link" href="https://github.com/johnyf/dd/commit/d63159cd4b92e96bc142b577cece44b...	push	22 Mar 2017 12:35PM UTC	johnyf	travis-ci	pending completion   set done
180	dev	ENH: add method `autoref.BDD.pick`	push	22 Mar 2017 04:26AM UTC	johnyf	travis-ci	pending completion   set done
179	dev	ENH: add method `cudd.BDD.pick` similar to the method `omega.symbolic.fol.Context.pick`, but for the propositional case.	push	22 Mar 2017 03:40AM UTC	johnyf	travis-ci	pending completion   set done
178	master	ENH: implement all comparisons in `cudd.Function.__richcmp__`	push	22 Mar 2017 03:01AM UTC	johnyf	travis-ci	pending completion   set done
177	master	remove a blank line	Pull #26	20 Mar 2017 04:32PM UTC	web-flow	travis-ci	pending completion   set done
176	master	REL: bump version to 0.5.1	push	08 Mar 2017 09:57AM UTC	johnyf	travis-ci	pending completion   set done
175	v0.5.0	TST: add more expr to ensure reordering is invoked	push	08 Mar 2017 09:55AM UTC	johnyf	travis-ci	pending completion   set done
174	master	TST: add more expr to ensure reordering is invoked	push	08 Mar 2017 09:40AM UTC	johnyf	travis-ci	pending completion   set done
173	dev_0.5.0	DOC: add version 0.5.0 to CHANGELOG	push	08 Mar 2017 08:57AM UTC	johnyf	travis-ci	pending completion   set done
172	abc	DRAFT: add module `dd.abc` that specifies ABC	push	25 Feb 2017 03:16AM UTC	johnyf	travis-ci	pending completion   set done
171	dev_0.5.0	ENH: add property `Function.support` for convenience, so that `u.support` in user code suffice, instead of `bdd.support(u)`, which is less readable and requires mentioning the `BDD` manager `bdd`.	push	25 Feb 2017 03:15AM UTC	johnyf	travis-ci	pending completion   set done

• ← Previous
• 1
• 2
• 3
• 4
• 5
• 6
• 7
• 8
• 9
• …
• 13
• 14
• Next →