14594 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
N. Engelhardt	dab7905cbe	write_json: add option to include $scopeinfo cells	2025-01-08 13:33:56 +01:00
github-actions[bot]	17a53b8385	Bump version	2025-01-04 00:20:29 +00:00
Martin Povišer	45e31f06b4	Merge pull request #4831 from mikesinouye/hashlib ... Approximately double the max hash table size	2025-01-03 10:32:56 +01:00
mikesinouye	de9cb5a60c	Remove spurious prime	2025-01-02 11:05:30 -08:00
mikesinouye	1ae0d8432f	Approximately double the max hash table size	2025-01-02 08:59:11 -08:00
github-actions[bot]	cbb95cb517	Bump version	2024-12-26 00:20:44 +00:00
Catherine	1ef4c7f565	yosys-smtbmc: add cvc5 to help text.	2024-12-25 04:59:02 +00:00
github-actions[bot]	8acc77c1e0	Bump version	2024-12-20 00:21:02 +00:00
Emil J	8fd40942e9	Merge pull request #4825 from YosysHQ/emil/fix-gcc-error-directive ... yosys_common: fix gcc warning in #error directive	2024-12-19 16:29:03 +01:00
Emil J. Tywoniak	cea5326229	yosys_common: fix gcc warning in #error directive	2024-12-19 15:55:51 +01:00
Emil J	301d9677b0	Merge pull request #4824 from YosysHQ/emil/fix-witness-stack-overflow ... yw: fix unintensional recursion in hash_into	2024-12-19 15:30:57 +01:00
Emil J. Tywoniak	a6bd8ff3e5	yw: fix unintensional recursion in hash_into	2024-12-19 11:47:34 +01:00
github-actions[bot]	281e474d45	Bump version	2024-12-19 00:22:04 +00:00
Emil J	6ab5be4a0e	Merge pull request #4814 from YosysHQ/emil/make-test-fasterer ... test: every test everywhere all at once	2024-12-18 19:02:39 +01:00
Emil J	f6e435fdfb	Merge pull request #4524 from YosysHQ/emil/hashlib-interface ... Neater hashing interface	2024-12-18 18:50:53 +01:00
Emil J. Tywoniak	026e9dae9d	hashlib: fixes from jix	2024-12-18 15:09:25 +01:00
Emil J. Tywoniak	ed70038aa1	hashlib: fixes from jix	2024-12-18 15:09:25 +01:00
Emil J. Tywoniak	b9b9515bb0	hashlib: hash_eat -> hash_into	2024-12-18 15:09:25 +01:00
Emil J. Tywoniak	0a525f38c2	hashlib: declare YS_HASHING_VERSION = 1	2024-12-18 15:09:25 +01:00
Emil J. Tywoniak	1df8a3e64b	hashlib: legacy mkhash_add -> djb2_add	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	79acc141d5	hashlib: add deprecated mkhash function to prevent plugin breakage	2024-12-18 14:58:53 +01:00
Emil J. Tywoniak	6d53454bf5	docs: move hashing-based container details into internal docs from guidelines	2024-12-18 14:58:53 +01:00
Emil J	1401906d81	docs: formatting and fixes ... Co-authored-by: KrystalDelusion <93062060+KrystalDelusion@users.noreply.github.com>	2024-12-18 14:58:53 +01:00
Krystine Sherwin	0454787443	Docs: Formatting and fixes	2024-12-18 14:58:51 +01:00
Emil J. Tywoniak	ad0dc17711	docs: document the ideas behind the hashing interface	2024-12-18 14:58:31 +01:00
Emil J. Tywoniak	0dafe06cd4	hashlib: run_hash uses hash_top_ops, not hash_ops	2024-12-18 14:58:31 +01:00
Emil J. Tywoniak	02a578365a	hashlib: remove is_new from HasherDJB32, implement hash_top for IdString	2024-12-18 14:58:31 +01:00
Emil J. Tywoniak	704a58ab21	hashlib: restore hash_obj_ops for pointers to indexed types	2024-12-18 14:58:31 +01:00
Emil J. Tywoniak	52b0fc03b7	hash: solo hashing interface, override for SigBit	2024-12-18 14:58:31 +01:00
Emil J. Tywoniak	b7991ed1f5	hashlib: prevent naive hashing of IdString when hashing SigBit	2024-12-18 14:58:31 +01:00
Emil J. Tywoniak	4d14399749	hashlib: allow forcing Hasher state, use it for IdString trivial hashing	2024-12-18 14:58:31 +01:00
Emil J. Tywoniak	c1af19fabc	hashlib: don't xorshift in between upper and lower word	2024-12-18 14:58:31 +01:00
Emil J. Tywoniak	209ab6fb72	hashlib: fudge always	2024-12-18 14:58:31 +01:00
Emil J. Tywoniak	582259f770	hashlib: hash_t can be set to 64-bit	2024-12-18 14:58:31 +01:00
Emil J. Tywoniak	b8738e2bd7	hashlib: use hash_t across the board	2024-12-18 14:58:31 +01:00
Emil J. Tywoniak	c73c88033d	hashlib: only include in one place	2024-12-18 14:58:31 +01:00
Emil J. Tywoniak	db04788c18	hashlib: fix pyosys	2024-12-18 14:58:31 +01:00
Emil J. Tywoniak	c10b3f57e1	abc: sort stats	2024-12-18 14:58:31 +01:00
Emil J. Tywoniak	953508f6d2	driver: add --hash-seed	2024-12-18 14:58:29 +01:00
Emil J. Tywoniak	d071489ab1	hashlib: redo interface for flexibility	2024-12-18 14:49:25 +01:00
N. Engelhardt	7a362f1f74	Merge pull request #4813 from YosysHQ/micko/mxe_removal ... Unsupported targets removal	2024-12-16 15:29:52 +01:00
Emil J. Tywoniak	6240aec433	test: restore verific handling, nicer naming	2024-12-13 10:24:47 +01:00
github-actions[bot]	4581f75b03	Bump version	2024-12-13 00:23:01 +00:00
N. Engelhardt	f384eac28b	Merge pull request #4815 from YosysHQ/verific_bounds_fix ... Verific frontend: fix `top_bound`/`bottom_bound` attributes	2024-12-12 12:59:55 +01:00
N. Engelhardt	378864d33b	bound attributes: handle vhdl null ranges	2024-12-12 11:42:39 +01:00
Emil J. Tywoniak	603e5eb30a	test: every test everywhere all at once	2024-12-12 01:28:36 +01:00
github-actions[bot]	e32e199ca8	Bump version	2024-12-12 00:22:44 +00:00
N. Engelhardt	03033ab6d4	add more tests for bounds attributes, fix attributes appearing in verilog	2024-12-11 16:11:02 +01:00
Miodrag Milanovic	b9e04297f8	Remove cygwin support, users should use gcc target for it	2024-12-11 12:36:21 +01:00