| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | | 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 | |||||
| | * | | extends the list of platforms without <alloca.h> | Josuah Demangeon | 2022-07-18 | 1 | -1/+1 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | This permits to fix a compilation bug on OpenBSD https://www.gnu.org/software/gnulib/manual/html_node/alloca_002eh.html > This header file is missing on some platforms: > FreeBSD 6.0, NetBSD 9.0, OpenBSD 6.7, mingw, MSVC 14. | |||||
| * | | | Bump version | github-actions[bot] | 2022-07-24 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | opt_reduce: Fix use-after-free. | Marcelina Kościelnicka | 2022-07-23 | 1 | -4/+2 | |
| | | | | | | | | | | | | | Fixes #3418. | |||||
| * | | | Bump version | github-actions[bot] | 2022-07-23 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Merge pull request #3419 from jix/sim_nested_anyseq | Jannis Harder | 2022-07-22 | 1 | -11/+21 | |
| |\ \ \ | | | | | | | | | sim: Fix $anyseq in nested modules | |||||
| | * | | | sim: Fix $anyseq in nested modules | Jannis Harder | 2022-07-22 | 1 | -11/+21 | |
| |/ / / | ||||||
| * / / | Bump version | github-actions[bot] | 2022-07-16 | 1 | -1/+1 | |
| |/ / | ||||||
| * | | Update to latest abc | Miodrag Milanovic | 2022-07-15 | 1 | -2/+2 | |
| | | | ||||||
| * | | Bump version | github-actions[bot] | 2022-07-12 | 1 | -1/+1 | |
| | | | ||||||
| * | | Merge pull request #3392 from rockybulwinkle/rockybulwinkle-patch-1 | Miodrag Milanović | 2022-07-11 | 1 | -0/+4 | |
| |\ \ | | | | | | | Update tcl doc, yosys does not return data to tcl | |||||
| | * | | 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 | |
| | | | | | | | | | | | | | | | | | | | | | | This pull request is to address YosysHQ/yosys#2980. The documentation, as originally written, does not make it clear that yosys commands, when used within a tcl script, do not return any value to the tcl script. This pull request notes this and offers a workaround via tee as noted in the issue. | |||||
| * | | | Bump version | github-actions[bot] | 2022-07-08 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Merge pull request #3404 from YosysHQ/fix-build-after-pr-3399 | Catherine | 2022-07-07 | 3 | -6/+10 | |
| |\ \ \ | | | | | | | | | Fix WASI and external-ABC build after PR#3399 | |||||
| | * | | | Fix external ABC build after commit 0ca0932b5. | Catherine | 2022-07-07 | 3 | -5/+9 | |
| | | | | | ||||||
| | * | | | Fix WASI build after commit 0ca0932b5. | Catherine | 2022-07-07 | 1 | -1/+1 | |
| |/ / / | ||||||
| * | | | Bump version | github-actions[bot] | 2022-07-07 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | using more portable formatting | Miodrag Milanovic | 2022-07-06 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Merge pull request #3399 from YosysHQ/abc_cpp | Miodrag Milanović | 2022-07-06 | 1 | -4/+4 | |
| |\ \ \ | | | | | | | | | Update abc and build as C++ | |||||
| | * | | | Update abc and build as C++ | Miodrag Milanovic | 2022-07-04 | 1 | -4/+4 | |
| | | | | | ||||||
| * | | | | Merge pull request #3402 from C-Elegans/modfloor_support | Miodrag Milanović | 2022-07-06 | 2 | -1/+22 | |
| |\ \ \ \ | | | | | | | | | | | Add support for GHDL modfloor operator to cxxrtl backend | |||||
| | * | | | | Add support for GHDL modfloor operator | Michael Nolan | 2022-07-05 | 2 | -1/+22 | |
| | | | | | | ||||||
| * | | | | | Merge pull request #3397 from pepijndevos/patch-2 | Miodrag Milanović | 2022-07-06 | 1 | -1/+0 | |
| |\ \ \ \ \ | |/ / / / |/| | | | | Apicula now supports lutram | |||||
| | * | | | | Apicula now supports lutram | Pepijn de Vos | 2022-07-03 | 1 | -1/+0 | |
| | | | | | | ||||||
| * | | | | | Bump version | github-actions[bot] | 2022-07-05 | 1 | -1/+1 | |
| | | | | | | ||||||
| * | | | | | Fix static initialization, fixes mingw build | Miodrag Milanovic | 2022-07-04 | 1 | -20/+21 | |
| | |/ / / |/| | | | ||||||
| * | | | | Next dev cycle | Miodrag Milanovic | 2022-07-04 | 2 | -2/+5 | |
| | | | | | ||||||
| * | | | | Release version 0.19 | Miodrag Milanovic | 2022-07-04 | 2 | -3/+3 | |
| | | | | | ||||||
| * | | | | Merge pull request #3398 from jix/mention_smtlib2_module | Miodrag Milanović | 2022-07-04 | 2 | -3/+16 | |
| |\ \ \ \ | | | | | | | | | | | Mention smtlib2_module in README.md and CHANGELOG | |||||
| | * | | | | Mention smtlib2_module in README.md and CHANGELOG | Jannis Harder | 2022-07-04 | 2 | -3/+16 | |
| |/ / / / | ||||||
| * / / / | Upadte documentation and changelog | Miodrag Milanovic | 2022-07-04 | 3 | -46/+46 | |
| |/ / / | ||||||
| * | | | Bump version | github-actions[bot] | 2022-07-02 | 1 | -1/+1 | |
| | | | | ||||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |