johnyf / omega / 112

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
112	master	API: use `dd.cudd.restrict` only when available to allow running with a pure Python installation.	push	17 Apr 2018 01:29PM UTC	johnyf	travis-ci	pending completion   set done
111	dev	ENH: use `dd.cudd.restrict` only when available to allow running with a pure Python installation.	push	17 Apr 2018 01:06PM UTC	johnyf	travis-ci	pending completion   set done
109	master	DOC: rephrase docstring	push	16 Apr 2018 11:05AM UTC	johnyf	travis-ci	pending completion   set done
106	dev	TST: use `dd.bdd` or `dd.cudd`, depending on what is installed	push	26 Jan 2018 11:21AM UTC	johnyf	travis-ci	pending completion   set done
105	master	REL: bump version to 0.1.3	push	01 Jan 2018 12:34AM UTC	johnyf	travis-ci	pending completion   set done
104	v0.1.2	TST: compatibility with pure Python installation	push	01 Jan 2018 12:09AM UTC	johnyf	travis-ci	pending completion   set done
103	master	TST: compatibility with pure Python installation	push	31 Dec 2017 11:59PM UTC	johnyf	travis-ci	pending completion   set done
102	dev	CI: download source of `dd` from PyPI	push	31 Dec 2017 11:48PM UTC	johnyf	travis-ci	pending completion   set done
99	v0.1.1	ENH: add module `spec/OpenSystems.tla`	push	15 Jun 2017 06:04AM UTC	johnyf	travis-ci	pending completion   set done
98	master	REL: bump version to 0.1.2	push	15 Jun 2017 06:04AM UTC	johnyf	travis-ci	pending completion   set done
97	master	DEV: ignore `*.lprof, *.tar, *.gz` files	push	14 Jun 2017 10:12PM UTC	johnyf	travis-ci	pending completion   set done
96	master	TST: correct typo	push	14 May 2017 11:52PM UTC	johnyf	travis-ci	pending completion   set done
95	develop	fixup	push	14 May 2017 11:46PM UTC	johnyf	travis-ci	pending completion   set done
90	dev	MAI: prefer vertical TLA junctions	push	27 Mar 2017 08:43PM UTC	johnyf	travis-ci	pending completion   set done
89	dev	REL: bump version to 0.1.1	push	25 Mar 2017 06:24AM UTC	johnyf	travis-ci	pending completion   set done

• ← Previous
• 1
• 2
• 3
• Next →