Marek Materzok
Marek Materzok
DigitalJS doesn't support transistor-level circuits and wires with multiple drivers; the focus is on gate-level and RTL description. Implementing this would require a significant redesign of the simulator.
Restarted the service again. It looks like someone is abusing the service and triggering the OOM killer. > I am at a stage where it would be very interesting if...
Reopening as it would be good if the site was able to survive Yosys death.
For now, I have added auto-restarting in the systemd configuration. Hope it helps.
I've now introduced a request limit (per IP) and a connection limit (for the entire server). This might reduce the service's responsiveness, but it may help with the lockups. The...
Actually, the landing page did include some example code, before DigitalJS Online got some support for working with multiple files. The current form of the landing page is because one...
OK, now I get it. The behavior of `has-type` is consistent with OCaml: ```ocaml # let wrongfoldr f acc xs = if xs == [] then acc else List.hd xs;;...
An argument for changing the behavior of type signatures, which does not involve signatures: one can argue that type signatures should behave like OCaml signatures for modules. The following OCaml...
Looks like we need another toolchain update.
Transactron now has a PriorityEncoderAllocator, which could be used as a free register set.