0
I Use This!
Very Low Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.
Aug 21, 2025 — Aug 21, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
REF: explicitly `return None` More... over 4 years ago
DOC: rephrase docstring More... over 4 years ago
STY: place items indented on next line More... over 4 years ago
ENH: convert expressions to BDDs during LR parsing More... over 4 years ago
_API: enable subclassing of parser More... over 4 years ago
REF: rm intermediary variable More... over 4 years ago
_API: rename `Lexer` method parameters to `token` More... over 4 years ago
REF: rename variable to `tree` More... over 4 years ago
REF: extract as function `_main()` More... over 4 years ago
REF: shift variable definition closer to where used More... over 4 years ago
MNT: rm `if` statement More... over 4 years ago
_API: rename positional parameter to `expression`, More... over 4 years ago
BUG: update docstring of function `add_expr()` More... over 4 years ago
REF: simplify interpretation of Boolean literal More... over 4 years ago
BUG: check value of Boolean-constant literal More... over 4 years ago
REF: extract set as module-constant `_QUANTIFIERS` More... over 4 years ago
DOC: rm redundant comment More... over 4 years ago
REF: shorten lines More... over 4 years ago
STY: shorten lines More... over 4 years ago
SPEC: specify the parser's grammar in TLA+ More... over 4 years ago
DOC: typo More... over 4 years ago
REL: require Python != 3.5 More... over 4 years ago
MNT: use absolute import, instead of relative import More... over 4 years ago
BUG: correctly map index to variable identifier More... over 4 years ago
BUG: avoid unspecified return value More... over 4 years ago
API: raise `ValueError` if `roots is None` for JSON More... over 4 years ago
ENH: add module `examples/json_load.py` More... over 4 years ago
CI: test Python modules under `examples/` More... over 4 years ago
REL: download CPython license based on interpreter version More... almost 5 years ago
ENH: support roots as `dict` in Pickle interface More... almost 5 years ago