fayalite::expr::ops: add and automatically generate ops::StructuralEq
#396 -Commit
80a11ec1c2
pushed by
programmerjake
switch ready_valid::queue formal proofs to use formal_global_clock
#395 -Commit
ffca1a279d
pushed by
programmerjake
switch ready_valid::queue formal proofs to use formal_global_clock
#394 -Commit
ffca1a279d
pushed by
programmerjake
switch ready_valid::queue formal proofs to use formal_global_clock
#393 -Commit
e7ee1e862e
pushed by
programmerjake
non-working build on TLII (using QEMU for x86 binaries)
#390 -Commit
fd2c635343
pushed by
HaeckseAlex
tp/rebase2
sim: properly update all VCD wires when they share simulation state
#382 -Commit
26224abe1c
pushed by
programmerjake
sim: properly update all VCD wires when they share simulation state
#381 -Commit
26224abe1c
pushed by
programmerjake
use #[hdl(cmp_eq)] for HdlOption and implement conversion <-> Option
#378 -Commit
7e9d7739fb
pushed by
programmerjake
use #[hdl(cmp_eq)] for HdlOption and implement conversion <-> Option
#377 -Commit
7e9d7739fb
pushed by
programmerjake
add support for custom debug/display formatting of #[hdl] structs/enums
#376 -Commit
8e4eeef723
pushed by
programmerjake