Closed EclecticGriffin closed 1 month ago
For some of these issues, like with
not being supported, we should resolve the long-running with
discussion and decide if we want to get rid of it completely or not.
@rachitnigam Agreed, this is mostly just me getting down the current state of things. Also with
is annoying to implement so I've thus far avoided it oops
Wahoo; thank you for summarizing! Just capturing the synchronous discussion a little bit, on this point:
Does not generate an output JSON compatible with our testing infrastructure
I had suggested, in the spirit of trying to do the simplest possible thing here, that it might not be too hard to load/dump "raw bits," i.e., the exact bit-level contents of the memories. This is more or less what the RTL simulators already do (they are using hex-encoded text, but same difference). We could then pre-/post-process these files into our JSON format externally, alleviating the need for any serde
hacking on Cider's side.
This of course omits all the non-memory results that Cider 1.0 can already produce. But I believe this is fine: all we really need to check correctness is those memory dumps.
Officially closing this tracker since at this point Cider 2 has replaced Cider 1 and has passed parity in terms of programs
We're finally at point where we can start running programs through Cider 2 and thus it now makes sense to have a tracker for the ongoing efforts to reach parity with Cider 1.
Known issues:
par
not supported (#2043)cross branch conflicts warnings missingSkipping in favor of more direct thinking aboutpar
stuffwith
not supported (#2064)invoke
not supported (#2119)repeat
not supported (#2158)