github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-02-20 22:55:06 +00:00
Code Issues Releases Wiki Activity
Files
d87c1f61afdc2b0d7fd4dc5c50e14a01c281dbf1
YosysHQ.yosys/kernel
History
Gus Smith 8ab105ac28 Merge pull request #4303 from Coloquinte/sat_choice 
Infrastructure to run a Sat solver as a command
2026-02-11 06:54:53 -08:00
..
binding.cc
Generate an RTLIL representation of bind constructs
2021-08-13 17:11:35 -06:00
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
Update kernel to avoid bits()
2025-09-16 03:17:23 +00:00
cellaigs.cc
cellaigs: fix AOI and OAI ordering
2025-12-10 12:41:13 +01:00
cellaigs.h
mark all hash_into methods nodiscard
2025-01-14 12:39:15 +01:00
celledges.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
celledges.h
…
celltypes.h
Pass IdString by value instead of by const reference.
2025-12-22 01:52:59 +00:00
compute_graph.h
convert class FunctionalIR to a namespace Functional, rename functionalir.h to functional.h, rename functional.h to compute_graph.h
2024-08-21 11:04:08 +01:00
consteval.h
consteval: describe
2026-01-19 12:00:18 +01:00
constids.inc
constids: add $input_port and $connect
2025-11-12 20:19:42 +01:00
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
driver: add --git-hash
2025-12-09 11:58:57 +01:00
drivertools.cc
Update kernel to avoid bits()
2025-09-16 03:17:23 +00:00
drivertools.h
Remove log_str() functions and convert their log_signal() users to return std::string
2025-09-11 04:00:49 +00:00
ff.cc
ff: split out type-only information
2025-11-19 15:20:50 +01:00
ff.h
ff: split out type-only information
2025-11-19 15:20:50 +01:00
ffinit.h
Update kernel to avoid bits()
2025-09-16 03:17:23 +00:00
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
Compute is_port in AbcPass without iterating through all cells and wires in the module every time we run ABC.
2025-08-14 22:29:45 +00:00
fmt.cc
Remove .c_str() from log_cmd_error() and log_file_error() parameters
2025-09-16 22:59:08 +00:00
fmt.h
fmt,cxxrtl: add option to group digits in numbers.
2024-04-02 12:13:22 +02:00
fstdata.cc
Remove .c_str() from parameters to log_debug()
2025-09-23 19:10:33 +12:00
fstdata.h
sim.cc: Move cycle check
2025-05-12 12:48:01 +12:00
functional.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
functional.h
Remove .c_str() calls from log()/log_error()
2025-09-11 20:59:37 +00:00
gzip.cc
Remove .c_str() from log_cmd_error() and log_file_error() parameters
2025-09-16 22:59:08 +00:00
gzip.h
gzip: back to pointers
2025-03-19 13:43:44 +01:00
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
reduce OS ifdefs, refactor getting dirs and filenames from paths to files
2025-10-14 15:46:17 +02:00
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_compat.cc
Maintain logging ABI compatiblity with YosysHQ Verific Extensions
2025-09-09 15:41:03 +02:00
log_help.cc
log_help: Don't reformat codeblocks
2026-01-28 08:07:44 +13:00
log_help.h
log_help: Fix mem leaks
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
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
Pass IdString by value instead of by const reference.
2025-12-22 01:52:59 +00:00
pattern.h
OptDff more accurate ctrl/pattern desc.
2026-01-26 22:19:36 +01:00
qcsat.cc
Add coarse-grain $buf buffer cell type
2024-09-17 10:46:20 +02:00
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_bufnorm.cc
Pass IdString by value instead of by const reference.
2025-12-22 01:52:59 +00:00
rtlil.cc
Avoid scanning entire module if there are no wires to remove
2026-01-23 01:38:20 +00:00
rtlil.h
modify generator for pyosys/wrappers.cc instead of headers
2026-01-18 02:11:09 -08:00
satgen.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
satgen.h
Set solver from scratchpad or command line
2026-02-06 19:26:32 -08:00
scopeinfo.cc
Pass IdString by value instead of by const reference.
2025-12-22 01:52:59 +00:00
scopeinfo.h
Pass IdString by value instead of by const reference.
2025-12-22 01:52:59 +00:00
sexpr.cc
Remove .c_str() calls from log()/log_error()
2025-09-11 20:59:37 +00:00
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
Compute is_port in AbcPass without iterating through all cells and wires in the module every time we run ABC.
2025-08-14 22:29:45 +00:00
tclapi.cc
sdc: separate out
2025-11-19 15:25:22 +01:00
threading.cc
Add YOSYS_MAX_THREADS
2025-12-04 12:09:04 +01:00
threading.h
Add YOSYS_MAX_THREADS
2025-12-04 12:09:04 +01:00
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
Build a temporary SigChunk list in the iterator in the cases where that's needed
2025-11-07 15:54:55 +00:00
yosys_common.h
Delete prefix strings on shutdown to avoid triggering leak warnings.
2025-12-05 09:45:47 +00:00
yosys.cc
Update year in banner and license
2026-01-13 14:23:51 +01:00
yosys.h
version: add git hash string
2025-12-09 11:58:43 +01:00
yw.cc
Update kernel to avoid bits()
2025-09-16 03:17:23 +00:00
yw.h
mark all hash_into methods nodiscard
2025-01-14 12:39:15 +01:00