aboutsummaryrefslogtreecommitdiffstats
path: root/kernel
Commit message (Expand)AuthorAgeFilesLines
* Remove a statement without effect.Henner Zeller2023-04-171-2/+0
* backends/rtlil: Do not shorten a value with z bits to 'xJannis Harder2023-01-292-0/+12
* Merge pull request #3624 from jix/sim_ywMiodrag Milanović2023-01-235-0/+668
|\
| * sim/formalff: Clock handling for yw cosimJannis Harder2023-01-111-2/+2
| * sim: Improvements and fixes for yw cosimJannis Harder2023-01-112-1/+13
| * Support for BTOR witness to Yosys witness conversionJannis Harder2023-01-112-12/+25
| * aiger: Use new JSON code for writing aiger witness map filesJannis Harder2023-01-112-6/+47
| * Add json.{h,cc} for pretty printing JSONJannis Harder2023-01-112-0/+222
| * New kernel/yw.{h,cc} to support reading Yosys witness filesJannis Harder2023-01-112-0/+379
| * xprop, setundef: Mark xprop decoding bwmuxes, exclude them from setundefJannis Harder2023-01-111-0/+1
* | Merge pull request #3629 from YosysHQ/micko/clang_fixesMiodrag Milanović2023-01-233-6/+7
|\ \
| * | Fixes for some of clang scan-build detected issuesMiodrag Milanovic2023-01-173-6/+7
| |/
* / Call yosys_shutdown to properly cleanup plugins and tcl when expecting errorMiodrag Milanovic2023-01-201-0/+1
|/
* Merge pull request #3537 from jix/xpropJannis Harder2023-01-115-18/+121
|\
| * Add bitwise `$bweqx` and `$bwmux` cellsJannis Harder2022-11-305-4/+112
| * satgen, simlib: Consistent x-propagation for `$pmux` cellsJannis Harder2022-11-301-14/+9
* | remove template declaration that stops function from being usedN. Engelhardt2023-01-111-4/+0
* | Deprecate gcc-4.8Miodrag Milanovic2023-01-112-55/+18
* | Display error instead of assertion when pass existsMiodrag Milanovic2023-01-091-5/+12
* | add note to help about how to chain commandsN. Engelhardt2023-01-021-1/+1
* | Remove help outputs for texKrystalDelusion2022-12-081-92/+0
* | tcl: Update help message to mention 'tee -s'Jannis Harder2022-12-051-2/+2
* | tcl: Unset both result.json and result.string only before calling passJannis Harder2022-12-051-2/+1
* | tcl: Don't exit repl on recoverable command errorsJannis Harder2022-12-022-4/+36
* | tcl: Return scratchpad result.json and result.string as tcl objectsJannis Harder2022-12-021-2/+57
* | tee: Allow logging command output to a given scratchpad valueJannis Harder2022-12-022-0/+7
* | Fix tcl crash in case of error executing commandMiodrag Milanovic2022-11-302-1/+8
|/
* sat: Add -set-def-formal option to force defined $any* outputsJannis Harder2022-11-282-4/+24
* Add TCL interactive shell modeMiodrag Milanovic2022-11-252-8/+34
* Rst docs conversion (#3496)KrystalDelusion2022-11-151-0/+109
* Add missing memory width assert preventing division by zero (#3546)Emil J2022-11-091-0/+1
* fstdata: Update past_data before end_time callbackJannis Harder2022-11-071-0/+1
* fstdata: Handle square/angle bracket replacemnt, change memory handlingJannis Harder2022-11-071-8/+19
* Add missing log_dump_val_worker forward declarationsClaire Xenia Wolf2022-10-301-0/+5
* Consistent $mux undef handlingJannis Harder2022-10-243-10/+36
* Add missing log_dump handler for std::vector<>Claire Xenia Wolf2022-10-201-0/+12
* Add YOSYS_ABORT_ON_LOG_ERROR environment variable for debugging.Jannis Harder2022-10-071-0/+3
* Fix mingw buildMiodrag Milanovic2022-08-291-0/+3
* kernel: hashlib: cleaned up message about table size in cases where `sizeof(i...Aki Van Ness2022-08-251-1/+1
* use inttypes format specifiersN. Engelhardt2022-08-251-3/+3
* dump runtime information for passes to jsonN. Engelhardt2022-08-251-1/+28
* formalff: Set new replaced_by_gclk attribute on removed dff's clksJannis Harder2022-08-161-0/+1
* Add the $anyinit cell and the formalff passJannis Harder2022-08-166-6/+48
* Encode filename unprintable charsMiodrag Milanovic2022-08-081-0/+15
* Assorted microoptimization speedups in core data structures.Marcelina Kościelnicka2022-07-276-193/+117
* Make all compile under OpenBSD (#3423)Miodrag Milanović2022-07-272-0/+42
* Merge pull request #3392 from rockybulwinkle/rockybulwinkle-patch-1Miodrag Milanović2022-07-111-0/+4
|\
| * Remove empty linesMarcelina Kościelnicka2022-07-111-2/+0
| * Update tcl doc, yosys does not return data to tclrockybulwinkle2022-06-231-0/+6
* | using more portable formattingMiodrag Milanovic2022-07-061-1/+1
|/
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-15 10:32:55 +0000