Dylan Le
Dylan Le
### Package name grpcio ### Package version 1.59.2, 1.59.3, 1.60.0rc1, 1.60.0 ### PyPI URL https://pypi.org/project/grpcio/ ### piwheels URL https://www.piwheels.org/project/grpcio/ ### Python version - [X] Python 3.7 - [ ] Python...
Hypothetical syllogism is a rule defined in "Fundamental Proof Methods in Computer Science" p.215, but is not included in the language as part of `util.ath`. `dsyl` is also defined on...
Change `athena-run` shell script to use the system's `tmp` directory rather than the `ATHENA_HOME` directory. Installing athena to `ATHENA_HOME` that is not writeable to all users, i.e. installing athena as...
When running regression tests using the provided tests: ``` python3 tests/regression/regressionTest.py athena ``` Athena does not quit after loading a test. It looks like the python script `tests/regression/regressionTest.py` just tries...
Snippet Contributors do not have titles available to them. TODO: Add an optional field to snippet contributors that are for the contributor's title i.e. GM, student, etc. Add the snippet...
When creating a post at the end of the month close to midnight, the resulting page that is linked has the month ahead as its slug but the page exists...
**Describe the bug** When starting Plover using machine keyboard the mouse input freezes and cannot be used (no clicking, scrolling, pointing) unless the keyboard is disconnected physically. Regardless of whether...