Tobias Kappé
Tobias Kappé
Before submitting your issue, please make sure that you've checked all of the checkboxes below. - [x] You're running the [latest release](https://github.com/Block8/PHPCI/releases/latest) version of PHPCI. - [x] Ensure that you're...
Filing this for future reference; yours truly and polyethene have researched this bug extensively and as of yet did not come up with with a solution. To reproduce, check out...
The following code triggers an exception on my machine, running Coq 8.15.2 and Equations 1.3+8.15: ```coq From Equations Require Import Equations. Equations foo: bool := { |}. ``` Notice the...
**Is your feature request related to a problem? Please describe.** Since #215 was handled, notifications of failed delivery can be sent to a central email address. Right now, at LMCS,...
### Is there an existing issue for this? - [X] I have searched the existing issues ### Describe the bug A splitter with a bitwidth of n and a split...
### Is there an existing issue for this? - [X] I have searched the existing issues ### Describe the bug When using a 32-bit ALU component, the carry output is...
The "En" port was described as an input to the priority encoder, when really it is an output that indicates whether the input is not all zero (and hence the...