aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Expand)AuthorAgeFilesLines
...
| | * glift: Add `-instrument-more` option to add 4 more versions of taint tracking...Alberto Gonzalez2020-07-011-44/+124
| | * glift: Change command names to better represent their functions.Alberto Gonzalez2020-07-011-22/+22
| | * glift: Add `-create-imprecise` command, rename other commands, and re-work th...Alberto Gonzalez2020-07-011-28/+54
| | * glift: Add replacement scoring and area minimization option.Alberto Gonzalez2020-07-011-3/+56
| | * glift: Remove outputs by default; add `-keep-outputs` option; properly reset ...Alberto Gonzalez2020-07-011-12/+43
| | * glift: Initial implementation of the `-sketchify` option.Alberto Gonzalez2020-07-011-50/+71
| | * glift: Initial implementation of GLIFT model construction.Alberto Gonzalez2020-07-011-2/+173
| | * glift: Add skeleton for `glift` command.Alberto Gonzalez2020-07-012-0/+51
| * | Merge pull request #3185 from YosysHQ/micko/co_simMiodrag Milanović2022-02-071-21/+430
| |\ \
| | * | Error detection for co-simulationMiodrag Milanovic2022-02-041-0/+3
| | * | bug fix and cleanupsMiodrag Milanovic2022-02-041-5/+5
| | * | respect hide_internal flagMiodrag Milanovic2022-02-021-1/+1
| | * | unify cycles counting and cleanupMiodrag Milanovic2022-02-021-36/+35
| | * | added stimulus mode and param checkMiodrag Milanovic2022-02-021-5/+31
| | * | error when no signal foundMiodrag Milanovic2022-01-311-0/+2
| | * | CleanupMiodrag Milanovic2022-01-311-1/+1
| | * | Compare bits when not all are definedMiodrag Milanovic2022-01-311-3/+17
| | * | CleanupMiodrag Milanovic2022-01-311-2/+2
| | * | message updateMiodrag Milanovic2022-01-311-1/+1
| | * | Display simulation time dataMiodrag Milanovic2022-01-311-1/+4
| | * | Use edges when explicitMiodrag Milanovic2022-01-311-1/+5
| | * | Updating initial state and checksMiodrag Milanovic2022-01-311-15/+28
| | * | Fix scopeMiodrag Milanovic2022-01-311-1/+1
| | * | check if stop before startMiodrag Milanovic2022-01-281-0/+3
| | * | set initial state, only flip-flopsMiodrag Milanovic2022-01-281-1/+28
| | * | ignore not found private signalsMiodrag Milanovic2022-01-281-0/+3
| | * | recursive checkMiodrag Milanovic2022-01-281-26/+34
| | * | Do actual compareMiodrag Milanovic2022-01-281-5/+16
| | * | Add more options and time handlingMiodrag Milanovic2022-01-281-2/+103
| | * | Display values of outputsMiodrag Milanovic2022-01-261-12/+10
| | * | Check if stimulatedMiodrag Milanovic2022-01-261-0/+14
| | * | Read fst and use data to set inputsMiodrag Milanovic2022-01-261-10/+92
| | * | Add ability to write to FST fileMiodrag Milanovic2022-01-261-11/+109
| * | | Correct a typo in the manualYRabbit2022-02-021-1/+1
| * | | Update commentScott Thibault2022-02-021-1/+1
| * | | Fix unextend method for signed constantsScott Thibault2022-02-021-2/+1
| * | | opt_reduce: Add $bmux and $demux optimization patterns.Marcelina Kościelnicka2022-01-301-60/+337
| * | | Add $bmux and $demux cells.Marcelina Kościelnicka2022-01-288-3/+239
| * | | opt_dff: Don't mutate muxes while ModWalker is active.Marcelina Kościelnicka2022-01-281-98/+112
| * | | memory_bram: Make use of new mem emulation functions to map more RAMs.Marcelina Kościelnicka2022-01-271-18/+10
| |/ /
| * | opt_dff: fix sequence point copy paste bugAustin Seipp2022-01-041-1/+1
| * | memory_share: Fix SAT-based sharing for wide ports.Marcelina Kościelnicka2021-12-201-1/+3
| * | bugpoint: avoid infinite loop between -connections and -wires.Catherine2021-12-151-1/+1
| * | Add clean_zerowidth pass, use it for Verilog output.Marcelina Kościelnicka2021-12-122-1/+212
| * | opt_mem_priority: Fix non-ascii char in help message.Marcelina Kościelnicka2021-12-091-1/+1
| * | sta: very crude static timing analysis passLofty2021-11-253-30/+341
| * | show: Fix wire bit indexing.Marcelina Kościelnicka2021-11-121-3/+16
| * | Merge pull request #3077 from YosysHQ/claire/genlibClaire Xen2021-11-101-21/+40
| |\ \
| | * | Spelling fix in abc.ccClaire Xen2021-11-101-1/+1
| | * | Add genlib support to ABC commandClaire Xenia Wolf2021-11-101-21/+40
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-11 20:38:59 +0000