aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #3537 from jix/xpropJannis Harder2023-01-1129-79/+2537
|\
| * miter: Add -make_cover option to cover each output pair differenceJannis Harder2022-11-301-0/+14
| * formalff: Fix -ff2anyinit assertion error for fine FFsJannis Harder2022-11-301-0/+2
| * New xprop pass to encode 3-valued x-propagation using 2-valued logicJannis Harder2022-11-307-0/+2001
| * sim: Improved global clock handlingJannis Harder2022-11-301-13/+14
| * opt_expr: Optimizations for `$bweqx` and `$bwmux`Jannis Harder2022-11-301-0/+63
| * Add bwmuxmap passJannis Harder2022-11-307-0/+76
| * Add bitwise `$bweqx` and `$bwmux` cellsJannis Harder2022-11-309-11/+179
| * verilog_backend: Do not run bmuxmap or demuxmap in -noexpr mode.Jannis Harder2022-11-301-2/+4
| * verilog_backend: Correctly sign extend output of signed `$modfloor`Jannis Harder2022-11-301-2/+2
| * verilog_backend: Add -noparallelcase optionJannis Harder2022-11-301-7/+31
| * simlib: Use optional SIMLIB_GLOBAL_CLOCK to define a global clock signalJannis Harder2022-11-301-2/+8
| * simlib: Silence iverilog warning for `$lut`Jannis Harder2022-11-301-1/+1
| * simlib: Fix wide $bmux and avoid iverilog warningsJannis Harder2022-11-301-2/+2
| * satgen, simlib: Consistent x-propagation for `$pmux` cellsJannis Harder2022-11-302-18/+20
| * opt_expr: Fix shift/shiftx optimizationsJannis Harder2022-11-301-3/+3
| * opt_expr: Constant fold mux, pmux, bmux, demux, eqx, nex cellsJannis Harder2022-11-291-0/+33
| * opt_expr: Optimize bitwise logic ops with one fully const inputJannis Harder2022-11-291-0/+81
| * simplemap: Map `$xnor` to `$_XNOR_` cellsJannis Harder2022-11-293-20/+5
* | remove template declaration that stops function from being usedN. Engelhardt2023-01-111-4/+0
* | Merge pull request #3620 from YosysHQ/gcc48_removeN. Engelhardt2023-01-1111-127/+60
|\ \
| * | Add deprecation info to changelogMiodrag Milanovic2023-01-111-0/+2
| * | Deprecate gcc-4.8Miodrag Milanovic2023-01-1110-127/+58
|/ /
* | Bump versiongithub-actions[bot]2023-01-111-1/+1
* | Merge pull request #3616 from YosysHQ/register_errorMiodrag Milanović2023-01-101-5/+12
|\ \
| * | Display error instead of assertion when pass existsMiodrag Milanovic2023-01-091-5/+12
* | | Merge pull request #3615 from YosysHQ/qbfsat_cvc5Miodrag Milanović2023-01-102-3/+7
|\ \ \ | |/ / |/| |
| * | qbfsat support for cvc5, fixes #3608Miodrag Milanovic2023-01-092-3/+7
|/ /
* | Bump versiongithub-actions[bot]2023-01-051-1/+1
* | nexus: Fix BRAM write enable in PDP modegatecat2023-01-041-2/+2
* | Bump versiongithub-actions[bot]2023-01-041-1/+1
* | Next dev cycleMiodrag Milanovic2023-01-032-2/+5
* | Release version 0.25Miodrag Milanovic2023-01-032-3/+8
* | Bump versiongithub-actions[bot]2023-01-031-1/+1
* | Merge pull request #3606 from YosysHQ/fix_vsMiodrag Milanović2023-01-022-12/+0
|\ \
| * | Remove cacheMiodrag Milanovic2023-01-022-12/+0
|/ /
* | add note to help about how to chain commandsN. Engelhardt2023-01-021-1/+1
* | Merge pull request #3577 from KrystalDelusion/deprecate_manualMiodrag Milanović2023-01-0286-20284/+10
|\ \
| * | Fixing other references to the manualKrystalDelusion2022-12-192-10/+6
| * | Removed manual from make cleanKrystalDelusion2022-12-191-1/+0
| * | Remove make targets for manualKrystalDelusion2022-12-191-9/+1
| * | Remove help outputs for texKrystalDelusion2022-12-081-92/+0
| * | And appnotesKrystalDelusion2022-12-0833-2721/+0
| * | Removing manual filesKrystalDelusion2022-12-0848-17415/+0
| * | Removing old manual from README.mdKrystalDelusion2022-12-081-36/+3
* | | Merge pull request #3467 from jix/fix_cellarray_simplifyJannis Harder2022-12-192-0/+47
|\ \ \
| * | | simplify: regression test for AST_CELLARRAY simplification issueJannis Harder2022-12-071-0/+45
| * | | simplify: Do not recursively simplify AST_CELL within AST_CELLARRAYJannis Harder2022-12-071-0/+2
| |/ /
* | | Bump versiongithub-actions[bot]2022-12-161-1/+1
* | | Merge pull request #3588 from YosysHQ/noblackboxMiodrag Milanović2022-12-151-0/+6
|\ \ \
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-06 00:14:35 +0000