clairexen ae11156c90 Merge pull request #2015 from boqwxp/qbfsat-bisection ...

qbfsat: Add an iterative bisection optimization method and make it the default.

2020-05-25 15:50:18 +02:00

..

cmds

log: Use dict instead of std::vector<std::pair> for log_expect_{error, warning, log} to better express the intent that each element is unique.

2020-05-15 00:55:32 +00:00

equiv

kernel: big fat patch to use more ID::*, otherwise ID(*)

2020-04-02 09:51:32 -07:00

fsm

kernel: big fat patch to use more ID::*, otherwise ID(*)

2020-04-02 09:51:32 -07:00

hierarchy

submod: revert accidental change

2020-05-14 10:33:56 -07:00

memory

memory_bram: Fix ignorance of valid, matched rules

2020-04-10 21:48:04 +01:00

opt

opt_expr: Sx to Sz; spotted by @Xiretza

2020-05-14 12:14:23 -07:00

pmgen

xilinx: xilinx_dsp_cascade to check CREG for DSP48E1 only

2020-04-22 17:43:25 -07:00

proc

kernel: big fat patch to use more ID::*, otherwise ID(*)

2020-04-02 09:51:32 -07:00

sat

qbfsat: Remove cruft inadvertently left untouched in commit 86fc49a9d6.

2020-05-23 00:53:09 +00:00

techmap

abc9_ops: update comment

2020-05-21 21:39:13 -07:00

tests

Add plusargs for output files in test_autotb output

2020-05-02 11:21:01 +02:00