John Demme
John Demme
I was thinking something like: ```python @fsm.machine class F1: clk = Clock() go = Input(types.i1) valid = Input(types.i1) data = Input(types.i4) @fsm.state(initial=True) def a(ports, next): with If(ports.go): next.b() EndIf() @fsm.state...
This one may or may not be possible. I would like a CI pipeline which checks whether or not a commit broke pycde (runs the pycde tests). However, I do...
I would like some level of checking on each PR, but I _really_ don't want other changes (which may break us) to cause PR gates to fail for non-PyCDE developers.
- [ ] Document basics: modules, generators, system, ports, etc. - [ ] Document the Type and Value systems. Discuss the difference between Python values and PyCDE Values. - [...
https://docs.readthedocs.io/en/stable/tutorial/ To encourage us to write more documentation...
Requires generating python headers for pybind11. MLIR seems to do this (or my editor has some other way of discovering).
Some of the nightly integration tests are starting to fail due to disk space issues. (The GCC debug -- no surprise there.) MLIR compiles are too large IMO. Are there...
`HWModule` has a `modifyPorts` method which we just added to `MSFTModule`. (It actually uses `hw::modifyPorts` since the ops are compatible in that regard.) Make all the old code use that...
As of now, we don't have a good way to compute the resulting type of a parameter expression or compare the resulting types _without_ providing the specific parameter values from...