yosys/kernel
Emil J 5f8489d36d
Merge pull request #5666 from YosysHQ/emil/equiv_induct-missing-model-errors
equiv_induct: error on missing model
2026-02-25 15:39:31 +01:00
..
binding.cc
binding.h Generate an RTLIL representation of bind constructs 2021-08-13 17:11:35 -06:00
bitpattern.h Update kernel to avoid bits() 2025-09-16 03:17:23 +00:00
calc.cc
cellaigs.cc
cellaigs.h
celledges.cc kernel/celledges: cover more cell types 2026-02-09 14:13:40 +01:00
celledges.h
celltypes.h
compute_graph.h
consteval.h
constids.inc
cost.cc Remove .c_str() from parameters to log_debug() 2025-09-23 19:10:33 +12:00
cost.h cost: add model for techmapped cell count, keep_hierarchy pass with -min_cost parameter 2024-07-29 10:26:02 +02:00
driver.cc
drivertools.cc
drivertools.h
ff.cc
ff.h ff: split out type-only information 2025-11-19 15:20:50 +01:00
ffinit.h
ffmerge.cc Instead of using builtin_ff_cell_types() directly, go through a method Cell::is_builtin_ff() 2025-09-17 03:24:19 +00:00
ffmerge.h
fmt.cc Remove .c_str() from log_cmd_error() and log_file_error() parameters 2025-09-16 22:59:08 +00:00
fmt.h
fstdata.cc
fstdata.h
functional.cc
functional.h
gzip.cc
gzip.h
hashlib.h Parallelize `opt_merge`. 2026-01-08 04:21:39 +00:00
io.cc Pass IdString by value instead of by const reference. 2025-12-22 01:52:59 +00:00
io.h
json.cc Support for BTOR witness to Yosys witness conversion 2023-01-11 18:07:16 +01:00
json.h Reapply "Add groups to command reference" 2025-08-06 13:52:12 +12:00
log.cc Use digit separators for large decimal integers 2026-01-13 16:38:12 +01:00
log.h Remove cover() coverage tracking 2025-12-04 16:27:13 +01:00
log_compat.cc
log_help.cc log_help: Don't reformat codeblocks 2026-01-28 08:07:44 +13:00
log_help.h
macc.h Update kernel to avoid bits() 2025-09-16 03:17:23 +00:00
mem.cc Update kernel to avoid bits() 2025-09-16 03:17:23 +00:00
mem.h Update kernel to avoid bits() 2025-09-16 03:17:23 +00:00
modtools.h
pattern.h
qcsat.cc
qcsat.h
register.cc Update year in banner and license 2026-01-13 14:23:51 +01:00
register.h Add timing stats for IdString garbage collection 2025-11-12 11:52:04 +01:00
rtlil.cc Avoid scanning entire module if there are no wires to remove 2026-01-23 01:38:20 +00:00
rtlil.h
rtlil_bufnorm.cc
satgen.cc satgen: move report_missing_model here from equiv.h 2026-02-16 17:01:09 +01:00
satgen.h
scopeinfo.cc
scopeinfo.h
sexpr.cc
sexpr.h factor out SExpr/SExprWriter classes out of smtlib backend, and also tidy them up/document them 2024-08-21 11:03:27 +01:00
sigtools.h
tclapi.cc sdc: separate out 2025-11-19 15:25:22 +01:00
threading.cc
threading.h
timinginfo.h mark all hash_into methods nodiscard 2025-01-14 12:39:15 +01:00
topo_scc.h functional backend: topological sort starts with the output and next states nodes, other nodes get deleted 2024-08-21 11:03:29 +01:00
utils.h
yosys.cc
yosys.h version: add git hash string 2025-12-09 11:58:43 +01:00
yosys_common.h Delete prefix strings on shutdown to avoid triggering leak warnings. 2025-12-05 09:45:47 +00:00
yw.cc
yw.h