aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #3367 from jix/smtlib2-module-fixesJannis Harder2022-06-073-11/+15
|\ | | | | smt2: emit smtlib2_comb_expr outputs after all inputs
| * smt2: emit smtlib2_comb_expr outputs after all inputsJannis Harder2022-06-073-11/+15
|/
* Merge pull request #3319 from programmerjake/smtlib2-expr-supportJannis Harder2022-06-076-6/+187
|\ | | | | add smtlib2_comb_expr
| * don't use sed -i because it won't work on macosJacob Lifshay2022-06-032-2/+3
| |
| * smtlib2_module: try to fix test on macosJacob Lifshay2022-06-021-1/+1
| |
| * smt2: Add smtlib2_comb_expr attribute to allow user-selected smtlib2 expressionsJacob Lifshay2022-06-026-6/+186
| |
* | Merge pull request #3358 from jix/smtbmc-yices-forallJannis Harder2022-06-071-1/+4
|\ \ | | | | | | smtbmc: Force nonincremental mode when yices is used with forall
| * | smtbmc: Force nonincremental mode when yices is used with forallJannis Harder2022-06-031-1/+4
| | |
* | | 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
| | | | | | | | | | | | Fixes #3360.
* | | 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 functions
| * 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)
| * 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
| | | | | | | | | | genrtlil.cc and simplify.cc had inconsistent and slightly broken handling of signedness for array querying functions. These functions are defined to return a signed result. Simplify always produced an unsigned and genrtlil always a signed 32-bit result ignoring the context. Includes tests for the the relvant edge cases for context dependent conversions.
* 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
|\ | | | | Observe $TMPDIR variable when creating tmp files
| * Cleanup, and fix windowsMiodrag Milanovic2022-05-271-37/+24
| |
| * Observe $TMPDIR variable when creating tmp filesMohamed A. Bamakhrama2022-05-276-7/+37
| | | | | | | | | | | | | | | | | | POSIX defines $TMPDIR as containing the pathname of the directory where programs can create temporary files. On most systems, this variable points to "/tmp". However, on some systems it can point to a different location. Without respecting this variable, yosys fails to run on such systems. Signed-off-by: Mohamed A. Bamakhrama <mohamed@alumni.tum.de>
* | Merge pull request #3341 from mmicko/unused_varsMiodrag Milanović2022-05-271-4/+0
|\ \ | |/ |/| Remove set but unused variable
| * 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 build
| * 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 URLs in YosysJS demo
| * | 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_smt2
| * | add $divfloor support to write_smt2Jacob Lifshay2022-05-241-0/+21
| | | | | | | | | | | | Fixes: #3330
* | | Merge pull request #3138 from DanielG/fix-git-revMiodrag Milanović2022-05-253-0/+13
|\ \ \ | | | | | | | | Make GIT_REV logic work in release tarballs
| * | | Make GIT_REV logic work in release tarballsDaniel Gröber2022-05-253-0/+13
|/ / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Currently GIT_REV doesn't get set properly when building a release tarball. To fix this we arrange for .gitcommit to contain the (short) commit hash in tarballs generated with git-archive(1) using export-subst in gitattributes. This way the correct commit hash is (reproducibly) included in the release tarballs while not burdening the maintainers with updating it in the git repo. Please note this even works on Github and similar forges as they use git-archive for generating tarballs so this works out quite nicely.
* / / 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
|\ \ | | | | | | Update Verific command file documentation
| * | 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
| |
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-07 04:39:34 +0000