1
0
mirror of synced 2026-05-23 13:46:47 +00:00

Commit Graph

  • c039da2ec1 renames variables for more code clairty Ethan Mahintorabi 2024-05-08 01:09:52 +00:00
  • a2c1b268d9 frontend: Fixes verific import around range order Ethan Mahintorabi 2024-05-08 01:00:06 +00:00
  • 6d181c29ce Checking different cases for abc Roland Coeurjoly 2024-04-14 19:56:07 +02:00
  • fdbe8714c9 Check that abc is checkout out as a git repo Roland Coeurjoly 2024-04-12 14:29:05 +02:00
  • 67d4c8bba6 Use $< to refer to the first prerequisite listed in the rule Roland Coeurjoly 2024-04-12 07:24:45 +02:00
  • 09b9aa83c9 Add YosysHQ/abc as a submodule located in abc Roland Coeurjoly 2024-04-12 07:08:18 +02:00
  • 77dff5a293 Merge pull request #4382 from YosysHQ/micko/pr_template Miodrag Milanović 2024-05-08 13:46:10 +02:00
  • f806987d58 Add PR template Miodrag Milanovic 2024-05-08 12:00:18 +02:00
  • 561618002a Next dev cycle Miodrag Milanovic 2024-05-08 09:02:50 +02:00
  • c1ad37779e Release version 0.41 yosys-0.41 Miodrag Milanovic 2024-05-08 08:52:10 +02:00
  • 7ab43dc1b7 Update ABC with Windows fixes Miodrag Milanovic 2024-05-08 08:30:30 +02:00
  • 1ac00088a6 Merge pull request #4380 from whitequark/cxxrtl-metadata-compression Catherine 2024-05-08 05:48:29 +01:00
  • 6e003e1af6 cxxrtl: minimize stack space consumed by debug_info(). Catherine 2024-05-08 03:37:14 +00:00
  • 80798daf53 cxxrtl: reduce stack space consumed by debug_info() further. Catherine 2024-05-08 01:16:56 +00:00
  • 9134cd1928 cxxrtl: reduce stack space consumed by debug_info(). Catherine 2024-03-21 20:28:32 +00:00
  • 43ddd89ba5 cxxrtl: fix escape_c_string hex literal fiasco. Catherine 2024-05-08 02:53:36 +00:00
  • 7294d8b5af cxxrtl: fix close of invalid fd in spool destructor. Catherine 2024-05-08 00:27:28 +00:00
  • ce45011275 Bump version github-actions[bot] 2024-05-08 00:13:52 +00:00
  • c9d87d5e7b Merge pull request #4377 from jix/smtbmc-incremental-improvements Miodrag Milanović 2024-05-07 21:35:10 +02:00
  • 8735107c60 Merge pull request #4321 from YosysHQ/fix_read_verilog_defaults N. Engelhardt 2024-05-07 21:11:42 +02:00
  • df95ea824b read_verilog: Add missing defaults for flags Krystine Sherwin 2024-04-06 14:24:34 +13:00
  • a52088b6af smtbmc: Improvements for --incremental and .yw fixes Jannis Harder 2024-05-07 17:57:37 +02:00
  • 71f2540cd8 docs conf.py change Release -> Version Miodrag Milanovic 2024-05-07 15:55:52 +02:00
  • b4034a881e Keep docs version in conf.py Miodrag Milanovic 2024-05-07 15:35:25 +02:00
  • 90dd508156 Merge pull request #4372 from YosysHQ/krys/docs_version_number Miodrag Milanović 2024-05-07 09:15:51 +02:00
  • 6eb49ee9e8 Makefile: Export YOSYS_VER only for make docs Krystine Sherwin 2024-05-07 10:23:22 +12:00
  • 68c7fc4c91 Merge pull request #4300 from YosysHQ/cellmatch Emil J 2024-05-06 15:12:37 +02:00
  • fe27240b3a Makefile: Export YOSYS_VER Krystine Sherwin 2024-05-04 16:51:38 +12:00
  • bb0be8c7a2 Docs: Set release to YOSYS_VER Krystine Sherwin 2024-05-04 16:51:29 +12:00
  • 0f9ee20ea2 Bump version github-actions[bot] 2024-05-04 00:16:00 +00:00
  • 44b0fdc2bf bbox_derive: add assert and debug print Emil J. Tywoniak 2024-05-03 20:43:01 +02:00
  • e8c58a5528 bbox_derive: fix unininitialized memory UB when run with no named args Emil J. Tywoniak 2024-05-03 20:41:42 +02:00
  • 4c000d3aba Add new bbox_derive command for blackbox derivation Martin Povišer 2024-04-10 15:20:01 +02:00
  • e939182e68 cellmatch: add comments Emil J. Tywoniak 2024-05-03 12:11:55 +02:00
  • b143e5678f cellmatch: Rename the special design to $cellmatch Martin Povišer 2024-04-13 17:20:32 +02:00
  • 913bc87c44 cellmatch: Add test Martin Povišer 2024-04-13 17:12:53 +02:00
  • c0e68dcc4d cellmatch: Add debug print Martin Povišer 2024-04-13 16:56:44 +02:00
  • 6a9858cdad cellmatch: Delegate evaluation to ConstEval Martin Povišer 2024-04-13 16:56:36 +02:00
  • 86e1080f05 cellmatch: New pass Martin Povišer 2024-03-27 23:54:51 +01:00
  • 2631c7e918 Merge pull request #4365 from widlarizer/techmap-chtype-test Emil J 2024-05-03 16:25:42 +02:00
  • e523caa680 intel_alm: convert to memory_libmap lofty/intel_alm-memory_libmap Lofty 2024-05-03 13:19:42 +01:00
  • a833f05036 techmap: add dynamic cell type test Emil J. Tywoniak 2024-05-02 23:49:50 +02:00
  • 6ff4ecb2b4 techmap: Remove techmap_chtype from the result Martin Povišer 2024-04-10 18:32:27 +02:00
  • fc82251105 techmap: Support dynamic cell types Martin Povišer 2024-04-10 14:17:57 +02:00
  • 8cc9aa7fc6 intel_alm: drop quartus support Lofty 2024-05-03 11:16:34 +01:00
  • dd2195543b Bump version github-actions[bot] 2024-04-30 00:17:14 +00:00
  • 640d6a5127 Merge pull request #4359 from georgerennie/aiger_parse_bug Martin Povišer 2024-04-29 15:15:43 +02:00
  • 4e6deb53b6 read_aiger: Fix incorrect read of binary Aiger without outputs George Rennie 2024-04-26 19:16:01 +01:00
  • f1672b2f14 Update Makefile Jason Wu 2024-04-29 10:16:22 +08:00
  • 374cd3966d export define marco to qtcreator.config Jason Wu 2024-04-29 10:04:34 +08:00
  • 34d9a7451e Merge pull request #4333 from YosysHQ/fix_hierarchy_generate N. Engelhardt 2024-04-25 09:56:24 +02:00
  • c3ae33da33 Merge pull request #4285 from YosysHQ/typo_fixup KrystalDelusion 2024-04-25 09:54:48 +12:00
  • f2ebc3f7b1 github: Add template for documentation issues Krystine Sherwin 2024-04-25 09:39:23 +12:00
  • cd1fb8b157 Merge pull request #4350 from jix/read_rtlil_performance Martin Povišer 2024-04-24 14:07:28 +02:00
  • cf02f86c28 Bump version github-actions[bot] 2024-04-24 00:16:06 +00:00
  • 982a22da5e Merge pull request #4351 from povik/bump-abc Martin Povišer 2024-04-23 14:20:54 +02:00
  • 67c7062fb8 Bump abc for a fix once more Martin Povišer 2024-04-23 13:50:45 +02:00
  • c167d9b76e Bump abc for one more fix Martin Povišer 2024-04-23 11:41:20 +02:00
  • 6d6aa4d35e Bump abc to cherry-pick a WASM build fix Martin Povišer 2024-04-22 17:43:41 +02:00
  • 4a666d3ba8 Bump abc Martin Povišer 2024-04-22 16:36:47 +02:00
  • 178eceb32d rtlil: Replace the packed SigSpec::extract impl Martin Povišer 2024-04-22 16:23:51 +02:00
  • 0d30a4d479 rtlil: Add packed extract implementation for SigSpec Jannis Harder 2024-04-22 13:26:17 +02:00
  • 171577f909 Merge pull request #4340 from gadfort/abc-lib-merge Martin Povišer 2024-04-17 22:01:20 +02:00
  • 4897e89547 Bump version github-actions[bot] 2024-04-17 00:16:15 +00:00
  • 52c04f3029 Merge pull request #4341 from YosysHQ/mmicko/ci_update Miodrag Milanović 2024-04-16 08:30:03 +02:00
  • c38bbd7824 Add new verific testing environment CI Miodrag Milanovic 2024-04-16 07:50:50 +02:00
  • 40e8f5b69d Bump version github-actions[bot] 2024-04-16 00:15:48 +00:00
  • e78c38b556 Merge pull request #4339 from YosysHQ/mmicko/lib_as_attribute Miodrag Milanović 2024-04-15 20:25:49 +02:00
  • 1527cc84c4 Merge pull request #4338 from jix/fix-formalff-setundef-srst Jannis Harder 2024-04-15 18:34:07 +02:00
  • af94123730 verific: expose library name as module attribute Miodrag Milanovic 2024-04-15 17:01:07 +02:00
  • 2bd889a59a formalff -setundef: Fix handling for has_srst FFs Jannis Harder 2024-04-15 11:53:30 +02:00
  • 7bb2746208 Merge pull request #4334 from YosysHQ/docs_tidy Miodrag Milanović 2024-04-15 08:27:41 +02:00
  • 73d021562f Docs: Rename source/temp to source/generated Krystine Sherwin 2024-04-15 10:13:22 +12:00
  • 953f5bbe6c Docs: Remove end-before tag for yosys-abc Krystine Sherwin 2024-04-15 09:50:46 +12:00
  • b827b9862f Merge pull request #4265 from povik/iattr_help Martin Povišer 2024-04-13 18:13:58 +02:00
  • 4a8cdfabbb Merge pull request #4169 from povik/clean-opt_clean-step2 Martin Povišer 2024-04-13 18:12:40 +02:00
  • ed46453cfc Bump version github-actions[bot] 2024-04-13 00:14:07 +00:00
  • b3024289c6 Docs: Force read_verilog to avoid verific header Krystine Sherwin 2024-04-13 11:33:04 +12:00
  • 1d7b7ddfd7 Docs: Skip footer in logs Krystine Sherwin 2024-04-13 11:29:11 +12:00
  • d4b6042e43 Makefile: Separate docs/usage stderr and stdout Krystine Sherwin 2024-04-13 11:20:36 +12:00
  • a48825a604 add support for using ABCs library merging when providing multiple liberty files Peter Gadfort 2024-04-12 13:57:29 -04:00
  • be670c68fb original parameter value extraction mmicko/orig_params Miodrag Milanovic 2024-04-12 17:29:59 +02:00
  • e8ec19c273 add command that should not have any effect to hierarchy -generate test (this documents the current behavior, not sure if it is desired functionality) N. Engelhardt 2024-04-12 13:51:06 +02:00
  • b87327d1b9 fix hierarchy -generate mode handling of cells N. Engelhardt 2024-04-12 13:38:33 +02:00
  • 1c09862ad9 Merge pull request #4329 from YosysHQ/mmicko/codeowners_change Miodrag Milanović 2024-04-12 10:46:37 +02:00
  • 0c7ac36dcf Add workflows and CODEOWNERS and fixed gitignore Miodrag Milanovic 2024-04-11 14:56:00 +02:00
  • 47bdb3e32f Bump version github-actions[bot] 2024-04-11 00:16:34 +00:00
  • c5912f4f95 Merge pull request #4313 from widlarizer/emil/fix-opt-demorgan-warning Emil J 2024-04-10 12:49:14 +02:00
  • b00abe4a26 Extend log command with -push, -pop, -header options Martin Povišer 2024-04-10 11:45:12 +02:00
  • e2cfcbcf25 fix .gitignore Miodrag Milanovic 2024-04-10 10:12:05 +02:00
  • e01e942f81 Next dev cycle Miodrag Milanovic 2024-04-10 08:21:35 +02:00
  • a1bb0255d6 Release version 0.40 yosys-0.40 Miodrag Milanovic 2024-04-10 08:17:27 +02:00
  • 3d5e23e585 Merge pull request #4302 from YosysHQ/vhdl_2019 N. Engelhardt 2024-04-09 18:25:05 +02:00
  • 18afa36acd Merge pull request #4273 from YosysHQ/vhdl_params N. Engelhardt 2024-04-09 18:01:41 +02:00
  • bc14999287 Bump version github-actions[bot] 2024-04-09 00:16:14 +00:00
  • eb6c9395bf Merge pull request #4312 from jix/break-cyclic-includes Jannis Harder 2024-04-08 20:49:52 +02:00
  • dc746080f5 Merge pull request #4298 from povik/kogge-stone Martin Povišer 2024-04-08 16:46:06 +02:00
  • 5f4d13ee3f techmap: Note down iteration in Kogge-Stone Martin Povišer 2024-04-08 16:44:43 +02:00
  • 8e8885e1cc Merge pull request #4323 from YosysHQ/tests_update N. Engelhardt 2024-04-08 15:10:59 +02:00
  • 4ac10040ce Enable SV for localparam use by Efinix cell_sim Miodrag Milanovic 2024-04-08 12:45:43 +02:00