Marcelina Kościelnicka 03e28f7ab4 clk2fflogic: Consistently treat async control signals as negative hold. ...

This fixes some dfflegalize equivalence checks, and breaks others — and
I strongly suspect the others are due to bad support for multiple
async inputs in `proc` (in particular, lack of proper support for
dlatchsr and sketchy circuits on dffsr control inputs).

2020-07-09 18:12:47 +02:00

..

assertpmux.cc

Use C++11 final/override keywords.

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

async2sync.cc

Use C++11 final/override keywords.

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

clk2fflogic.cc

clk2fflogic: Consistently treat async control signals as negative hold.

2020-07-09 18:12:47 +02:00

cutpoint.cc

Merge pull request #2173 from whitequark/use-cxx11-final-override

2020-06-19 06:15:33 +00:00

eval.cc

Use C++11 final/override keywords.

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

example.v

Added support for shifter cells to SAT generator

2013-06-08 15:12:08 +02:00

example.ys

Fixes in old SAT example.ys

2014-09-01 11:45:47 +02:00

expose.cc

Give error that options are exclusive

2020-06-29 14:45:49 +02:00

fmcombine.cc

fmcombine: use the master ff cell type list

2020-06-30 21:07:17 +02:00

fminit.cc

Use C++11 final/override keywords.

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

freduce.cc

Use C++11 final/override keywords.

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

Makefile.inc

Add WASI platform support.

2020-04-30 18:56:25 +00:00

miter.cc

Use C++11 final/override keywords.

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

mutate.cc

Use C++11 final/override keywords.

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

qbfsat.cc

qbfsat: Remove useless comment and #ifndef guards.

2020-07-01 19:55:16 +00:00

qbfsat.h

qbfsat: Clean up and refactor data structures into qbfsat.h.

2020-07-01 19:55:16 +00:00

sat.cc

Use C++11 final/override keywords.

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

sim.cc

sim - error when memrd and memwr detected

2020-06-29 10:33:39 +02:00

supercover.cc

Use C++11 final/override keywords.

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