Cocotb deposits values on signals. It does not behave like another driver. This should be made more explicit. And this is where the documentation for Force, Release, and Freeze should go, not in th...

I just found https://github.com/dalance/svlint and would be interested how it copes with the ibex code base.

Currently, this attribute is a boolean attribute. However, when false, we emit a FIFO, and when true, a sequential buffer. For these semantics, it would make more sense to have it as a unit attribute.

Task Outcome Removal of all deprecated toolchain selection parameters in the test-program definitions for the CV32E40X. Background information As documented in the toolchain selection sub-section o...

Currently, any index-typed values will be emitted as 64-bit wide signals. Unsurprisingly, testing shows that this can have a huge overhead in circuits. Eventually we want to have a proper (path- an...

#23 was closed, and a follow on action was to document how to configure the cocotb logger to separate it and the simulator stdout.

Sometimes there's Silver code like: top.foo = filter(someFunction, filter(someOtherFunction, flatMap(idkAnEnvLookupOrSomething, myThings))); but I find this slightly hard to read. With OCam...

import gym from elegantrl.agent import AgentModSAC from elegantrl.config import get_gym_env_args, Arguments from elegantrl.run import * gym.logger.set_level(40) # Block warning env_func = gym.make ...

As reported in #5028 and https://huntr.dev/bounties/315d2d54-6ae4-47a1-a6ff-84fea6cb7d01/ by @michaellrowley with assistance of @JamieSlome and @huntr-helper (how many engineers does it take to get...

Currently, there's no way to write to stderr besides opening /dev/stderr as a file. Diagnostics (e.g. Found foo:bar) and errors should be written there, so they don't break piping s...

WA already supports displaying Text that is placed through an Object Layer. But I cannot find a way to change the text based on variables. What I want to achieve: There are 3 Rooms, but the topic o...

The interpreter can provide two capabilities that would be useful: It can use the @bound annotation instead of the loop condition to decide when to exit a loop, and It can validate existing @bound ...

Is your feature request related to a problem? Please describe. I'm working on a project which is capable of resetting and migrating the currently running database through an endpoint. Datab...

Creation of the Flask routes.

Hi friend, I'm trying to apply firmware in my device but allways received failure to update with archive: factory-to-ddwrt-SE.bin My device information: DIR-3040 HW:A1 FW:1.20 You can help ...

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

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