aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* 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
* | | 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 CHANGELOGJannis Harder2022-07-042-3/+16
|/ / /
* / / Upadte documentation and changelogMiodrag Milanovic2022-07-043-46/+46
|/ /
* | Bump versiongithub-actions[bot]2022-07-021-1/+1
* | Merge pull request #3395 from jix/opt_dff_keepdc_initivalJannis Harder2022-07-011-5/+17
|\ \
| * | opt_dff: With -keepdc, never turn undef init vals into const driversJannis Harder2022-06-291-5/+17
* | | Merge pull request #3396 from jix/async2sync_const_clocksJannis Harder2022-07-011-0/+3
|\ \ \
| * | | async2sync: turn FFs with const clks into gclk FFs with feedbackJannis Harder2022-06-301-0/+3
* | | | Update abcMiodrag Milanovic2022-07-011-1/+1
* | | | Merge pull request #3391 from programmerjake/simcheck-allow-smtlib2-blackboxesJannis Harder2022-07-012-7/+19
|\ \ \ \
| * | | | add hierarchy -smtcheckJacob Lifshay2022-06-222-7/+19
| | |_|/ | |/| |
* | | | Bump versiongithub-actions[bot]2022-07-011-1/+1
| |/ / |/| |