python3 -m pip install --editable tapa/backend/python => succeed python3 -m pip install tapa/backend/python => fail FileNotFoundError: [Errno 2] No such file or directory: '/t...

TS2339: Property 'height' does not exist on type 'ThemedStyledProps<Pick<DetailedHTMLProps<ButtonHTMLAttributes, HTMLButtonElement>, "ke...

Trying to install Pynq-Composable_Pipeline on Pynq-Z1 with version 2.7 The command sudo pip3 install PYNQ_Composable_Pipeline/ --verbose returns the following. I checked Cython version, I have the ...

RISC V 32 bit with GRU enable Processor design. Contribute to SeedVGP/DLPR32 development by creating an account on GitHub.

The evaluator is able to reduce rg == rg and rg != rg (to True and False), but doesn't reduce expressions with <, <=, >, or >=. This can be seen in the following...

Create the Processor having three pipeline

Description Add a vercel icon to the two extensions. Describe the solution you'd like create an assets directory add an icon file there add an icon property in package.json Describe alterna...

Divider, missing vertical relation between Do instruction and Endpoint. Current state: this error was filtering out during the integrity check. See TODO in NITTA.Model.ProcessIntegrity. How to fix ...

Currently, we check relations: [ checkVerticalRelations (up2down pu) (pid2intermediate pu) (pid2endpoint pu) "intermediate not related to endpoint" , checkVerticalRelations (down2...

It's a source of confusion when to use Decoupled and when to use DecoupledIO -- can we just make them the same name and deprecate the inconsistent name? Type of issue: feature request Impac...

When the pynq_composable package is installed in a board that is not supported by the composable video overlay, the pynq_composable.overlay is register as a module, however the /usr/local/share/pyn...

When there's only one person in the For whom? column (this is the case for the slight majority of my transactions), the How much? column is unnecessarily cluttered, with the same value alwa...

Is your feature request related to a problem? Please describe. The GUI for AutoCompliance needs to be created. Describe the solution you'd like A functional GUI which can call the underlyin...

@mikeurbach and I think it would be useful to have an import/export format for scheduling problem instances, e.g. for writing test cases and benchmarking independent from the concrete (and potentia...

Code like have {H}H : ... triggers a cryptic warning. It should suggest to write have {}H : ... instead. See also: https://coq.zulipchat.com/#narrow/stream/237664-math-comp-users/topic/duplicate.20...

Sorry to one question. Built the vivado project for PYNQ-Z2 board by below command successfully: cd PYNQ_Composable_Pipeline/boards/Pynq-Z2 make project When I trying change the static ip : ex: col...

📓 Documentation Update Clicking on the Contributing Guide link from the side-bar on https://airctic.github.io/icedata/ directs to https://airctic.github.io/icedata/readme.md The body of the page di...

Add a test for what happens if a key is used for signing, but the signing secret key is missing.

Currently we don't reset registers or we use := initalisers when defining signals. This works ok in FPGAs and ghdl sim but sucks for ASIC and gate level sim as it causes a lot of X state pr...