1
0
mirror of synced 2026-05-23 21:51:52 +00:00

Commit Graph

  • 0db76c6ec4 tests/sva: Skip sva tests that use SBY until SBY is compatible again Jannis Harder 2024-03-05 14:37:33 +01:00
  • 1e42b4f0f9 Bump version github-actions[bot] 2024-03-05 00:15:21 +00:00
  • 36c244aeda Merge remote-tracking branch 'upstream' Zapta 2024-03-04 14:55:14 -08:00
  • 3635f911dc Docs: Updates from @povik comments Krystine Sherwin 2024-03-05 05:57:27 +13:00
  • 1455941ab9 Merge branch 'master' into krys/docs Krystine Sherwin 2024-03-05 05:48:46 +13:00
  • 3596025283 docs: Remove TODOs from output Krystine Sherwin 2024-03-05 05:44:40 +13:00
  • ff6c29ab1e Update abc revision Jannis Harder 2024-03-04 16:52:11 +01:00
  • 97db1cb745 smtbmc: Cache hierarchy for loading multiple yw files Jannis Harder 2024-02-21 16:33:14 +01:00
  • d03c5e2a00 smtbmc: Break dependency recursion during unrolling Jannis Harder 2024-02-21 16:35:17 +01:00
  • d8cdc213a6 rename -witness: Bug fix and rename formal cells Jannis Harder 2024-02-27 19:56:47 +01:00
  • 6469d90293 write_aiger: Include $assert and $assume cells in -ywmap output Jannis Harder 2024-02-07 18:39:32 +01:00
  • 16f6386613 Merge pull request #4224 from povik/equiv_simple-fix Jannis Harder 2024-03-04 15:53:34 +01:00
  • 8d004661dc Merge pull request #4254 from thorpej/dev/pkgsrc-patch-NetBSD-1 Martin Povišer 2024-03-04 11:22:34 +01:00
  • 7a83a27fff Merge pull request #4255 from YosysHQ/emcc_fix Martin Povišer 2024-03-04 11:21:18 +01:00
  • 9b47f3204e Makefile: Fix emcc build Krystine Sherwin 2024-03-04 12:28:41 +13:00
  • a02d4e7853 Tweak the FreeBSD version of proc_self_dirname() to work on NetBSD use it. Jason Thorpe 2024-03-03 07:54:39 -08:00
  • 672c89498a Added to the Show command a -wireshape <graphviz-shape> flag. This allows to control the shape of wire nodes, for example, -wireshape plaintext. The motivation is to allow the user to reduce visual loads of wires. This does not change the default behavior of using a diamond shape. Zapta 2024-03-02 11:20:53 -08:00
  • d2a7ce04ea synth: Rename -inject to -extra-map Martin Povišer 2024-03-01 10:54:51 +01:00
  • 91fbd58980 Bump version github-actions[bot] 2024-02-27 00:15:58 +00:00
  • da2e9386f0 cxxrtl: install cxxrtl_time.h and cxxrtl_replay.h. Catherine 2024-02-26 16:06:25 +00:00
  • 1fb71656b4 Merge pull request #4229 from povik/cut-notice Martin Povišer 2024-02-26 16:26:31 +01:00
  • dd11a5a37c Shrink further Martin Povišer 2024-02-26 16:25:46 +01:00
  • 6dc5da3ed9 Merge pull request #4232 from povik/mem-ui-fixes N. Engelhardt 2024-02-26 16:09:27 +01:00
  • 639a8d83e4 Merge pull request #4234 from RCoeurjoly/master Catherine 2024-02-26 12:47:20 +00:00
  • 1a44645aef cxxrtl: expose scope information in the C++ API. Catherine 2024-02-13 17:43:53 +00:00
  • d903f47d41 write_cxxrtl: don't assert on -noflatten with -g4. Catherine 2024-02-13 18:35:15 +00:00
  • 569a6d7fea cxxrtl: make blackbox commit() possible to override. Catherine 2024-02-26 09:52:12 +00:00
  • 5fa609b6bf Fix help of yosys-config.in and provide backward compatibility Roland Coeurjoly 2024-02-25 18:48:21 +01:00
  • cf7b6c66f0 Changes in misc/yosys-config.in. LDLIBS -> LIBS. LDFLAGS -> LINKFLAGS. Roland Coeurjoly 2024-02-25 18:35:43 +01:00
  • 4a2fb18718 Changes in libs, passes and tests Makefiles. LDLIBS -> LIBS. LDFLAGS -> LINKFLAGS. CXX is clang++ or g++, not clang and gcc Roland Coeurjoly 2024-02-25 17:23:56 +01:00
  • dea4aeae56 LDLIBS -> LIBS. LDFLAGS -> LINKFLAGS Roland Coeurjoly 2024-02-25 17:02:35 +01:00
  • 033fa10307 We use CXX instead of LD for linking yosys-filterlib Roland Coeurjoly 2024-02-25 16:49:28 +01:00
  • a69a89f2e5 LD is removed, we use CXX instead Roland Coeurjoly 2024-02-25 16:43:55 +01:00
  • fe34abab3a ´Use g++ and clang++ instead of gcc and clang as C++ compilers Roland Coeurjoly 2024-02-23 14:03:12 +01:00
  • 030d639201 opt_mem, memory_*: Refuse to operate in presence of processes Martin Povišer 2024-02-23 12:26:47 +01:00
  • 975517b022 memory_memx: Fix log header Martin Povišer 2024-02-23 12:20:05 +01:00
  • b5b737de38 Shrink a bit more Martin Povišer 2024-02-22 22:20:35 +01:00
  • f7737a12ca Cut down startup banner Martin Povišer 2024-02-22 22:14:32 +01:00
  • 173f4b5fbd Bump Claire's notices Martin Povišer 2024-02-22 22:03:44 +01:00
  • 53ca7b48f8 techmap: Fix help message wording Martin Povišer 2024-02-22 22:00:56 +01:00
  • ba07cba6ce synth: Introduce -inject for amending techmap Martin Povišer 2024-02-22 17:23:28 +01:00
  • d77b792156 synth: Put in missing bounds check for -lut Martin Povišer 2024-02-22 17:22:56 +01:00
  • 84116c9a38 Bump version github-actions[bot] 2024-02-22 00:15:36 +00:00
  • 38f1b0b12d Revert "Add shlwapi lib for mingw builds" Miodrag Milanovic 2024-02-21 20:23:49 +01:00
  • 6e06723ddb Merge pull request #4223 from rovinski/master Miodrag Milanović 2024-02-21 20:23:26 +01:00
  • 4c96546717 equiv_simple: Take FFs into account for driver map Martin Povišer 2024-02-21 12:03:37 +01:00
  • d5934357f3 Bump version github-actions[bot] 2024-02-21 00:15:24 +00:00
  • 03cadf6474 dfflibmap: use patmatch() from kernel/yosys.cc Austin Rovinski 2024-02-20 11:04:55 -05:00
  • c734b2bfe5 Merge pull request #3519 from ekliptik/master Claire Xen 2024-02-20 13:40:30 +01:00
  • 20dbc860e7 Add shlwapi lib for mingw builds Miodrag Milanovic 2024-02-20 12:44:55 +01:00
  • bc8a3a5b18 Merge pull request #4219 from rovinski/master Miodrag Milanović 2024-02-20 12:43:44 +01:00
  • 01d6c12af4 Bump version github-actions[bot] 2024-02-20 00:15:14 +00:00
  • a3c81f4d62 Merge pull request #4216 from YosysHQ/show_href Miodrag Milanović 2024-02-19 20:50:53 +01:00
  • 5059bb1d4f dfflibmap: force PathMatchSpecA on WIN32 Austin Rovinski 2024-02-19 14:40:46 -05:00
  • 689feed012 dfflibmap: Add a -dont_use flag to ignore cells Austin Rovinski 2024-02-19 13:00:18 -05:00
  • 63d256dc83 Merge pull request #4221 from povik/const-hash-fix N. Engelhardt 2024-02-19 16:40:46 +01:00
  • 78b0697d33 Merge pull request #4210 from whitequark/fix-read_verilog-hdlname Martin Povišer 2024-02-19 16:23:06 +01:00
  • db947e4c71 Merge pull request #4218 from kivikakk/proc_rom-actionless-switch Martin Povišer 2024-02-19 16:21:40 +01:00
  • 83a3058bb8 Merge pull request #4202 from passingglance/master N. Engelhardt 2024-02-19 16:20:53 +01:00
  • edd154e3cd Merge pull request #4215 from povik/xprop-race N. Engelhardt 2024-02-19 16:16:16 +01:00
  • f5013d035e rtlil: Fix Const hashing omission Martin Povišer 2024-02-06 10:22:19 +01:00
  • 4b99db0b73 Merge pull request #4177 from povik/connect-extra_args N. Engelhardt 2024-02-19 15:18:37 +01:00
  • aebb7a0c4d Merge pull request #4188 from povik/dlatch-bwmux N. Engelhardt 2024-02-19 15:15:03 +01:00
  • 67e7f383d5 Merge branch 'YosysHQ:master' into master passingglance 2024-02-17 11:48:35 -08:00
  • bf4a46ccb3 proc_rom: don't assert on big actionless switch. Amelia Cuss 2024-02-18 01:30:28 +11:00
  • f8d4d7128c Bump version github-actions[bot] 2024-02-17 00:15:42 +00:00
  • 61b3b9b58a Merge pull request #4197 from QuantamHD/sequential_area N. Engelhardt 2024-02-16 19:15:44 +01:00
  • b8a1009de9 Update passes/cmds/stat.cc Ethan Mahintorabi 2024-02-16 07:44:09 -08:00
  • 811b7b54d4 Merge pull request #4204 from YosysHQ/micko/gen_test Jannis Harder 2024-02-16 14:28:56 +01:00
  • fdda501b58 ci: Stop pinning iverilog revision Martin Povišer 2024-02-16 11:42:56 +01:00
  • e51c77484a tests: Comment on A[0] Martin Povišer 2024-02-16 11:41:53 +01:00
  • 5a05344d9c tests: Fix initialization race in xprop tests Martin Povišer 2024-02-16 11:41:09 +01:00
  • f0df0e3912 update type and variable names Ethan Mahintorabi 2024-02-16 00:01:44 +00:00
  • 2d8343d423 update type and variable names Ethan Mahintorabi 2024-02-15 23:59:19 +00:00
  • 074b50e9c0 Bump version github-actions[bot] 2024-02-15 00:15:29 +00:00
  • f04bb1065e Merge pull request #4212 from jix/make-test-noverific Miodrag Milanović 2024-02-14 16:48:41 +01:00
  • 18a5989084 Merge pull request #4211 from jix/fix-check-clk2fflogic Martin Povišer 2024-02-14 13:05:39 +01:00
  • 149c1a7fc6 tests: Support running make test with YOSYS_NOVERIFIC=1 Jannis Harder 2024-02-14 12:07:47 +01:00
  • bbdfcfdf30 clk2fflogic: Fix handling of $check cells Jannis Harder 2024-02-14 11:42:27 +01:00
  • 834276a2f7 show: Add option to add cell/wire "src" attribute into graphviz attribute href Miodrag Milanovic 2024-02-14 09:50:53 +01:00
  • 91685355a0 Bump version github-actions[bot] 2024-02-14 00:15:26 +00:00
  • b16f4900fd ast/simplify: Interpret hdlname w/o expecting backslash Martin Povišer 2024-02-13 21:38:41 +01:00
  • d8ce26a5ba read_verilog: correctly format hdlname attribute value. Catherine 2024-02-13 18:20:26 +00:00
  • 42920c9bc0 cxxrtl: rationalize debug_items accessors. Catherine 2024-02-13 12:47:58 +00:00
  • c3c44225de cxxrtl: document some module invariants. NFC Catherine 2024-02-13 12:38:03 +00:00
  • ae1a67ba47 cxxrtl: fix debug information for zero-width items. Catherine 2024-02-13 12:15:59 +00:00
  • 606bbef30c Bump version github-actions[bot] 2024-02-13 00:16:18 +00:00
  • 3473b6dd27 Merge pull request #4206 from povik/cli-crashes Jannis Harder 2024-02-12 16:39:38 +01:00
  • 54a97f8bb7 driver: Fix crashes on missing cli arguments Martin Povišer 2024-02-12 14:56:10 +01:00
  • 353ccc9e58 do not override existing shell variable Miodrag Milanovic 2024-02-12 12:58:13 +01:00
  • ae7daf99f4 Verific: Add attributes to module instantiation Miodrag Milanovic 2024-02-12 09:53:47 +01:00
  • edb95c69a9 Merge pull request #4084 from jix/scopeinfo Miodrag Milanović 2024-02-12 09:51:22 +01:00
  • 10297127be fix test for verific Miodrag Milanovic 2024-02-12 09:19:58 +01:00
  • 5226d07721 Update CHAPTER_CellLib.rst passingglance 2024-02-11 23:59:07 -08:00
  • cd8e6cbc64 Bump version github-actions[bot] 2024-02-12 00:16:18 +00:00
  • f09ea16bd1 Resolve struct member multiple dimensions defined in stages with typedef Dag Lem 2024-01-05 19:29:06 +01:00
  • fab326d3e8 Add multidimensional arrays to SystemVerilog features in README Dag Lem 2024-01-04 20:18:08 +01:00
  • a4ae773150 Added test for multidimensional packed arrays Dag Lem 2024-01-01 22:24:41 +01:00
  • 03f35c3def Resolve multiple dimensions defined in stages with typedef Dag Lem 2024-01-01 01:18:00 +01:00
  • e0d3977e19 Add support for $dimensions and $unpacked_dimensions Dag Lem 2023-12-28 00:23:59 +01:00