Andrew Cheung
Andrew Cheung
use it!
use it!
When changing the definition of the `interface-implementation` struct so that it was `#:transparent`, I found that tests began passing. One hypothesis is that appending `#:transparent` makes `test-equal?` perform a different...
Xilinx UltraScale+ FPGAs have LUTs with 6 inputs and 2 outputs. These LUTs can be used to efficiently implement e.g. bitwise operations. The LUT primitive interface can be updated to...
The following operators, when plugged into `bvexpr->cexpr`, do not pass basic tests (e.g. `(concat a b)`). I _think_ I've accurately documented the bitwidth cases which break these operators: ## `concat`:...