672 commits

Author	SHA1	Message	Date
Jannis Harder	a0987195f2	abstract: Support slicing of individual wires	2025-02-18 17:08:45 +01:00
Jannis Harder	4766c92e59	abstract: Allow unconditional value and state abstractions ... Also improves -enable and -enablen command line handling	2025-02-18 17:08:45 +01:00
Jannis Harder	37aa2e6cd8	abstract: Wire vs port offset confusion bugfix ... This fixes the offsets_to_abstract collection in abstract_state so that it now works the same way as in abstract_value which was already correct.	2025-02-18 17:08:45 +01:00
Emil J. Tywoniak	28c768e7b8	abstract: better present changes done	2025-02-18 17:08:45 +01:00
Emil J. Tywoniak	3dd697fc8a	abstract: improve -init logging	2025-02-18 17:08:45 +01:00
Emil J. Tywoniak	9de890c874	abstract: fix -init log_debug bit count, remove unnecessary log_debug	2025-02-18 17:08:45 +01:00
Emil J. Tywoniak	aca4d44a40	abstract: improve debug logs for -state and -value	2025-02-18 17:08:45 +01:00
Emil J. Tywoniak	cee06cecd0	abstract: factor out emit_mux_anyseq	2025-02-18 17:08:45 +01:00
Emil J. Tywoniak	9895370b32	abstract: rework -init without bufnorm, with logging	2025-02-18 17:08:45 +01:00
Emil J. Tywoniak	1646991092	abstract: refactor -value	2025-02-18 17:08:45 +01:00
Emil J. Tywoniak	e9bba13a0d	abstract: no more bufnorm, -value has bit selection consistent with -state, -init temporarily gutted	2025-02-18 17:08:45 +01:00
Emil J. Tywoniak	3f1ee3e0ae	abstract: -state refactor sigbit rep pool collection	2025-02-18 17:08:45 +01:00
Emil J. Tywoniak	387d0de383	abstract: -state allow partial abstraction, don't use buffer-normalized mode	2025-02-18 17:08:45 +01:00
Emil J. Tywoniak	6027030215	abstract: -value MVP, use buffer-normalized mode	2025-02-18 17:08:45 +01:00
Emil J. Tywoniak	4637fa74e3	abstract: -init MVP	2025-02-18 17:08:45 +01:00
Emil J. Tywoniak	e4ca7b8846	abstract: -state MVP	2025-02-18 17:08:45 +01:00
Emil J. Tywoniak	a58481e9b7	mark all hash_into methods nodiscard	2025-01-14 12:39:15 +01:00
Emil J. Tywoniak	b9b9515bb0	hashlib: hash_eat -> hash_into	2024-12-18 15:09:25 +01:00
Emil J. Tywoniak	4e29ec1854	hashlib: acc -> eat	2024-12-18 15:09:25 +01:00
Emil J. Tywoniak	c73c88033d	hashlib: only include in one place	2024-12-18 14:58:31 +01:00
Emil J. Tywoniak	d071489ab1	hashlib: redo interface for flexibility	2024-12-18 14:49:25 +01:00
Martin Povišer	4bd6061709	Merge pull request #4799 from povik/wrapcell-unused ... wrapcell: Optionally track unused outputs	2024-12-10 21:16:28 +01:00
Martin Povišer	3cd01a57cd	wrapcell: Add comments, const qualifier	2024-12-10 15:13:31 +01:00
Martin Povišer	9161377c5a	wrapcell: Fix help	2024-12-09 15:40:33 +01:00
Martin Povišer	481162b848	Merge pull request #4800 from povik/portarcs-fix ... Fix portarcs edge cases	2024-12-09 15:13:15 +01:00
N. Engelhardt	8557455411	handle quotes and check return value	2024-12-06 11:25:45 +01:00
Miodrag Milanovic	1b403b82d7	Handle setting environment on Windows	2024-12-06 11:25:45 +01:00
N. Engelhardt	8b0f665cc5	add setenv pass	2024-12-06 11:25:43 +01:00
Martin Povišer	f4f65493a1	portarcs: Fix confusing disconnected and zero-delay case	2024-12-05 18:27:44 +01:00
Martin Povišer	2c66557d22	portarcs: Fix for case of unused gates	2024-12-05 18:27:43 +01:00
Martin Povišer	d57d21e566	wrapcell: Optionally track unused outputs	2024-12-05 18:16:53 +01:00
Martin Povišer	79e9258a31	wrapcell: Add new command	2024-11-27 14:01:00 +01:00
Martin Povišer	2dba345049	portarcs: New command to derive propagation arcs	2024-11-13 16:20:35 +01:00
Martin Povišer	4ce8c7a0d3	Merge pull request #4709 from YosysHQ/emil/idstring-in-fold ... functional, glift: use fold overload of IdString::in instead of pool …	2024-11-13 15:17:33 +01:00
Emil J. Tywoniak	387a235158	functional, glift: use fold overload of IdString::in instead of pool literals	2024-11-06 12:48:32 +01:00
Martin Povišer	29af057430	Merge pull request #4707 from povik/stat-unused ... stat: Drop unused field	2024-11-05 09:38:29 +01:00
Martin Povišer	4df3a5d7ec	stat: Drop unused field	2024-11-05 09:37:35 +01:00
Martin Povišer	35a20da512	logger: Adjust print	2024-11-04 13:16:40 +01:00
Martin Povišer	7aa3fdab80	select: Add -list-mod option	2024-11-04 13:16:13 +01:00
Lofty	dd7ea0ab6c	qwp: remove	2024-10-25 14:09:58 +01:00
Martin Povišer	9432e972f7	Merge pull request #4626 from povik/select-t-at ... select: Add new `t:@<name>` syntax	2024-10-16 10:18:05 +02:00
Martin Povišer	09be0351ce	select: Add new t:@<name> syntax	2024-10-15 12:22:02 +02:00
Emil J. Tywoniak	785bd44da7	rtlil: represent Const strings as std::string	2024-10-14 06:28:12 +02:00
Miodrag Milanovic	f079772ade	Add TODO for missing help messages	2024-10-08 08:47:51 +02:00
N. Engelhardt	8e1e2b9a39	Merge pull request #4495 from povik/check-avert-costly-detail	2024-09-23 15:19:48 +02:00
N. Engelhardt	c8b42b7d48	Merge pull request #4538 from RCoeurjoly/verific_bounds	2024-09-12 13:04:04 +02:00
Martin Povišer	34572708d5	Merge pull request #4595 from YosysHQ/emil/internal_stats-astnode ... internal_stats: astnode (sizeof)	2024-09-11 12:21:29 +02:00
Emil J. Tywoniak	1372c47036	internal_stats: astnode (sizeof)	2024-09-11 11:34:20 +02:00
Roland Coeurjoly	bdc43c6592	Add left and right bound properties to wire. Add test. Fix printing ... for signed attributes Co-authored-by: N. Engelhardt <nak@yosyshq.com> Co-authored-by: Roland Coeurjoly <rolandcoeurjoly@gmail.com>	2024-09-10 12:52:42 +02:00
Hoa Nguyen	c1205ebc42	Initialize area stats in stat pass ... Currently, the area variables in the stat struct are not initialized. This caused the area stats occasionally being an erroneous value. Signed-off-by: Hoa Nguyen <hnpl@google.com>	2024-09-07 21:30:58 -07:00