riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
yosys/passes/sat
History
Marcelina Kościelnicka c4cc888b2c kernel/rtlil: Extract some helpers for checking memory cell types. 
There will soon be more (versioned) memory cells, so handle passes that
only care if a cell is memory-related by a simple helper call instead of
a hardcoded list.
 		2021-05-22 21:43:00 +02:00
..
Makefile.inc Add WASI platform support. 2020-04-30 18:56:25 +00:00
assertpmux.cc assertpmux: Fix crash on unused $pmux output. 2021-02-22 23:30:28 +01:00
async2sync.cc async2sync: Support all FF types. 2020-07-30 20:22:03 +02:00
clk2fflogic.cc clk2fflogic: Use Mem helper. 2020-10-21 17:51:20 +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 Add #include needed to build with gcc-11 2020-11-26 06:12:12 -05:00
miter.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
mutate.cc use the new isPublic() in a few places 2020-09-14 12:43:18 +02:00
qbfsat.cc qbfsat: Add `-solver-option` option. 2020-07-20 21:54:56 +00:00
qbfsat.h qbfsat: Add `-solver-option` option. 2020-07-20 21:54:56 +00:00
sat.cc use the new isPublic() in a few places 2020-09-14 12:43:18 +02:00
sim.cc kernel/rtlil: Extract some helpers for checking memory cell types. 2021-05-22 21:43:00 +02:00
supercover.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00