Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 | ||||
| * | | 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 |