projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c501606) | patch
Fix bug with popcntd
authorMichael Nolan <mtnolan2640@gmail.com>
Wed, 20 May 2020 14:49:54 +0000 (10:49 -0400)
committerMichael Nolan <mtnolan2640@gmail.com>
Wed, 20 May 2020 15:05:13 +0000 (11:05 -0400)
commit58c25d7559a0ba7de91a01cfad932d28f9e8275a
treebb1b1d6c5fac1a495c863615c331d25c54f67e16tree
parentc501606b20c74050fb0d422ff886a7d9fb2a6a96commit | diff
Fix bug with popcntd

Popcount on -1 (64 ones) would overflow the signal holding the sum,
giving 0 instead of 64
src/soc/fu/logical/formal/proof_main_stage.py diff | blob | history
src/soc/fu/logical/main_stage.py diff | blob | history