Tobias Kappé

Results 7 issues of 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...

.NET
smart-compiler

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,...

enhancement

### 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...

🐞 bug
pending triage

### 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...

🐞 bug

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...