| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | backends/rtlil: Do not shorten a value with z bits to 'x | Jannis Harder | 2023-01-29 | 2 | -0/+12 |
| * | Merge pull request #3624 from jix/sim_yw | Miodrag Milanović | 2023-01-23 | 5 | -0/+668 |
| |\ |
|
| | * | sim/formalff: Clock handling for yw cosim | Jannis Harder | 2023-01-11 | 1 | -2/+2 |
| | * | sim: Improvements and fixes for yw cosim | Jannis Harder | 2023-01-11 | 2 | -1/+13 |
| | * | Support for BTOR witness to Yosys witness conversion | Jannis Harder | 2023-01-11 | 2 | -12/+25 |
| | * | aiger: Use new JSON code for writing aiger witness map files | Jannis Harder | 2023-01-11 | 2 | -6/+47 |
| | * | Add json.{h,cc} for pretty printing JSON | Jannis Harder | 2023-01-11 | 2 | -0/+222 |
| | * | New kernel/yw.{h,cc} to support reading Yosys witness files | Jannis Harder | 2023-01-11 | 2 | -0/+379 |
| | * | xprop, setundef: Mark xprop decoding bwmuxes, exclude them from setundef | Jannis Harder | 2023-01-11 | 1 | -0/+1 |
| * | | Merge pull request #3629 from YosysHQ/micko/clang_fixes | Miodrag Milanović | 2023-01-23 | 3 | -6/+7 |
| |\ \ |
|
| | * | | Fixes for some of clang scan-build detected issues | Miodrag Milanovic | 2023-01-17 | 3 | -6/+7 |
| | |/ |
|
| * / | Call yosys_shutdown to properly cleanup plugins and tcl when expecting error | Miodrag Milanovic | 2023-01-20 | 1 | -0/+1 |
| |/ |
|
| * | Merge pull request #3537 from jix/xprop | Jannis Harder | 2023-01-11 | 5 | -18/+121 |
| |\ |
|
| | * | Add bitwise `$bweqx` and `$bwmux` cells | Jannis Harder | 2022-11-30 | 5 | -4/+112 |
| | * | satgen, simlib: Consistent x-propagation for `$pmux` cells | Jannis Harder | 2022-11-30 | 1 | -14/+9 |
| * | | remove template declaration that stops function from being used | N. Engelhardt | 2023-01-11 | 1 | -4/+0 |
| * | | Deprecate gcc-4.8 | Miodrag Milanovic | 2023-01-11 | 2 | -55/+18 |
| * | | Display error instead of assertion when pass exists | Miodrag Milanovic | 2023-01-09 | 1 | -5/+12 |
| * | | add note to help about how to chain commands | N. Engelhardt | 2023-01-02 | 1 | -1/+1 |
| * | | Remove help outputs for tex | KrystalDelusion | 2022-12-08 | 1 | -92/+0 |
| * | | tcl: Update help message to mention 'tee -s' | Jannis Harder | 2022-12-05 | 1 | -2/+2 |
| * | | tcl: Unset both result.json and result.string only before calling pass | Jannis Harder | 2022-12-05 | 1 | -2/+1 |
| * | | tcl: Don't exit repl on recoverable command errors | Jannis Harder | 2022-12-02 | 2 | -4/+36 |
| * | | tcl: Return scratchpad result.json and result.string as tcl objects | Jannis Harder | 2022-12-02 | 1 | -2/+57 |
| * | | tee: Allow logging command output to a given scratchpad value | Jannis Harder | 2022-12-02 | 2 | -0/+7 |
| * | | Fix tcl crash in case of error executing command | Miodrag Milanovic | 2022-11-30 | 2 | -1/+8 |
| |/ |
|
| * | sat: Add -set-def-formal option to force defined $any* outputs | Jannis Harder | 2022-11-28 | 2 | -4/+24 |
| * | Add TCL interactive shell mode | Miodrag Milanovic | 2022-11-25 | 2 | -8/+34 |
| * | Rst docs conversion (#3496) | KrystalDelusion | 2022-11-15 | 1 | -0/+109 |
| * | Add missing memory width assert preventing division by zero (#3546) | Emil J | 2022-11-09 | 1 | -0/+1 |
| * | fstdata: Update past_data before end_time callback | Jannis Harder | 2022-11-07 | 1 | -0/+1 |
| * | fstdata: Handle square/angle bracket replacemnt, change memory handling | Jannis Harder | 2022-11-07 | 1 | -8/+19 |
| * | Add missing log_dump_val_worker forward declarations | Claire Xenia Wolf | 2022-10-30 | 1 | -0/+5 |
| * | Consistent $mux undef handling | Jannis Harder | 2022-10-24 | 3 | -10/+36 |
| * | Add missing log_dump handler for std::vector<> | Claire Xenia Wolf | 2022-10-20 | 1 | -0/+12 |
| * | Add YOSYS_ABORT_ON_LOG_ERROR environment variable for debugging. | Jannis Harder | 2022-10-07 | 1 | -0/+3 |
| * | Fix mingw build | Miodrag Milanovic | 2022-08-29 | 1 | -0/+3 |
| * | kernel: hashlib: cleaned up message about table size in cases where `sizeof(i... | Aki Van Ness | 2022-08-25 | 1 | -1/+1 |
| * | use inttypes format specifiers | N. Engelhardt | 2022-08-25 | 1 | -3/+3 |
| * | dump runtime information for passes to json | N. Engelhardt | 2022-08-25 | 1 | -1/+28 |
| * | formalff: Set new replaced_by_gclk attribute on removed dff's clks | Jannis Harder | 2022-08-16 | 1 | -0/+1 |
| * | Add the $anyinit cell and the formalff pass | Jannis Harder | 2022-08-16 | 6 | -6/+48 |
| * | Encode filename unprintable chars | Miodrag Milanovic | 2022-08-08 | 1 | -0/+15 |
| * | Assorted microoptimization speedups in core data structures. | Marcelina Kościelnicka | 2022-07-27 | 6 | -193/+117 |
| * | Make all compile under OpenBSD (#3423) | Miodrag Milanović | 2022-07-27 | 2 | -0/+42 |
| * | Merge pull request #3392 from rockybulwinkle/rockybulwinkle-patch-1 | Miodrag Milanović | 2022-07-11 | 1 | -0/+4 |
| |\ |
|
| | * | Remove empty lines | Marcelina Kościelnicka | 2022-07-11 | 1 | -2/+0 |
| | * | Update tcl doc, yosys does not return data to tcl | rockybulwinkle | 2022-06-23 | 1 | -0/+6 |
| * | | using more portable formatting | Miodrag Milanovic | 2022-07-06 | 1 | -1/+1 |
| |/ |
|
| * | Add a check for packed memory MEMID uniqueness | Marcelina Kościelnicka | 2022-06-13 | 1 | -0/+10 |
