1
0
mirror of synced 2026-05-26 14:55:15 +00:00

Commit Graph

  • 5a016713cc pass jny: fixed missing quotes around the type value for the cell sort Aki Van Ness 2022-03-10 11:04:44 -05:00
  • 2e792857e9 pass jny: fixed the backslash escape for strings Aki Van Ness 2022-03-10 11:03:51 -05:00
  • cae5ea8337 pass jny: removed the invalid json escapes Aki Van Ness 2022-02-24 11:19:35 -05:00
  • dccc89e8b3 pass jny: added some todo comments about things that need to be done before a proper merge, but it should be enough for the PoC at the moment Aki Van Ness 2022-02-24 10:39:30 -05:00
  • 1be9bef28b pass jny: changed the constructor initializers to use parens rather than curly-braces to hopefully make GCC 4.8 happy Aki Van Ness 2022-02-24 09:54:03 -05:00
  • 43b2fc5566 pass jny: fixed the string escape method to be less jank and more proper Aki Van Ness 2022-02-17 11:35:45 -05:00
  • 52ea944012 pass jny: fixed the signed output for param value output Aki Van Ness 2022-02-17 08:15:48 -05:00
  • 58e2870261 pass jny: added connection output Aki Van Ness 2022-02-17 08:11:58 -05:00
  • 167206f2f5 pass jny: added filter options for including connections, attributes, and properties Aki Van Ness 2022-02-10 11:34:43 -05:00
  • 587f31b9a3 pass jny: large chunk of refactoring to make the JSON output more pretty and the internals less of a spaghetti nightmare Aki Van Ness 2022-02-03 05:04:45 -05:00
  • 0e20619189 metadata -> jny: migrated to the proper name for the pass Aki Van Ness 2022-01-14 09:41:52 -05:00
  • bdf14557ca pass metadata: added the machinery to write param and attributes Aki Van Ness 2021-12-03 13:44:09 -05:00
  • 1876ed21e7 pass metadata: removed superfluous stringf calls Aki Van Ness 2021-12-03 13:43:11 -05:00
  • ca03fbdc6d pass metadata: some more rough work on dumping the parameters and attributes Aki Van Ness 2021-11-18 07:35:14 -05:00
  • 6a90b42c48 pass metadata: fixed the MetadataWriter object initializer so GCC 4.8 is happy Aki Van Ness 2021-11-18 07:34:14 -05:00
  • 7a275567df pass metadata: added the output of parameters, Aki Van Ness 2021-11-16 15:25:14 -05:00
  • d8b85e1247 pass metadata: fixed some of the output formatting Aki Van Ness 2021-11-16 15:24:28 -05:00
  • f6bb238051 pass metadata: initial commit of the metadata pass for exporting design metadata for yosys assisted tooling Aki Van Ness 2021-11-16 12:30:23 -05:00
  • ccc6060f52 Makefile: properly conditionalize features requiring compression. Iris Johnson 2022-04-07 20:07:44 -05:00
  • e0ba324236 Bump version github-actions[bot] 2022-04-08 00:15:41 +00:00
  • 8a1d531b25 Merge pull request #3269 from YosysHQ/micko/fix_autotop Catherine 2022-04-07 22:40:35 +00:00
  • 376d8cb26f abc: Add support for FFs with reset in -dff Marcelina Kościelnicka 2022-04-07 03:25:35 +02:00
  • 4da3f2878b Bump version github-actions[bot] 2022-04-06 00:14:30 +00:00
  • bf15dbd0f7 sv: fix always_comb auto nosync for nested and function blocks Zachary Snow 2022-02-22 16:57:08 +01:00
  • 977002b1d2 Reorder steps in -auto-top to fix synth command, fixes #3261 Miodrag Milanovic 2022-04-05 14:02:37 +02:00
  • 957fdb328a Next dev cycle Miodrag Milanovic 2022-04-05 11:50:49 +02:00
  • b63e0a0cae Release version 0.16 yosys-0.16 Miodrag Milanovic 2022-04-05 11:49:37 +02:00
  • 580800eb0d Bump version github-actions[bot] 2022-04-05 00:13:50 +00:00
  • 0aec79a0da show: Fix width labels. Marcelina Kościelnicka 2022-04-04 20:40:46 +02:00
  • 0d3bf9e725 Update CHANGELOG and manual Miodrag Milanovic 2022-04-04 16:53:47 +02:00
  • 75f4847689 Merge pull request #3265 from YosysHQ/micko/sim_improvements Miodrag Milanović 2022-04-04 09:56:56 +02:00
  • 6020ba67ac past_ad initial value setting Miodrag Milanovic 2022-04-02 10:59:15 +02:00
  • 2c96ecc5f7 setInitState can be only one altering values Miodrag Milanovic 2022-04-02 10:34:11 +02:00
  • b54aecd80a Set past_d value for init state Miodrag Milanovic 2022-04-02 10:33:41 +02:00
  • 8ca9737180 Merge pull request #3264 from jix/invalid_ff_dcinit_merge Jannis Harder 2022-04-02 12:41:28 +02:00
  • 5ac5c57c73 Bump version github-actions[bot] 2022-04-02 00:13:41 +00:00
  • ca5b910296 opt_merge: Add -keepdc option required for formal verification Jannis Harder 2022-04-01 21:03:20 +02:00
  • 2a76af9eb6 Merge pull request #3263 from YosysHQ/micko/clk2ff_init Miodrag Milanović 2022-04-01 19:37:02 +02:00
  • 86ce441af6 Set init values for wrapped async control signals Miodrag Milanovic 2022-04-01 17:44:00 +02:00
  • 2ec4af56e6 Merge pull request #3262 from YosysHQ/micko/verific_hiernet Miodrag Milanović 2022-04-01 12:58:09 +02:00
  • 1a1f529099 Preserve internal wires for external nets Miodrag Milanovic 2022-04-01 12:07:15 +02:00
  • 2b115d858d Bump version github-actions[bot] 2022-04-01 01:25:19 +00:00
  • ed83f0dea8 Merge pull request #3256 from YosysHQ/micko/aiw_multiclock Miodrag Milanović 2022-03-31 15:45:30 +02:00
  • c95b9b4ba5 Support memories in aiw and multiclock Miodrag Milanovic 2022-03-31 13:10:13 +02:00
  • fc2af4e32d Bump version github-actions[bot] 2022-03-31 01:15:49 +00:00
  • 18fb73fd89 Merge pull request #3259 from YosysHQ/micko/verific_valgrind Miodrag Milanović 2022-03-30 17:29:40 +02:00
  • bbf65702a1 Fix valgrind tests when using verific Miodrag Milanovic 2022-03-30 17:25:53 +02:00
  • 0921e5b9a4 Merge pull request #3260 from YosysHQ/micko/proper_scopename Miodrag Milanović 2022-03-30 16:51:27 +02:00
  • 2e47b61cc6 Proper scope naming from FST Miodrag Milanovic 2022-03-30 15:55:15 +02:00
  • 72e5498bdf Merge pull request #3250 from YosysHQ/micko/verific_consistent Miodrag Milanović 2022-03-30 11:03:14 +02:00
  • c662fcbc5c Bump version github-actions[bot] 2022-03-30 01:17:20 +00:00
  • d44f618de5 Merge pull request #3258 from jix/fix-no-assertions Miodrag Milanović 2022-03-29 21:20:07 +02:00
  • 8b15f3a548 smtbmc: fix bmc with no assertions Jannis Harder 2022-03-29 20:41:50 +02:00
  • 48d7a6c477 Bump version github-actions[bot] 2022-03-29 00:16:12 +00:00
  • 3bebe17e5d kernel/mem: Only use FF init in read-first emu for mem with init Marcelina Kościelnicka 2022-03-28 16:14:56 +02:00
  • 8cc8c5efde Merge pull request #3253 from jix/smtbmc-nodeepcopy Jannis Harder 2022-03-28 16:59:26 +02:00
  • 17e2a3048c Merge pull request #3247 from jix/smtbmc-keepgoing Jannis Harder 2022-03-28 16:58:41 +02:00
  • c1057cb3e0 Merge pull request #3194 from Ravenslofty/abc9-flow3mfs Lofty 2022-03-28 15:51:04 +01:00
  • 421192f1cb Merge pull request #3246 from YosysHQ/gatecat/timing-derive-fix Lofty 2022-03-28 15:50:53 +01:00
  • 30bc0d26ea gowin: Add oscillator primitives Tim Pambor 2022-03-27 17:18:13 +02:00
  • d25daa6203 smtbmc: Avoid unnecessary deep copies during unrolling Jannis Harder 2022-03-28 12:37:11 +02:00
  • 62b89bb0d4 Update URL to zlib Miodrag Milanović 2022-03-28 11:05:30 +02:00
  • 703769e494 Properly mark modules imported Miodrag Milanovic 2022-03-26 09:43:51 +01:00
  • 207417617d Bump version github-actions[bot] 2022-03-26 00:13:30 +00:00
  • 349c0ff0a7 Add some more reserve calls to RTLIL::Const NotAFile 2022-03-25 18:46:34 +01:00
  • a7e7a9f485 Merge pull request #3249 from YosysHQ/micko/no_startoffset Miodrag Milanović 2022-03-25 14:29:21 +01:00
  • 245ecb0529 Import verific netlist in consistent order Miodrag Milanovic 2022-03-25 13:44:16 +01:00
  • 4fd8b38d7a Add -no-startoffset option to write_aiger Miodrag Milanovic 2022-03-25 08:44:45 +01:00
  • afe258e6f8 Bump version github-actions[bot] 2022-03-25 00:13:36 +00:00
  • 89dcd7c31e Merge pull request #3243 from nakengelhardt/fix_aiw_comment Miodrag Milanović 2022-03-24 17:25:09 +01:00
  • 5e4d804e53 yosys-smtbmc: Option to keep going after failed assertions in BMC mode Jannis Harder 2022-03-21 18:26:27 +01:00
  • e43ebf8527 yosys-smtbmc: Fix typo in help text, remove trailing whitespace Jannis Harder 2022-03-21 18:27:05 +01:00
  • 8b64dc1dce abc9_ops: Also derive blackboxes with timing info gatecat 2022-03-24 14:34:34 +00:00
  • a7ee01065a ignore # comment lines N. Engelhardt 2022-03-24 10:19:17 +01:00
  • 6318db6152 Bump version github-actions[bot] 2022-03-23 00:14:55 +00:00
  • 15c7205908 Update abc with latest fix Miodrag Milanovic 2022-03-22 18:47:48 +01:00
  • 322ab1cd54 Proper SigBit forming in sim Miodrag Milanovic 2022-03-22 14:43:18 +01:00
  • ff3b0c2c46 Proper SigBit forming in sim Miodrag Milanovic 2022-03-22 14:22:32 +01:00
  • f45b290820 Bump version github-actions[bot] 2022-03-22 00:15:19 +00:00
  • be9595e18f xilinx: Add RAMB4* blackboxes Marcelina Kościelnicka 2022-03-21 11:38:21 +01:00
  • 3bf1070245 Bump version github-actions[bot] 2022-03-19 00:12:57 +00:00
  • 55eed8df57 More verbose warnings Miodrag Milanovic 2022-03-18 14:47:35 +01:00
  • 0c5279b73d Merge pull request #3236 from YosysHQ/micko/tb_initial Miodrag Milanović 2022-03-17 17:15:36 +01:00
  • e1d4863a19 Bump version github-actions[bot] 2022-03-17 00:13:12 +00:00
  • 1f3423cd7d Recognize registers and set initial state for them in tb Miodrag Milanovic 2022-03-16 14:35:39 +01:00
  • e217e3017a Update sim help message. Miodrag Milanovic 2022-03-16 07:55:57 +01:00
  • 66914b6eb3 Bump version github-actions[bot] 2022-03-15 01:09:43 +00:00
  • 19b7633aca gowin: add support for Double Data Rate primitives YRabbit 2022-03-15 07:41:30 +10:00
  • 25d6fdfea7 Merge pull request #3232 from YosysHQ/micko/fst2tb Miodrag Milanović 2022-03-14 20:01:55 +01:00
  • f5c20b8286 Added fst2tb pass for generating testbench Miodrag Milanovic 2022-03-14 19:06:29 +01:00
  • 5e2992dae2 Merge pull request #3213 from antonblanchard/abc-typo Claire Xen 2022-03-14 16:05:23 +01:00
  • 27c5bafc95 Proper example code Miodrag Milanovic 2022-03-14 15:39:11 +01:00
  • a502570c25 Bump version github-actions[bot] 2022-03-12 01:02:32 +00:00
  • cbece4af0c Merge pull request #3229 from YosysHQ/micko/sim_date Miodrag Milanović 2022-03-11 19:02:57 +01:00
  • 532343dcfa Merge pull request #3222 from zachjs/prune-linux-ci Miodrag Milanović 2022-03-11 19:02:37 +01:00
  • 04de9bb655 Merge pull request #3228 from YosysHQ/micko/disable_tests Miodrag Milanović 2022-03-11 19:02:19 +01:00
  • e21badd4b3 Add "sim -q" option Claire Xenia Wolf 2022-03-11 16:26:11 +01:00
  • 37de369ba7 Add date parameter to enable full date/time and version info Miodrag Milanovic 2022-03-11 16:01:59 +01:00
  • be32de1caa Small fix in "sim" help message Claire Xenia Wolf 2022-03-11 15:36:23 +01:00
  • 2f44683f4f Merge pull request #3226 from YosysHQ/micko/btor2witness Miodrag Milanović 2022-03-11 15:29:34 +01:00