aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #2019 from boqwxp/gliftClaire Xen2022-02-1121-1/+7849
|\
| * glift: Use ID() rather than string literals.Alberto Gonzalez2020-07-011-11/+11
| * glift: Use worker pattern.Alberto Gonzalez2020-07-011-80/+75
| * glift: Add support for $_NAND_ and $_NOR_ cells.Alberto Gonzalez2020-07-011-8/+11
| * glift: Add support for $_MUX_ and $_NMUX_ cells.Alberto Gonzalez2020-07-011-1/+34
| * glift: Add support for $_XOR_ and $_XNOR_ cells.Alberto Gonzalez2020-07-011-15/+79
| * glift: Add initial hierarchy support.Alberto Gonzalez2020-07-011-12/+59
| * glift: Replace `YS_OVERRIDE` with `override`.Alberto Gonzalez2020-07-011-2/+2
| * glift: Add CODEOWNERS entry.Alberto Gonzalez2020-07-011-0/+1
| * glift: Add `-simple-cost-model` optionAlberto Gonzalez2020-07-011-20/+45
| * glift: Use `qbfsat -O2` instead of manually calling `abc`.Alberto Gonzalez2020-07-018-40/+8
| * 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-0110-49/+49
| * glift: Add `-create-imprecise` command, rename other commands, and re-work th...Alberto Gonzalez2020-07-0110-40/+67
| * glift: Add examples, including a number of benchmarks used in some academic w...Alberto Gonzalez2020-07-0118-1/+7279
| * 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
* | Bump versiongithub-actions[bot]2022-02-101-1/+1
* | Merge pull request #3193 from YosysHQ/micko/verific_fMiodrag Milanović2022-02-091-2/+44
|\ \
| * | Add ability to override verilog mode for verific -f commandMiodrag Milanovic2022-02-091-2/+44
* | | gowin: Fix LUT RAM inference, add more models.Marcelina Kościelnicka2022-02-093-44/+243
* | | ecp5: Fix DPR16X4 sim model.Marcelina Kościelnicka2022-02-091-1/+1
|/ /
* | Bump versiongithub-actions[bot]2022-02-081-1/+1
* | Next dev cycleMiodrag Milanovic2022-02-072-2/+5
* | Release version 0.14Miodrag Milanovic2022-02-072-3/+3
* | Update CHANGELOG and manualMiodrag Milanovic2022-02-072-3/+73
* | Merge pull request #3185 from YosysHQ/micko/co_simMiodrag Milanović2022-02-0720-23/+11555
|\ \
| * | Error detection for co-simulationMiodrag Milanovic2022-02-042-0/+5
| * | bug fix and cleanupsMiodrag Milanovic2022-02-043-8/+8
| * | Add test cases for co-simulationMiodrag Milanovic2022-02-027-0/+953
| * | Fix Visual Studio buildMiodrag Milanovic2022-02-026-59/+34
| * | 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-312-3/+2
| * | message updateMiodrag Milanovic2022-01-311-1/+1
| * | Display simulation time dataMiodrag Milanovic2022-01-313-2/+27
| * | 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-282-2/+4
| * | preserve VCD mangled namesMiodrag Milanovic2022-01-281-1/+3
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-09 06:04:58 +0000