aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* opt_ffinv: Harden against simple ff/inv loop.Marcelina Kościelnicka2022-06-071-0/+4
* iopadmap: Fix z assignment removal.Marcelina Kościelnicka2022-06-071-7/+21
* Bump versiongithub-actions[bot]2022-06-051-1/+1
* verific: proper file location for readmem commandsMiodrag Milanovic2022-06-041-0/+33
* Bump versiongithub-actions[bot]2022-06-041-1/+1
* Fix preventing show crashing with newer graphvizMiodrag Milanovic2022-06-031-1/+6
* Bump versiongithub-actions[bot]2022-06-031-1/+1
* Add -no-rw-check option to memory_dff + memory + synth_{ice40,ecp5,gowin}.Marcelina Kościelnicka2022-06-026-14/+87
* memory_dff: Add support for no_rw_check attribute.Marcelina Kościelnicka2022-06-023-0/+14
* Merge pull request #3348 from zachjs/func-tern-hintJannis Harder2022-05-314-5/+55
|\
| * verilog: fix width/sign detection for functionsZachary Snow2022-05-304-5/+55
* | Bump versiongithub-actions[bot]2022-05-311-1/+1
|/
* Merge pull request #3347 from DanielHuisman/fix-3053Miodrag Milanović2022-05-301-1/+1
|\
| * Fix typo in emcc flags (typo introduced by #3053)Daniel Huisman2022-05-301-1/+1
|/
* verilog: fix size and signedness of array querying functionsJannis Harder2022-05-304-3/+56
* Bump versiongithub-actions[bot]2022-05-281-1/+1
* gatemate: Fix minor issues with `memory_libmap` (#3343)Patrick Urban2022-05-272-28/+39
* Merge pull request #3333 from mohamed/feature/tmpdirMiodrag Milanović2022-05-276-30/+47
|\
| * Cleanup, and fix windowsMiodrag Milanovic2022-05-271-37/+24
| * Observe $TMPDIR variable when creating tmp filesMohamed A. Bamakhrama2022-05-276-7/+37
* | Merge pull request #3341 from mmicko/unused_varsMiodrag Milanović2022-05-271-4/+0
|\ \ | |/ |/|
| * Remove set but unused variableMiodrag Milanovic2022-05-271-4/+0
* | Upload emscripten artifactMiodrag Milanovic2022-05-271-1/+5
|/
* Add emcc build (stuck if all cpus used on GH)Miodrag Milanovic2022-05-271-0/+20
* Proper std::moveMiodrag Milanovic2022-05-271-8/+8
* Use proper operatorMiodrag Milanovic2022-05-271-4/+4
* Merge pull request #3053 from DanielHuisman/pr-2Miodrag Milanović2022-05-271-8/+9
|\
| * Fix emcc warnings for WebAssembly buildDaniel Huisman2021-10-201-8/+9
* | Bump versiongithub-actions[bot]2022-05-261-1/+1
* | verilog: fix $past's signednessJannis Harder2022-05-254-1/+40
* | Merge pull request #3011 from DanielHuisman/pr-1Miodrag Milanović2022-05-251-2/+2
|\ \
| * | Update WaveDrom script URLsDaniel Huisman2021-09-181-2/+2
| |/
* | Merge pull request #3335 from programmerjake/divfloor-in-write_smt2Jannis Harder2022-05-251-0/+21
|\ \
| * | add $divfloor support to write_smt2Jacob Lifshay2022-05-241-0/+21
* | | Merge pull request #3138 from DanielG/fix-git-revMiodrag Milanović2022-05-253-0/+13
|\ \ \
| * | | Make GIT_REV logic work in release tarballsDaniel Gröber2022-05-253-0/+13
|/ / /
* / / verilog: fix signedness when removing unreachable casesJannis Harder2022-05-243-0/+39
|/ /
* | Bump versiongithub-actions[bot]2022-05-241-1/+1
* | Merge pull request #3332 from YosysHQ/verific_fMiodrag Milanović2022-05-231-20/+25
|\ \
| * | fix text to fit 80 columnsMiodrag Milanovic2022-05-231-6/+9
| * | Update verific command file documentationMiodrag Milanovic2022-05-231-17/+19
|/ /
* | Use analysis mode if set in fileMiodrag Milanovic2022-05-231-2/+2
* | Merge pull request #3331 from YosysHQ/git_rev_fixMiodrag Milanović2022-05-231-1/+1
|\ \
| * | Change way to get commit shaJannis Harder2022-05-231-1/+1
|/ /
* | abc9_ops: Don't leave unused derived modules lying aroundgatecat2022-05-231-0/+9
* | Bump versiongithub-actions[bot]2022-05-211-1/+1
* | Merge pull request #3324 from jix/confusing-select-errorsJannis Harder2022-05-201-8/+10
|\ \
| * | select: Fix -assert-none and -assert-any error output and docsJannis Harder2022-05-191-8/+10
|/ /
* | Bump versiongithub-actions[bot]2022-05-191-1/+1
* | Add memory_bmux2rom pass.Marcelina Kościelnicka2022-05-184-1/+124