aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * Merge pull request #3432 from YosysHQ/aki/jny_updatesMiodrag Milanović2022-08-032-10/+226
| |\
| | * misc: Added JNY schema definitionAki Van Ness2022-08-021-0/+193
| | * backend: jny: updated the `JnyWriter` to emite a new "invocation" entry as we...Aki Van Ness2022-08-021-10/+33
| * | Update manual and changelogMiodrag Milanovic2022-08-032-0/+9
| * | Bump versiongithub-actions[bot]2022-08-031-1/+1
| * | Merge pull request #3433 from jix/fix_smt_shiftJannis Harder2022-08-021-4/+4
| |\ \ | | |/ | |/|
| | * smt2: Fix $shift/$shiftx with negative shift ammountsJannis Harder2022-08-021-4/+4
| |/
| * 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 -wbgatecat2021-11-251-0/+14
| * | Merge pull request #3429 from YosysHQ/micko/verific_uptoMiodrag Milanović2022-08-011-2/+5
| |\ \
| | * | 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
| * | Support using ABC source tarball distributionMiodrag Milanovic2022-07-271-3/+8
| * | Merge pull request #3406 from josuah/masterMiodrag Milanović2022-07-252-10/+10
| |\ \
| | * | 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
| | * | extends the list of platforms without <alloca.h>Josuah Demangeon2022-07-181-1/+1
| * | | Bump versiongithub-actions[bot]2022-07-241-1/+1
| * | | opt_reduce: Fix use-after-free.Marcelina Kościelnicka2022-07-231-4/+2
| * | | 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 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
| |\ \
| | * | Remove empty linesMarcelina Kościelnicka2022-07-111-2/+0
| | * | Update tcl doc, yosys does not return data to tclrockybulwinkle2022-06-231-0/+6
| * | | 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 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++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 operatorMichael Nolan2022-07-052-1/+22
| * | | | | Merge pull request #3397 from pepijndevos/patch-2Miodrag Milanović2022-07-061-1/+0
| |\ \ \ \ \ | | |/ / / / | |/| | | |
| | * | | | 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