| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| | * | | | Add the $anyinit cell and the formalff pass | Jannis Harder | 2022-08-16 | 16 | -8/+271 | |
| |/ / / | | | | | | | | | | | | | | | | | | | These can be used to protect undefined flip-flop initialization values from optimizations that are not sound for formal verification and can help mapping all solver-provided values in witness traces for flows that use different backends simultaneously. | |||||
| * | | | Bump version | github-actions[bot] | 2022-08-12 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Merge pull request #3425 from YosysHQ/lofty/stat-json | N. Engelhardt | 2022-08-11 | 1 | -38/+109 | |
| |\ \ \ | ||||||
| | * | | | stat: add option for machine-readable json output | Lofty | 2022-08-11 | 1 | -38/+109 | |
| | | | | | ||||||
| * | | | | Merge pull request #3277 from YosysHQ/lofty/rename-scramble_name | N. Engelhardt | 2022-08-11 | 2 | -0/+87 | |
| |\ \ \ \ | |/ / / |/| | | | ||||||
| | * | | | rename: add -scramble-name option to randomly rename selections | Lofty | 2022-08-08 | 2 | -0/+87 | |
| | | | | | ||||||
| * | | | | Bump version | github-actions[bot] | 2022-08-11 | 1 | -1/+1 | |
| | | | | | ||||||
| * | | | | Merge pull request #3443 from YosysHQ/micko/resetall_undefineall | Miodrag Milanović | 2022-08-10 | 1 | -0/+5 | |
| |\ \ \ \ | | | | | | | | | | | resetall does not affect text defines, but undefineall does | |||||
| | * | | | | set default_nettype to wire for resetall | Miodrag Milanovic | 2022-08-10 | 1 | -0/+1 | |
| | | | | | | ||||||
| | * | | | | resetall does not affect text defines, but undefineall does | Miodrag Milanovic | 2022-08-10 | 1 | -0/+4 | |
| |/ / / / | ||||||
| * | | | | Merge pull request #3322 from Forty-Bot/default_assignment_first | N. Engelhardt | 2022-08-10 | 1 | -10/+38 | |
| |\ \ \ \ | ||||||
| | * | | | | Order ports with default assignments first | Sean Anderson | 2022-08-09 | 1 | -10/+38 | |
| |/ / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Although the current style is allowed by the standard, Icarus verilog doesn't parse default assignments using an implicit net type: techlibs/ice40/cells_sim.v:305: syntax error techlibs/ice40/cells_sim.v:1: Errors in port declarations. Fix this by making sure that ports with default assignments first on their line. Fixes: 46d3f03d2 ("Add default assignments to other SB_* simulation models") Signed-off-by: Sean Anderson <seanga2@gmail.com> | |||||
| * | | | | Bump version | github-actions[bot] | 2022-08-10 | 1 | -1/+1 | |
| | | | | | ||||||
| * | | | | nexus: Fix BRAM mapping. | Marcelina Kościelnicka | 2022-08-09 | 1 | -18/+56 | |
| | | | | | ||||||
| * | | | | Merge pull request #3441 from YosysHQ/micko/smtio-utf-8 | Miodrag Milanović | 2022-08-09 | 1 | -2/+2 | |
| |\ \ \ \ | | | | | | | | | | | Switched to utf-8 in smtio.py | |||||
| | * | | | | Switched to utf-8 in smtio.py | Miodrag Milanovic | 2022-08-09 | 1 | -2/+2 | |
| |/ / / / | ||||||
| * | | | | properly encode string in rtlil | Miodrag Milanovic | 2022-08-09 | 1 | -1/+1 | |
| | | | | | ||||||
| * | | | | Bump version | github-actions[bot] | 2022-08-09 | 1 | -1/+1 | |
| | | | | | ||||||
| * | | | | Merge pull request #3439 from YosysHQ/micko/filepath_improve | Miodrag Milanović | 2022-08-08 | 10 | -60/+90 | |
| |\ \ \ \ | |/ / / |/| | | | File path encoding improvements | |||||
| | * | | | support file locations containing spaces | Miodrag Milanovic | 2022-08-08 | 6 | -18/+19 | |
| | | | | | ||||||
| | * | | | Encode filename unprintable chars | Miodrag Milanovic | 2022-08-08 | 4 | -27/+42 | |
| | | | | | ||||||
| | * | | | verific - make filepath handling compatible with verilog frontend | Miodrag Milanovic | 2022-08-08 | 1 | -15/+29 | |
| |/ / / | ||||||
| * | | | Bump version | github-actions[bot] | 2022-08-04 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Next dev cycle | Miodrag Milanovic | 2022-08-03 | 2 | -2/+5 | |
| | | | | ||||||
| * | | | Release version 0.20 | Miodrag Milanovic | 2022-08-03 | 2 | -3/+3 | |
| | | | | ||||||
| * | | | Update Changelog | Miodrag Milanovic | 2022-08-03 | 1 | -0/+7 | |
| | | | | ||||||
| * | | | update manual to latest | Miodrag Milanovic | 2022-08-03 | 1 | -2/+5 | |
| | | | | ||||||
| * | | | Merge pull request #3432 from YosysHQ/aki/jny_updates | Miodrag Milanović | 2022-08-03 | 2 | -10/+226 | |
| |\ \ \ | | | | | | | | | jny: Added JNY schema and additional information to JNY output file | |||||
| | * | | | misc: Added JNY schema definition | Aki Van Ness | 2022-08-02 | 1 | -0/+193 | |
| | | | | | ||||||
| | * | | | backend: jny: updated the `JnyWriter` to emite a new "invocation" entry as ↵ | Aki Van Ness | 2022-08-02 | 1 | -10/+33 | |
| | | | | | | | | | | | | | | | | | well as a "$schema" entry to point to the location the schema will be at | |||||
| * | | | | Update manual and changelog | Miodrag Milanovic | 2022-08-03 | 2 | -0/+9 | |
| | | | | | ||||||
| * | | | | Bump version | github-actions[bot] | 2022-08-03 | 1 | -1/+1 | |
| | | | | | ||||||
| * | | | | Merge pull request #3433 from jix/fix_smt_shift | Jannis Harder | 2022-08-02 | 1 | -4/+4 | |
| |\ \ \ \ | |/ / / |/| | | | smt2: Fix $shift/$shiftx with negative shift ammounts | |||||
| | * | | | smt2: Fix $shift/$shiftx with negative shift ammounts | Jannis Harder | 2022-08-02 | 1 | -4/+4 | |
| |/ / / | | | | | | | | | | Fixes #3431, fixes #3344 | |||||
| * | | | Bump version | github-actions[bot] | 2022-08-02 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Merge pull request #3089 from YosysHQ/gatecat/liberty_wb | Miodrag Milanović | 2022-08-01 | 1 | -0/+14 | |
| |\ \ \ | | | | | | | | | Add read_liberty -wb | |||||
| | * | | | Add read_liberty -wb | gatecat | 2021-11-25 | 1 | -0/+14 | |
| | | | | | | | | | | | | | | | | | Signed-off-by: gatecat <gatecat@ds0.me> | |||||
| * | | | | Merge pull request #3429 from YosysHQ/micko/verific_upto | Miodrag Milanović | 2022-08-01 | 1 | -2/+5 | |
| |\ \ \ \ | | | | | | | | | | | Setting wire upto in verific import | |||||
| | * | | | | Setting wire upto in verific import | Miodrag Milanovic | 2022-07-29 | 1 | -2/+5 | |
| | | | | | | ||||||
| * | | | | | Update documentation | Miodrag Milanovic | 2022-08-01 | 1 | -0/+4 | |
| |/ / / / | ||||||
| * | | | | Bump version | github-actions[bot] | 2022-07-29 | 1 | -1/+1 | |
| | | | | | ||||||
| * | | | | Update README | Miodrag Milanović | 2022-07-28 | 1 | -1/+1 | |
| | | | | | ||||||
| * | | | | Bump version | github-actions[bot] | 2022-07-28 | 1 | -1/+1 | |
| | | | | | ||||||
| * | | | | Assorted microoptimization speedups in core data structures. | Marcelina Kościelnicka | 2022-07-27 | 6 | -193/+117 | |
| | | | | | ||||||
| * | | | | macos 10.15 deprecated by gh actions | Miodrag Milanovic | 2022-07-27 | 1 | -54/+0 | |
| | | | | | ||||||
| * | | | | Make all compile under OpenBSD (#3423) | Miodrag Milanović | 2022-07-27 | 3 | -3/+50 | |
| | | | | | | | | | | | | | Co-authored-by: Josuah Demangeon <me@josuah.net> | |||||
| * | | | | Support using ABC source tarball distribution | Miodrag Milanovic | 2022-07-27 | 1 | -3/+8 | |
| | | | | | ||||||
| * | | | | Merge pull request #3406 from josuah/master | Miodrag Milanović | 2022-07-25 | 2 | -10/+10 | |
| |\ \ \ \ | | | | | | | | | | | Better compatibility for OpenBSD | |||||
| | * | | | | reduce the Makefile TCL compatibility code | Josuah Demangeon | 2022-07-18 | 1 | -6/+4 | |
| | | | | | | ||||||
| | * | | | | include changes to support OpenBSD and prepare NetBSD support | Josuah Demangeon | 2022-07-18 | 1 | -5/+7 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Some systems do not split -lrt and -ldl from the main libc. Musl libc is one of them, but offers an empty -ldl and -lrt precisely to avoid these kind of compilation errors. OpenBSD tried to add a librt.a but it broke libtool-based packages on multiple OSes[1] so it got reverted, nad -lrt needs to be removed. Some other adjustments for FreeBSD also work for other BSD, like packages in /usr/local/ instead of /usr/, TLC libraries... [1]: https://marc.info/?l=openbsd-tech&m=139559970907629&w=2 | |||||
 |
index : iCE40/yosys | |
| clone of https://github.com/YosysHQ/yosys |
| aboutsummaryrefslogtreecommitdiffstats |