aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* misc: Added JNY schema definitionAki Van Ness2022-08-021-0/+193
|
* backend: jny: updated the `JnyWriter` to emite a new "invocation" entry as ↵Aki Van Ness2022-08-021-10/+33
| | | | well as a "$schema" entry to point to the location the schema will be at
* Bump versiongithub-actions[bot]2022-08-021-1/+1
|
* Merge pull request #3089 from YosysHQ/gatecat/liberty_wbMiodrag Milanović2022-08-011-0/+14
|\ | | | | Add read_liberty -wb
| * Add read_liberty -wbgatecat2021-11-251-0/+14
| | | | | | | | Signed-off-by: gatecat <gatecat@ds0.me>
* | Merge pull request #3429 from YosysHQ/micko/verific_uptoMiodrag Milanović2022-08-011-2/+5
|\ \ | | | | | | Setting wire upto in verific import
| * | Setting wire upto in verific importMiodrag Milanovic2022-07-291-2/+5
| | |
* | | Update documentationMiodrag Milanovic2022-08-011-0/+4
|/ /
* | Bump versiongithub-actions[bot]2022-07-291-1/+1
| |
* | Update READMEMiodrag Milanović2022-07-281-1/+1
| |
* | Bump versiongithub-actions[bot]2022-07-281-1/+1
| |
* | Assorted microoptimization speedups in core data structures.Marcelina Kościelnicka2022-07-276-193/+117
| |
* | macos 10.15 deprecated by gh actionsMiodrag Milanovic2022-07-271-54/+0
| |
* | Make all compile under OpenBSD (#3423)Miodrag Milanović2022-07-273-3/+50
| | | | | | Co-authored-by: Josuah Demangeon <me@josuah.net>
* | Support using ABC source tarball distributionMiodrag Milanovic2022-07-271-3/+8
| |
* | Merge pull request #3406 from josuah/masterMiodrag Milanović2022-07-252-10/+10
|\ \ | | | | | | Better compatibility for OpenBSD
| * | reduce the Makefile TCL compatibility codeJosuah Demangeon2022-07-181-6/+4
| | |
| * | include changes to support OpenBSD and prepare NetBSD supportJosuah Demangeon2022-07-181-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 Demangeon2022-07-181-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 versiongithub-actions[bot]2022-07-241-1/+1
| | |
* | | opt_reduce: Fix use-after-free.Marcelina Kościelnicka2022-07-231-4/+2
| | | | | | | | | | | | Fixes #3418.
* | | Bump versiongithub-actions[bot]2022-07-231-1/+1
| | |
* | | Merge pull request #3419 from jix/sim_nested_anyseqJannis Harder2022-07-221-11/+21
|\ \ \ | | | | | | | | sim: Fix $anyseq in nested modules
| * | | sim: Fix $anyseq in nested modulesJannis Harder2022-07-221-11/+21
|/ / /
* / / Bump versiongithub-actions[bot]2022-07-161-1/+1
|/ /
* | Update to latest abcMiodrag Milanovic2022-07-151-2/+2
| |
* | Bump versiongithub-actions[bot]2022-07-121-1/+1
| |
* | Merge pull request #3392 from rockybulwinkle/rockybulwinkle-patch-1Miodrag Milanović2022-07-111-0/+4
|\ \ | | | | | | Update tcl doc, yosys does not return data to tcl
| * | Remove empty linesMarcelina Kościelnicka2022-07-111-2/+0
| | |
| * | Update tcl doc, yosys does not return data to tclrockybulwinkle2022-06-231-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 versiongithub-actions[bot]2022-07-081-1/+1
| | |
* | | Merge pull request #3404 from YosysHQ/fix-build-after-pr-3399Catherine2022-07-073-6/+10
|\ \ \ | | | | | | | | Fix WASI and external-ABC build after PR#3399
| * | | Fix external ABC build after commit 0ca0932b5.Catherine2022-07-073-5/+9
| | | |
| * | | Fix WASI build after commit 0ca0932b5.Catherine2022-07-071-1/+1
|/ / /
* | | Bump versiongithub-actions[bot]2022-07-071-1/+1
| | |
* | | using more portable formattingMiodrag Milanovic2022-07-061-1/+1
| | |
* | | Merge pull request #3399 from YosysHQ/abc_cppMiodrag Milanović2022-07-061-4/+4
|\ \ \ | | | | | | | | Update abc and build as C++
| * | | Update abc and build as C++Miodrag Milanovic2022-07-041-4/+4
| | | |
* | | | Merge pull request #3402 from C-Elegans/modfloor_supportMiodrag Milanović2022-07-062-1/+22
|\ \ \ \ | | | | | | | | | | Add support for GHDL modfloor operator to cxxrtl backend
| * | | | Add support for GHDL modfloor operatorMichael Nolan2022-07-052-1/+22
| | | | |
* | | | | Merge pull request #3397 from pepijndevos/patch-2Miodrag Milanović2022-07-061-1/+0
|\ \ \ \ \ | |/ / / / |/| | | | Apicula now supports lutram
| * | | | Apicula now supports lutramPepijn de Vos2022-07-031-1/+0
| | | | |
* | | | | Bump versiongithub-actions[bot]2022-07-051-1/+1
| | | | |
* | | | | Fix static initialization, fixes mingw buildMiodrag Milanovic2022-07-041-20/+21
| |/ / / |/| | |
* | | | Next dev cycleMiodrag Milanovic2022-07-042-2/+5
| | | |
* | | | Release version 0.19Miodrag Milanovic2022-07-042-3/+3
| | | |
* | | | Merge pull request #3398 from jix/mention_smtlib2_moduleMiodrag Milanović2022-07-042-3/+16
|\ \ \ \ | | | | | | | | | | Mention smtlib2_module in README.md and CHANGELOG
| * | | | Mention smtlib2_module in README.md and CHANGELOGJannis Harder2022-07-042-3/+16
|/ / / /
* / / / Upadte documentation and changelogMiodrag Milanovic2022-07-043-46/+46
|/ / /
* | | Bump versiongithub-actions[bot]2022-07-021-1/+1
| | |
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-16 16:48:55 +0000