johnyf / omega / 71

Builds Branch Commit Type Ran Committer Via Coverage
71 dev ENH: add `/\, \/` to supported operators in `syntax._associative_op` push johnyf travis-ci pending completion   set done
70 dev API: add arg `op` to functions: `syntax.conj, disj` push johnyf travis-ci pending completion   set done
69 dev DOC: use TLA+ syntax in docs for now the logic remains typed by the hints in the symbol table. push johnyf travis-ci pending completion   set done
68 dev fixup! ENH: refine primed integer variables in `_add_bitnames` as flattener does push johnyf travis-ci pending completion   set done
66 dev BUG: return early from `fol.Context.exist` if no `qvars` and so avoid calling `bitvector.bit_table` that raises an `AssertionError` if given no vars. push johnyf travis-ci pending completion   set done
65 dev REL: bump version to 0.0.10 push johnyf travis-ci pending completion   set done
64 master REL: bump version to 0.0.10 push johnyf travis-ci pending completion   set done
63 v0.0.9 DOC: rewrite short description in `setup.py` push johnyf travis-ci pending completion   set done
62 dev TST: test `logicizer.graph_to_logic` with env owner push johnyf travis-ci pending completion   set done
61 dev TST: test `logicizer.graph_to_logic` with env owner push johnyf travis-ci pending completion   set done
60 dev TST: module `symbolic.enumeration` push johnyf travis-ci pending completion   set done
#1 [no commit message] push travis-ci pending completion   set done