Xiretza 928fd40c2e Respect \A_SIGNED for $shift ...

This reflects the behaviour of $shr/$shl, which sign-extend their A
operands to the size of their output, then do a logical shift (shift in
0-bits).

2020-08-18 19:36:24 +02:00

..

aiger

Use C++11 final/override keywords.

2020-06-18 23:34:52 +00:00

blif

Use C++11 final/override keywords.

2020-06-18 23:34:52 +00:00

btor

Respect \A_SIGNED for $shift

2020-08-18 19:36:24 +02:00

cxxrtl

cxxrtl.h: Fix incorrect CarryOut in alu()

2020-08-12 21:04:34 +02:00

edif

Use C++11 final/override keywords.

2020-06-18 23:34:52 +00:00

firrtl

Use C++11 final/override keywords.

2020-06-18 23:34:52 +00:00

ilang

Use (and ignore) the expression provided to log_assert in NDEBUG builds.

2020-06-19 15:48:58 +00:00

intersynth

Use C++11 final/override keywords.

2020-06-18 23:34:52 +00:00

json

Use C++11 final/override keywords.

2020-06-18 23:34:52 +00:00

protobuf

Use C++11 final/override keywords.

2020-06-18 23:34:52 +00:00

simplec

Use C++11 final/override keywords.

2020-06-18 23:34:52 +00:00

smt2

smtio: Emit mode: start options before set-logic command and any other options after it.

2020-07-20 22:09:44 +00:00

smv

Use C++11 final/override keywords.

2020-06-18 23:34:52 +00:00

spice

Use C++11 final/override keywords.

2020-06-18 23:34:52 +00:00

table

Use C++11 final/override keywords.

2020-06-18 23:34:52 +00:00

verilog

Respect \A_SIGNED for $shift

2020-08-18 19:36:24 +02:00