2026-04-07 - 2026-07-07
Overview
11 pull requests merged by 1 user
Merged
#79 fayalite::build::verilog: tell firtool to only preserve values with significant names
Merged
#78 optimize cmp_eq of enums
Merged
#77 reimplement fayalite::formal and add support to the simulator
Merged
#76 Add more caching, reduce the number of duplicate wires in generated FIRRTL, and make Module verification check that expressions are visible
Merged
#75 Add .to_trace_as_string() and clean up code
Merged
#74 add TraceAsString<T> -- sim traces it as a string rather than all its internal fields
Merged
#73 sim: properly update all VCD wires when they share simulation state
Merged
#72 redo #[hdl(sim)] match/let destructuring to support matching values of type Type::SimValue
Merged
#71 implement #[hdl(cmp_eq)] for enums and use it for HdlOption, also implement conversions <-> Option
Merged
#70 add support for custom debug/display formatting of #[hdl] structs/enums
Merged
#69 sim: Speed up updating traces by tracking which traces are written to