Xiretza e2cfe57edd

test_cell: don't generate directional shifts with \B_SIGNED=1 ...

This was made an explicit error in e97e33d, "kernel: require \B_SIGNED=0
on $shl, $sshl, $shr, $sshr.".

2020-06-28 21:30:16 +02:00

..

cmds

Add new builtin FF types

2020-06-23 15:40:02 +02:00

equiv

Use C++11 final/override keywords.

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

fsm

Use C++11 final/override keywords.

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

hierarchy

Use C++11 final/override keywords.

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

memory

Use C++11 final/override keywords.

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

opt

Merge pull request #2168 from whitequark/assert-unused-exprs

2020-06-25 18:21:51 +02:00

pmgen

Use [[maybe_unused]] instead of YS_ATTRIBUTE(unused).

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

proc

Use C++11 final/override keywords.

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

sat

log, qbfsat: Include child process time in PerformanceTimer::query() and report the time for each call to the QBF-SAT solver.

2020-06-21 02:16:52 +00:00

techmap

Merge pull request #2168 from whitequark/assert-unused-exprs

2020-06-25 18:21:51 +02:00

tests

test_cell: don't generate directional shifts with \B_SIGNED=1

2020-06-28 21:30:16 +02:00