Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Removing manual files | KrystalDelusion | 2022-12-08 | 48 | -17415/+0 |
| | |||||
* | Removing old manual from README.md | KrystalDelusion | 2022-12-08 | 1 | -36/+3 |
| | |||||
* | Bump version | github-actions[bot] | 2022-12-06 | 1 | -1/+1 |
| | |||||
* | Next dev cycle | Miodrag Milanovic | 2022-12-05 | 2 | -2/+5 |
| | |||||
* | Release version 0.24 | Miodrag Milanovic | 2022-12-05 | 2 | -3/+16 |
| | |||||
* | Update manual | Miodrag Milanovic | 2022-12-05 | 1 | -6/+189 |
| | |||||
* | Merge pull request #3572 from jix/tcl-recover | Miodrag Milanović | 2022-12-05 | 6 | -8/+114 |
|\ | | | | | tcl: Don't exit repl on recoverable command errors | ||||
| * | 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 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This makes it possible for yosys commands to return values when invoked as tcl commands. Right now no commands natively support this, but the tee command can be used with json output like this: ```tcl set stat [yosys tee -q -s result.json stat -json -top top] dict get $stat modules \\top num_cells_by_type \$pmux ``` Or with newline separated lists like this: ```tcl split [yosys tee -q -s result.string select -list top] "\n" ``` | ||||
| * | stat: Fix JSON output for empty designs | Jannis Harder | 2022-12-02 | 1 | -2/+2 |
| | | |||||
| * | tee: Allow logging command output to a given scratchpad value | Jannis Harder | 2022-12-02 | 3 | -0/+20 |
| | | |||||
* | | Merge pull request #3568 from YosysHQ/verific_msg | Miodrag Milanović | 2022-12-05 | 1 | -3/+16 |
|\ \ | | | | | | | Set all Verific messages of certain type to other | ||||
| * | | set VERI-1063 explicitly | Miodrag Milanovic | 2022-12-02 | 1 | -5/+7 |
| | | | |||||
| * | | Set all verific messages of certain type to other | Miodrag Milanovic | 2022-11-30 | 1 | -3/+14 |
| | | | |||||
* | | | Merge pull request #3569 from YosysHQ/ver_no_rewriters | Miodrag Milanović | 2022-12-05 | 1 | -0/+2 |
|\ \ \ | |_|/ |/| | | verific: Ignore errors produced by extension | ||||
| * | | reset elaboration error after rewriter | Miodrag Milanovic | 2022-11-30 | 1 | -0/+2 |
| |/ | |||||
* | | Merge pull request #3567 from YosysHQ/tcl_fix_crash | Miodrag Milanović | 2022-12-02 | 2 | -1/+8 |
|\ \ | | | | | | | Fix tcl crash in case of error executing command | ||||
| * | | Fix tcl crash in case of error executing command | Miodrag Milanovic | 2022-11-30 | 2 | -1/+8 |
| |/ | |||||
* | | Bump version | github-actions[bot] | 2022-12-01 | 1 | -1/+1 |
| | | |||||
* | | Merge pull request #3551 from daglem/struct-array-swapped-range | Jannis Harder | 2022-12-01 | 3 | -21/+192 |
|\ \ | |/ |/| | Support for arrays with swapped ranges within structs | ||||
| * | Added asserts for current limitation of array dimensions in packed structs | Dag Lem | 2022-11-30 | 1 | -0/+8 |
| | | |||||
| * | Check for all cases of currently unsupported array dimensions in packed structs | Dag Lem | 2022-11-30 | 1 | -10/+13 |
| | | |||||
| * | Tests for unpacked arrays in packed structs are for the Yosys frontend only | Dag Lem | 2022-11-23 | 1 | -0/+4 |
| | | |||||
| * | Support for swapped ranges in second array dimension | Dag Lem | 2022-11-23 | 2 | -3/+52 |
| | | |||||
| * | Support for arrays with swapped ranges within structs | Dag Lem | 2022-11-12 | 3 | -11/+118 |
| | | | | | | | | | | | | This also corrects the implementation of C type arrays within structs. Fixes #3550 | ||||
* | | Bump version | github-actions[bot] | 2022-11-29 | 1 | -1/+1 |
| | | |||||
* | | Merge pull request #3565 from jix/sat-def-formal | Jannis Harder | 2022-11-28 | 3 | -10/+46 |
|\ \ | | | | | | | sat: Add -set-def-formal option to force defined $any* outputs | ||||
| * | | sat: Add -set-def-formal option to force defined $any* outputs | Jannis Harder | 2022-11-28 | 3 | -10/+46 |
|/ / | |||||
* | | Bump version | github-actions[bot] | 2022-11-26 | 1 | -1/+1 |
| | | |||||
* | | Merge pull request #3561 from YosysHQ/tcl_shell | Miodrag Milanović | 2022-11-25 | 2 | -8/+34 |
|\ \ | | | | | | | Add TCL interactive shell mode | ||||
| * | | Add TCL interactive shell mode | Miodrag Milanovic | 2022-11-25 | 2 | -8/+34 |
| | | | |||||
* | | | Merge pull request #3560 from YosysHQ/verific_conf | Miodrag Milanović | 2022-11-25 | 3 | -8/+43 |
|\ \ \ | |/ / |/| | | Support importing verilog configurations using Verific | ||||
| * | | update documentation | Miodrag Milanovic | 2022-11-25 | 1 | -3/+3 |
| | | | |||||
| * | | Support importing verilog configurations using Verific | Miodrag Milanovic | 2022-11-25 | 3 | -5/+40 |
| | | | |||||
* | | | Bump version | github-actions[bot] | 2022-11-25 | 1 | -1/+1 |
| | | | |||||
* | | | Remove docs dependency on yosys repo (#3558) | KrystalDelusion | 2022-11-24 | 39 | -18/+905 |
|/ / | | | | | | | | | | | | | | | | | | | | | * Copies guidelines files into docs/ for website * Copying manual/CHAPTER_Prog for new docs * Copying manual/APPNOTE_011... for new docs Also adding faketime to list of packages for website build. Co-authored-by: KrystalDelusion <krystinedawn@yosyshq.com> | ||||
* | | Merge pull request #3552 from daglem/fix-sv-c-array-dimensions | Jannis Harder | 2022-11-23 | 1 | -3/+3 |
|\ \ | | | | | | | Correct interpretation of SystemVerilog C-style array dimensions | ||||
| * | | Correct interpretation of SystemVerilog C-style array dimensions | Dag Lem | 2022-11-13 | 1 | -3/+3 |
| | | | | | | | | | | | | IEEE Std 1800™-2017 7.4.2 specifies that [size] is the same as [0:size-1]. | ||||
* | | | Bump version | github-actions[bot] | 2022-11-22 | 1 | -1/+1 |
| | | | |||||
* | | | Merge branch 'zachjs-master' | Jannis Harder | 2022-11-21 | 3 | -0/+52 |
|\ \ \ | |||||
| * | | | verilog: Support module-scoped task/function calls | Zachary Snow | 2022-10-29 | 3 | -0/+52 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This is primarily intended to enable the standard-permitted use of module-scoped identifiers to refer to tasks and non-constant functions. As a side-effect, this also adds support for the non-standard use of module-scoped identifiers referring to constant functions, a feature that is supported in some other tools, including Iverilog. | ||||
* | | | | mention prerequisites in fsm_detect and fsm help | N. Engelhardt | 2022-11-21 | 2 | -0/+18 |
| | | | | |||||
* | | | | Bump version | github-actions[bot] | 2022-11-18 | 1 | -1/+1 |
| | | | | |||||
* | | | | fabulous: Allow adding extra custom prims and map rules | gatecat | 2022-11-17 | 4 | -0/+53 |
| | | | | | | | | | | | | | | | | Signed-off-by: gatecat <gatecat@ds0.me> | ||||
* | | | | fabulous: improvements to the pass | gatecat | 2022-11-17 | 13 | -139/+340 |
| | | | | | | | | | | | | | | | | Signed-off-by: gatecat <gatecat@ds0.me> | ||||
* | | | | fabulous: Unify and update primitives | gatecat | 2022-11-17 | 3 | -852/+356 |
| | | | | | | | | | | | | | | | | Signed-off-by: gatecat <gatecat@ds0.me> | ||||
* | | | | Introduce RegFile mappings | TaoBi22 | 2022-11-17 | 4 | -2/+95 |
| | | | | |||||
* | | | | Replace synth call with components, reintroduce flags and correct vpr flag ↵ | TaoBi22 | 2022-11-17 | 1 | -4/+76 |
| | | | | | | | | | | | | | | | | implementation |