1
0
mirror of synced 2026-05-22 21:40:08 +00:00

Commit Graph

  • 8a9f491ffc ast, read_verilog: ownership in AST, use C++ styles for parser and lexer Emil J. Tywoniak 2025-06-16 22:55:24 +02:00
  • 4276756f32 fixup! const2ast: add diagnostics tests Emil J. Tywoniak 2025-06-16 22:50:31 +02:00
  • 49cd3887a7 const2ast: add diagnostics tests Emil J. Tywoniak 2025-06-16 21:48:12 +02:00
  • 41107e5473 log: add -expect types prefix-log, prefix-warning, prefix-error Emil J. Tywoniak 2025-06-16 21:26:08 +02:00
  • cd71f190cd Bump version github-actions[bot] 2025-06-14 00:24:06 +00:00
  • fa68299b25 tests/verific: Add chformal tests Krystine Sherwin 2025-06-14 11:06:38 +12:00
  • 45131f4425 chformal: Add -assert2cover option Krystine Sherwin 2025-06-14 10:54:06 +12:00
  • efa30dfdf8 Merge pull request #5176 from YosysHQ/krys/no_cxxopt_split KrystalDelusion 2025-06-14 10:39:28 +12:00
  • f019e44e74 verificsva: Support the followed-by operator in cover mode Jannis Harder 2025-06-13 21:27:31 +02:00
  • 4ade617c41 driver.cc: Don't split options on commas KrystalDelusion 2025-06-13 10:31:53 +12:00
  • 67f8de54dc Merge pull request #5160 from garytwong/fast-lex KrystalDelusion 2025-06-13 09:57:01 +12:00
  • 82888580ac Merge pull request #5152 from garytwong/unique-if KrystalDelusion 2025-06-13 09:56:53 +12:00
  • c0f52c6ead Merge pull request #5167 from YosysHQ/emil/fix-splitnets-single-bit-vector Emil J 2025-06-11 22:47:48 +02:00
  • e0747b71b7 Merge pull request #5174 from YosysHQ/micko/windows_action Miodrag Milanović 2025-06-10 08:06:38 +02:00
  • c561ba84e3 Bump version github-actions[bot] 2025-06-10 00:24:41 +00:00
  • a5edbc8836 Update CI, windows-2019 is deprecated Miodrag Milanovic 2025-06-09 19:07:53 +02:00
  • c16cc539d4 Next dev cycle Miodrag Milanovic 2025-06-09 08:12:26 +02:00
  • db72ec3bde Release version 0.54 v0.54 Miodrag Milanovic 2025-06-09 07:23:54 +02:00
  • 0b19f628e9 Merge pull request #5172 from YosysHQ/nak/reduce_warning_spam N. Engelhardt 2025-06-08 06:50:56 +00:00
  • cb79e28046 Merge pull request #5159 from YosysHQ/krys/fixing_selections N. Engelhardt 2025-06-08 06:40:15 +00:00
  • d079240d38 Allows calling yosys_shutdown and then yosys_setup to restart. RonxBulld 2025-06-07 22:21:09 +08:00
  • 09dd419183 wip lofty/gatemate-abc_new Lofty 2025-06-07 01:25:56 +01:00
  • 2a25d92413 Bump version github-actions[bot] 2025-06-07 00:24:11 +00:00
  • 7160c91800 tests: add test for #5164 opt_dff -sat UAF George Rennie 2025-06-06 23:46:23 +01:00
  • 8c38e2081d opt_dff: don't emit cells until all have been visited to prevent UAF George Rennie 2025-06-06 23:46:07 +01:00
  • 3fe31294d6 disable warning for intentional use of deprecated function (to assert the feature isn't used any more) N. Engelhardt 2025-06-06 16:41:25 +02:00
  • f22248f056 downgrade verific warnings about common coding styles N. Engelhardt 2025-06-06 16:30:50 +02:00
  • f123c6f452 Merge pull request #5170 from YosysHQ/emil/revert-log_debug Emil J 2025-06-06 16:29:45 +02:00
  • f1dea78603 don't warn for every blackbox from verific N. Engelhardt 2025-06-06 15:37:42 +02:00
  • a16227b209 Revert "Change the implementation of log_debug in kernel/log.h from a macro function to a normal function." Emil J. Tywoniak 2025-06-06 15:14:40 +02:00
  • c7ab9f0300 wip Lofty 2025-05-27 09:59:48 +01:00
  • 239c265093 splitnets: handle single-bit vectors consistently Emil J. Tywoniak 2025-06-05 10:58:06 +02:00
  • 50b63c6481 Bump version github-actions[bot] 2025-06-05 00:24:30 +00:00
  • 19cdbc5a0c opt_dff: don't remove cells until all have been visited to prevent UAF George Rennie 2025-06-04 21:02:21 +01:00
  • 378add3723 Merge pull request #5163 from YosysHQ/emil/fix-single-bit-vector-leak Emil J 2025-06-04 17:00:54 +02:00
  • 0fcf5c080d Merge pull request #5158 from georgerennie/george/task_inout George Rennie 2025-06-04 14:23:08 +01:00
  • ab40403d90 Merge pull request #5154 from georgerennie/george/post_incdec_undo_fix George Rennie 2025-06-04 14:22:32 +01:00
  • c37b7b3bf4 simplify: fix single_bit_vector memory leak Emil J. Tywoniak 2025-06-04 10:32:03 +02:00
  • 784de0f6e3 Make attrmap able to alter memory attributes as well Miodrag Milanovic 2025-06-04 08:01:21 +02:00
  • c21cd300a0 Merge pull request #5109 from YosysHQ/emil/aiger-map-fix-outputs Emil J 2025-06-02 15:07:19 +02:00
  • 1c742441db Merge pull request #5150 from YosysHQ/krys/aiger_ordering N. Engelhardt 2025-06-02 13:06:36 +00:00
  • 169f04e634 Merge pull request #5155 from YosysHQ/lofty/codeowners Lofty 2025-06-02 08:38:32 +01:00
  • ca7d94af99 verilog: improve string literal matching speed (fixes #5076) Gary Wong 2025-05-31 22:38:44 -06:00
  • 10bb0f472f docs: mention related effects for multiplexers in the cell library. Gary Wong 2025-05-30 21:43:33 -06:00
  • 62660b221f docs: restore and update the note about if/case attributes. Gary Wong 2025-05-30 21:13:20 -06:00
  • 86282027c0 Bump version github-actions[bot] 2025-05-31 00:23:36 +00:00
  • 97f51bb4b7 tests: add tests for task/function argument input/output copying George Rennie 2025-05-31 01:21:06 +01:00
  • 785cabcb0f abc9_ops: Skip opt_expr in proc Krystine Sherwin 2025-05-31 12:16:37 +12:00
  • 45e8ff476e read_verilog: copy inout ports in and out of functions/tasks George Rennie 2025-05-31 01:08:15 +01:00
  • ab0e3cc05f Proc: Use selections consistently Krystine Sherwin 2025-05-31 12:04:42 +12:00
  • 545753cc5a Merge pull request #5143 from YosysHQ/krys/typedef_struct_global KrystalDelusion 2025-05-31 09:59:26 +12:00
  • 6e3922e1c7 functional.cc: Explicit unsorted-pool-as-LIFO Krystine Sherwin 2025-05-31 09:57:43 +12:00
  • aac562d36a aiger.cc: Explicit unsorted-pool-as-LIFO Krystine Sherwin 2025-05-31 09:55:00 +12:00
  • 06db8828b2 abc.rst: Clarify larger-but-slower KrystalDelusion 2025-05-31 09:10:27 +12:00
  • e421a03d5a CODEOWNERS: add myself for the ABC doc Lofty 2025-05-30 22:05:54 +01:00
  • 6cd5921c2e hashlib: break dict by reversing the iterator order emil/break-dict-order Emil J. Tywoniak 2025-05-30 16:43:55 +02:00
  • 3790be114f tests: add tests for verilog pre/post increment/decrement in expressions George Rennie 2025-05-30 14:36:05 +01:00
  • 70291f0e49 read_verilog: fix -1 constant used to correct post increment/decrement George Rennie 2025-05-30 14:25:35 +01:00
  • d96d1e3630 Merge pull request #5153 from garytwong/typo-fix KrystalDelusion 2025-05-30 15:58:59 +12:00
  • 7a9d727bd0 docs: several small documentation fixes. Gary Wong 2025-05-29 21:26:28 -06:00
  • 7b09dc31af tests: add cases covering full_case and parallel_case semantics Gary Wong 2025-05-29 20:43:41 -06:00
  • 370d5871f4 verilog: implement SystemVerilog unique/unique0/priority if semantics. Gary Wong 2025-05-29 20:42:49 -06:00
  • 3ef4c91c31 Merge pull request #5148 from georgerennie/george/convertible_to_int_fix George Rennie 2025-05-29 10:33:12 +01:00
  • 0072a267cc write_aiger: Add no-sort option Krystine Sherwin 2025-05-29 16:20:16 +12:00
  • e046e3cdbf Bump version github-actions[bot] 2025-05-28 00:24:34 +00:00
  • 6d64e73fe7 Merge pull request #5149 from YosysHQ/lofty/abc_new-genlib Lofty 2025-05-27 11:04:47 +01:00
  • e4ab6acb46 Add genlib support to abc_new Lofty 2025-05-27 09:13:14 +01:00
  • 51560b0bf6 Start adding Rosette simulation facilties Gus Smith 2025-05-26 21:46:53 -07:00
  • 9faa61dfc6 Remove gate on smt and rkt tests Gus Smith 2025-05-26 20:43:32 -07:00
  • 4f968c6695 Bump version github-actions[bot] 2025-05-27 00:24:03 +00:00
  • 489a12d6c1 Merge pull request #5141 from garytwong/unique-if KrystalDelusion 2025-05-27 09:45:50 +12:00
  • 33376da034 ConstParser instead of const2ast using global state emil/ast-ownership-less-state Emil J. Tywoniak 2025-05-26 17:16:24 +02:00
  • 45a6940f40 cxxrtl: Add debug items for state with private names gatecat 2025-05-26 11:11:51 +02:00
  • e0c1e88f19 kernel: use try_as_int to implement as_int_compress George Rennie 2025-05-26 15:34:13 +01:00
  • 353fd0f7f4 tests: test opt_expr for 32 bit unsigned shifts George Rennie 2025-05-26 15:28:44 +01:00
  • 33a22b5cd1 kernel: fix convertible_to_int for overflowing unsigned values George Rennie 2025-05-26 15:28:14 +01:00
  • 4f7ea38b49 Merge pull request #5127 from RonxBulld/refine_strip Emil J 2025-05-26 15:03:34 +02:00
  • 24cd4aadd1 fix specify Emil J. Tywoniak 2025-05-26 11:59:06 +02:00
  • b962aa9171 fixup! messy Emil J. Tywoniak 2025-05-26 11:09:43 +02:00
  • 32ce23458f read_verilog: Mark struct as custom type Krystine Sherwin 2025-05-26 12:19:33 +12:00
  • 995a893afd Tests: Add svtypes/typedef_struct_global.ys Krystine Sherwin 2025-05-26 12:16:58 +12:00
  • 73e45d29d6 Add semantic test cases for SystemVerilog priority/unique/unique0 "if". Gary Wong 2025-05-24 08:32:58 -06:00
  • 209df95fb9 Bump version github-actions[bot] 2025-05-24 00:23:33 +00:00
  • 18abf2d4f7 Merge pull request #5138 from YosysHQ/emil/libcache-verbose Emil J 2025-05-24 00:05:46 +02:00
  • 71c64ff142 cleanup Emil J. Tywoniak 2025-05-23 21:20:04 +02:00
  • 125797bbb3 semi cleanup Emil J. Tywoniak 2025-05-23 21:13:02 +02:00
  • 91503e07dc fixup Emil J. Tywoniak 2025-05-23 20:23:23 +02:00
  • d9943b3727 messy Emil J. Tywoniak 2025-05-23 20:15:49 +02:00
  • 1acbb5b89b fixup! ast, read_verilog: ownership in AST, use C++ styles for parser and lexer Emil J. Tywoniak 2025-05-21 13:02:03 +02:00
  • 73122921f5 ast, read_verilog: ownership in AST, use C++ styles for parser and lexer Emil J. Tywoniak 2025-05-21 12:14:50 +02:00
  • 4b8d42d22c Merge pull request #5095 from YosysHQ/emil/one-bit-width Emil J 2025-05-23 15:55:45 +02:00
  • e05b21cfae Merge pull request #5140 from garytwong/typo-fix George Rennie 2025-05-23 13:01:57 +01:00
  • 9770ece187 Accept (and ignore) SystemVerilog unique/priority if. Gary Wong 2025-05-22 19:12:35 -06:00
  • 4f0cbf2ee6 Fix typo ("exist" -> "exit"). Gary Wong 2025-05-22 18:52:33 -06:00
  • 6c67b29bbb Bump version github-actions[bot] 2025-05-23 00:24:38 +00:00
  • 6331f92d00 Merge pull request #5101 from georgerennie/george/opt_expr_shift_ovfl George Rennie 2025-05-22 15:16:19 +01:00
  • 98eec36921 kernel: add comments to as_int family of methods George Rennie 2025-05-21 12:20:08 +01:00
  • 4f33cc52db Merge pull request #5137 from mikesinouye/assert Emil J 2025-05-22 10:39:48 +02:00
  • d8b27d41c0 Bugfix Gus Smith 2025-05-21 21:31:07 -07:00
  • 761dc6f62a Allow reading of gzipped files when not in NDEBUG mikesinouye 2025-05-21 15:18:29 -07:00