1
0
mirror of synced 2026-05-27 07:08:03 +00:00

Commit Graph

  • 88f20fa4dd Delete unused found_init variable Rupert Swarbrick 2021-07-14 10:19:07 +01:00
  • 8bf9cb407d kernel/mem: Add a coalesce_inits helper. Marcelina Kościelnicka 2021-07-12 20:04:59 +02:00
  • 4379375d89 Add support for the Bitwuzla solver GCHQDeveloper560 2021-06-16 13:19:43 +01:00
  • 0565c642a0 kernel/mem: Use delayed removal for inits as well. Marcelina Kościelnicka 2021-07-12 17:10:40 +02:00
  • 6d7d9ab077 kernel/mem: Add documentation for more helper functions. Marcelina Kościelnicka 2021-07-12 17:40:12 +02:00
  • 37506d737c cxxrtl: Support memory writes in processes. Marcelina Kościelnicka 2021-07-12 01:00:57 +02:00
  • af7fa62251 cxxrtl: Add support for memory read port reset. Marcelina Kościelnicka 2021-07-10 23:47:01 +02:00
  • be5cf29699 cxxrtl: Add support for mem read port initial data. Marcelina Kościelnicka 2021-07-10 14:33:16 +02:00
  • d5c9595668 cxxrtl: Convert to Mem helpers. Marcelina Kościelnicka 2021-07-10 03:55:51 +02:00
  • 7f12820b26 kernel/mem: Commit new values of attributes in emit. Marcelina Kościelnicka 2021-07-12 06:26:13 +02:00
  • c86a79bf0b kernel/mem: Make the Mem helpers inherit from AttrObject. Marcelina Kościelnicka 2021-07-12 02:11:54 +02:00
  • 009940f56c rtlil: Make Process handling more uniform with Cell and Wire. Marcelina Kościelnicka 2021-07-11 23:57:53 +02:00
  • 726fabd65e ice40: Fix LUT input indices in opt_lut -dlogic (again). Marcelina Kościelnicka 2021-07-10 20:46:48 +02:00
  • 7a5ac90985 Update to latest Verific with extensions for initial assertions Miodrag Milanovic 2021-07-09 09:02:27 +02:00
  • 4446cfa524 sv: fix a few struct and enum memory leaks Zachary Snow 2021-06-17 15:59:59 -04:00
  • 2b8f1633ce ecp5: Add DCSC blackbox gatecat 2021-07-06 11:46:45 +01:00
  • 676c544abe Merge pull request #2835 from YosysHQ/verific_command Claire Xen 2021-07-05 16:59:37 +02:00
  • 75e5500d4d Makefile: allow running multiple sanitizers at once Xiretza 2021-03-16 16:41:31 +01:00
  • a189284a28 Makefile: use git/make -C instead of cd Xiretza 2021-06-14 13:54:47 +02:00
  • ef68c2762c Makefile: pass PRETTY=0 to ABC Xiretza 2021-06-14 12:16:19 +02:00
  • 9c31ecfab8 Makefile: don't bake DESTDIR into libyosys DT_SONAME Xiretza 2021-06-14 11:35:38 +02:00
  • 18f4ae482c Makefile: clean up PYOSYS configuration Xiretza 2021-06-14 08:55:22 +02:00
  • 0dbb05a75e Add additional help Miodrag Milanovic 2021-07-05 09:16:54 +02:00
  • 862e84eb3d Merge pull request #2842 from whitequark/fix-wasi-build whitequark 2021-06-19 12:10:29 +00:00
  • 02b4e67549 Fix WASI build after commit 1d88bea1. whitequark 2021-06-19 02:59:57 +00:00
  • 5a73f296c9 Merge pull request #2836 from YosysHQ/gatecat/pyosys-sigint Miodrag Milanović 2021-06-18 12:07:50 +02:00
  • e2c9580024 Move interface expansion in hierarchy.cc into a helper class Rupert Swarbrick 2020-05-26 17:46:10 +01:00
  • f2c2d73f36 sv: fix up end label checking Zachary Snow 2021-06-14 15:32:01 -04:00
  • 092f0cb01e Include blif reader header in public facing extension header files. Ashton Snelgrove 2021-06-16 13:47:47 -06:00
  • 1d88bea18b pyosys: Clear SIGINT handler after Python loads gatecat 2021-06-16 12:34:36 +01:00
  • c0d8da20d5 Support command files in Verific Miodrag Milanovic 2021-06-16 11:21:44 +02:00
  • c6681508f1 verilog: fix leaking of type names in parser Xiretza 2021-03-18 21:52:06 +01:00
  • b57e47fad8 verilog: fix wildcard port connections leaking memory Xiretza 2021-03-18 10:38:36 +01:00
  • 62a42c317c ast: delete wires and localparams after finishing const evaluation Xiretza 2021-03-17 00:14:27 +01:00
  • 091295a5a5 verilog: fix leaking ASTNodes Xiretza 2021-03-16 16:43:03 +01:00
  • 9ca5a91724 ast: fix error condition causing assert to fail Xiretza 2021-03-17 00:08:43 +01:00
  • b516c681fe macos: fix leak in proc_self_dirname() Zachary Snow 2021-06-14 11:59:01 -04:00
  • 081111714e Simplify some RTLIL destructors Rupert Swarbrick 2020-04-20 15:58:30 +01:00
  • 801ecc0e1d verilog: Squash a memory leak. Marcelina Kościelnicka 2021-06-14 16:28:10 +02:00
  • 438bcc68c0 Add regression test for #2824. Marcelina Kościelnicka 2021-06-11 12:19:21 +02:00
  • 6a6d049f1c opt_muxtree: Update port_off and port_idx even for constant bits gatecat 2021-06-11 11:11:12 +01:00
  • 1667ad658b opt_expr: Fix mul/div/mod by POT patterns to support >= 32 bits. Marcelina Kościelnicka 2021-06-09 18:41:57 +02:00
  • 12b3a9765d opt_expr: Optimize div/mod by const 1. Marcelina Kościelnicka 2021-06-09 16:14:16 +02:00
  • 55e8f5061a Merge pull request #2817 from YosysHQ/claire/fixemails Claire Xen 2021-06-09 13:22:52 +02:00
  • 588137cd08 Fix deadname SVN links Claire Xenia Wolf 2021-06-09 12:44:37 +02:00
  • 2d95a7da9c Intersynth URL Claire Xenia Wolf 2021-06-09 12:42:52 +02:00
  • 0ff4fb1eb3 More deadname stuff Claire Xenia Wolf 2021-06-09 12:40:33 +02:00
  • 06b99950ed Fix icestorm links Claire Xenia Wolf 2021-06-09 12:39:12 +02:00
  • a734face3a More deadname stuff Claire Xenia Wolf 2021-06-09 12:33:41 +02:00
  • 0ada13cbe2 Use HTTPS for website links, gatecat email Claire Xenia Wolf 2021-06-09 12:16:56 +02:00
  • 92e705cb51 Fix files with CRLF line endings Claire Xenia Wolf 2021-06-09 12:16:33 +02:00
  • 2e697f5655 verilog: check for module scope identifiers during width detection Zachary Snow 2021-06-05 16:21:09 -04:00
  • c79fbfe0a1 mem2reg: tolerate out of bounds constant accesses Zachary Snow 2021-05-26 18:22:31 -04:00
  • d9f11bb7a6 autoname: simple perf optimizations Zachary Snow 2021-06-08 12:06:32 -04:00
  • 72787f52fc Fixing old e-mail addresses and deadnames Claire Xenia Wolf 2021-06-08 00:39:36 +02:00
  • e65ed3f228 Add claire deadname stuff to .mailmap Claire Xenia Wolf 2021-06-08 00:20:55 +02:00
  • 8cfed1a979 sv: support tasks and functions within packages Zachary Snow 2021-05-27 16:47:02 -04:00
  • 6d5d845788 kernel/mem: Recognize some deprecated memory port configs. Marcelina Kościelnicka 2021-06-01 01:48:35 +02:00
  • 13b901bf1c memory_map: Improve start_offset handling. Marcelina Kościelnicka 2021-05-31 15:53:18 +02:00
  • 82f5829aba memory_share: Add read port merging. Marcelina Kościelnicka 2020-10-26 00:44:37 +01:00
  • 2d10caabbc memory_share: Improve sat-based port sharing. Marcelina Kościelnicka 2020-10-26 03:20:57 +01:00
  • cbf6b719fe Make a few passes auto-call Mem::narrow instead of rejecting wide ports. Marcelina Kościelnicka 2021-05-27 23:43:25 +02:00
  • 055ba748bc backends/verilog: Add support for memory read port reset and init value. Marcelina Kościelnicka 2021-05-27 17:50:59 +02:00
  • aabe1c382e backends/verilog: Add wide port support. Marcelina Kościelnicka 2021-05-26 01:18:29 +02:00
  • 1eae6025e7 memory_share: Improve same-address merging, recognize wide write ports. Marcelina Kościelnicka 2020-10-25 23:01:59 +01:00
  • b019db1f37 kernel/mem: Add helpers for write port widening. Marcelina Kościelnicka 2021-05-26 03:07:51 +02:00
  • 83a218141c kernel/mem: Add sub_addr helpers. Marcelina Kościelnicka 2021-05-26 02:49:50 +02:00
  • 57ca51be76 kernel/mem: Add prepare_wr_merge helper. Marcelina Kościelnicka 2021-05-26 02:06:44 +02:00
  • 64ba3c3842 backends/verilog: Try to preserve mem write port priorities. Marcelina Kościelnicka 2021-05-25 22:37:03 +02:00
  • d99fce3bc7 mem/extract_rdff: Fix "no FF made" edge case. Marcelina Kościelnicka 2021-05-25 22:39:50 +02:00
  • 18806f1ef6 memory_bram: Reuse extract_rdff helper for make_outreg. Marcelina Kościelnicka 2021-05-25 19:31:53 +02:00
  • 0795b3ec07 verilog: fix case expression sign and width handling Zachary Snow 2021-03-25 14:06:05 -04:00
  • 15f35d6754 sv: support remaining assignment operators Zachary Snow 2021-03-27 15:59:48 -04:00
  • 3514c92dc4 mem/extract_rdff: Add alternate transparency handling. Marcelina Kościelnicka 2021-05-25 20:42:34 +02:00
  • e6b078d156 opt_mem: Add reset/init value support. Marcelina Kościelnicka 2021-05-25 18:49:17 +02:00
  • 24b880b2de kernel/mem: Add model support for read port init value and resets. Marcelina Kościelnicka 2021-05-22 17:18:59 +02:00
  • 097de6c5f8 mem/extract_rdff: Fix wire naming and wide port support. Marcelina Kościelnicka 2021-05-25 15:48:52 +02:00
  • 96c7d60304 memory_bram: Respect write port priority. Marcelina Kościelnicka 2021-05-25 15:34:12 +02:00
  • 5628f5a88f opt_mem_feedback: Respect write port priority. Marcelina Kościelnicka 2021-05-25 15:17:29 +02:00
  • 4858721637 kernel/mem: Add emulate_priority helper. Marcelina Kościelnicka 2021-05-25 02:56:35 +02:00
  • e0736c1622 Add memory_narrow pass. Marcelina Kościelnicka 2021-05-25 02:12:55 +02:00
  • 47f958ce45 memory_share: Add wide port support. Marcelina Kościelnicka 2021-05-25 01:55:44 +02:00
  • 9d5d5a48b1 opt_mem_feedback: Add wide port support. Marcelina Kościelnicka 2021-05-25 01:52:52 +02:00
  • c1a4730739 memory_map: Add wide port support. Marcelina Kościelnicka 2021-05-24 16:35:25 +02:00
  • 1c903d3e47 sim: Add wide port support. Marcelina Kościelnicka 2021-05-25 01:12:19 +02:00
  • 69bf5c81c7 Reject wide ports in some passes that will never support them. Marcelina Kościelnicka 2021-05-22 18:18:50 +02:00
  • 35ee774ea8 kernel/mem: Add a Mem::narrow helper to split up wide ports. Marcelina Kościelnicka 2021-05-25 00:58:17 +02:00
  • 8c1999aac1 kernel/mem: Emit support for wide ports in packed mode. Marcelina Kościelnicka 2021-05-25 00:49:52 +02:00
  • ff9713dd86 kernel/mem: Add model for wide ports. Marcelina Kościelnicka 2021-05-22 16:48:46 +02:00
  • 95a39d3425 kernel/mem: Add priority_mask to model. Marcelina Kościelnicka 2021-05-22 17:00:20 +02:00
  • 835688bf80 opt_mem_feedback: Rewrite feedback path finding logic. Marcelina Kościelnicka 2021-05-24 21:21:51 +02:00
  • b706adb809 opt_mem_feedback: Convert to Mem helpers. Marcelina Kościelnicka 2021-05-23 17:20:55 +02:00
  • dbfd0b61e3 hashlib: Add a hash for bool. Marcelina Kościelnicka 2021-05-24 21:27:29 +02:00
  • 5488c69d2a Add a .mailmap file. Marcelina Kościelnicka 2021-05-24 17:37:29 +02:00
  • c9dc7d5928 Merge pull request #2779 from YosysHQ/mwk/nuke-travis Miodrag Milanović 2021-05-24 17:24:01 +02:00
  • c3e65a4ce0 Remove Travis CI. Marcelina Kościelnicka 2021-05-24 17:18:03 +02:00
  • b6721aa9d8 backend/firrtl: Convert to use Mem helpers. Marcelina Kościelnicka 2021-05-24 00:41:31 +02:00
  • ef4ddfacf3 github actions: Test on several gcc and clang versions on Linux. Marcelina Kościelnicka 2021-05-23 21:20:04 +02:00
  • df2b79ca76 memory_share: Use Mem helpers. Marcelina Kościelnicka 2021-05-23 17:20:51 +02:00
  • afd5366fc2 extract_rdff: Add initvals parameter. Marcelina Kościelnicka 2021-05-23 18:29:44 +02:00