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
..
Makefile.inc	Add WASI platform support.	2020-04-30 18:56:25 +00: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
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