3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-01 17:03:19 +00:00
yosys/passes/sat
Krystine Sherwin cc402ee065
libs/fst: Update upstream
libfst is no longer included in gtkwave and instead has its own repo.  There has also been some refactoring, so the patches need to update to match, as does sim.cc.
2025-05-12 10:21:06 +12:00
..
assertpmux.cc io: refactor string and file work into new unit 2025-03-19 13:43:42 +01:00
async2sync.cc async2sync, clk2fflogic: Add support for $check and $print cells 2024-02-01 20:10:39 +01:00
clk2fflogic.cc clk2fflogic: run peepopt -formalclk before processing design 2024-08-07 10:14:04 +01:00
cutpoint.cc cutpoint.cc: Fold -instances into -blackbox 2025-04-11 04:12:35 +12:00
eval.cc rtlil: represent Const strings as std::string 2024-10-14 06:28:12 +02: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 rtlil: represent Const strings as std::string 2024-10-14 06:28:12 +02:00
fmcombine.cc fmcombine: Add _gold/_gate suffix to memids 2022-06-03 21:52:28 +02:00
fminit.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
formalff.cc formalff: Fix -declockgate test and missing emit for memories 2025-04-18 18:57:59 +02:00
freduce.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
Makefile.inc Add recover_names pass to recover names post-mapping 2023-05-25 10:55:07 +02:00
miter.cc Add gold-x handing to miter cross port handling 2022-12-08 22:14:16 +01:00
mutate.cc hashlib: redo interface for flexibility 2024-12-18 14:49:25 +01:00
qbfsat.cc Deprecate gcc-4.8 2023-01-11 09:54:19 +01:00
qbfsat.h Deprecate gcc-4.8 2023-01-11 09:54:19 +01:00
recover_names.cc mark all hash_into methods nodiscard 2025-01-14 12:39:15 +01:00
sat.cc driver: allow --no-version still write things like Generated by Yosys 2025-05-07 11:34:23 +02:00
sim.cc libs/fst: Update upstream 2025-05-12 10:21:06 +12:00
supercover.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
synthprop.cc synthprop: Reformat the help 2024-07-25 11:43:58 +02:00