summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
| * | | | Suggested change to prevent ABC from crashing when compiled on Windows.Alan Mishchenko2022-02-181-1/+2
| | |_|/ | |/| |
| * | | Experiments with word-level data structures.Alan Mishchenko2022-02-168-224/+570
| | | |
| * | | Improving truth table handling.Alan Mishchenko2022-02-163-2/+27
| | | |
| * | | Improving truth table handling.Alan Mishchenko2022-02-035-21/+166
| | | |
| * | | Compiler warnings.Alan Mishchenko2022-02-021-2/+2
| | | |
| * | | Experiments with word-level data structures.Alan Mishchenko2022-02-024-33/+440
| | | |
| * | | Adding option to dump CNF after preprocessing in &glucose.Alan Mishchenko2022-02-026-8/+22
| | | |
| * | | Merge pull request #151 from sterin/masteralanminko2022-01-225-5/+11
| |\ \ \ | | | | | | | | | | Build CMake on GitHub Actions
| | * | | Build CMake on GitHub ActionsBaruch Sterin2022-01-235-5/+11
| |/ / / | | | | | | | | | | | | | | | | Also, resolve CMake build problems on macOS: Pass CMAKE_OSX_SYSROOT as an environment variable SDKROOT when buildind the arch_flags executable.
| * | | Suggested bug fix.Alan Mishchenko2022-01-221-1/+1
| | | |
| * | | Merge pull request #150 from sterin/masteralanminko2022-01-2211-87/+184
| |\ \ \ | | | | | | | | | | Move CI to GitHub Actions.
| | * | | Build CMake on GitHub Actions 2Baruch Sterin2022-01-221-2/+2
| | | | |
| | * | | Build CMake on GitHub ActionsBaruch Sterin2022-01-223-0/+62
| | | | |
| | * | | Move CI to GitHub Actions.Baruch Sterin2022-01-2210-87/+122
| |/ / / | | | | | | | | | | | | Also, a few minor changes that are required to compile ABC under moder compilers.
| * | | Suggested bug fixes in the old code.Alan Mishchenko2022-01-216-9/+8
| | | |
| * | | Compiler warnings.Alan Mishchenko2022-01-211-6/+6
| | | |
| * | | Experiments with word-level data structures.Alan Mishchenko2022-01-2111-155/+2387
| | | |
| * | | Missing class name in the FreeBSD code.Alan Mishchenko2021-12-292-2/+2
| |/ /
| * / Changes to pattern generation.Alan Mishchenko2021-12-261-32/+63
| |/
| * Adding new command &icec.Alan Mishchenko2021-12-175-8/+265
| |
| * Fixing a rare problem with choice nodes.Alan Mishchenko2021-12-161-0/+26
| |
| * Compiler warning.Alan Mishchenko2021-12-161-8/+7
| |
| * Adding new command %yosys.Alan Mishchenko2021-12-164-0/+288
| |
| * Outputting the constant node in 'write_gml'.Alan Mishchenko2021-12-061-0/+12
| |
| * Adding command-line switch 'testnpn -A 12' for P-only canonical form ↵Alan Mishchenko2021-12-033-2/+16
| | | | | | | | computation.
| * Bug fix in blasting word-level flops.Alan Mishchenko2021-12-022-3/+11
| |
| * Disabling choices when they are computed incorrectly.Alan Mishchenko2021-11-302-2/+9
| |
| * Changes to make compiler happy.Alan Mishchenko2021-11-2710-1/+231
| |
| * Merge branch 'master' of github.com:berkeley-abc/abcAlan Mishchenko2021-11-271-1/+24
| |\
| * | Bug fix in sweep (which happens to be a rare bug in Abc_NodeMinimumBase) ↵Alan Mishchenko2021-11-271-0/+6
| | | | | | | | | | | | (additional fix).
* | | Merge pull request #16 from jix/read_cex_chagnesJannis Harder2022-07-011-0/+6
|\ \ \ | | | | | | | | read_cex: Allow reading cex that has extra registers
| * | | read_cex: Allow reading cex that has extra registersJannis Harder2022-07-011-0/+6
|/ / /
* | | distinquish between old and new format as wellMiodrag Milanovic2022-05-061-3/+3
| | |
* | | Give more reasonable error on read_cex and handle statusMiodrag Milanovic2022-05-061-4/+7
| | |
* | | Add missing class names in FreeBSD-ifdefed code.Yuri Victorovich2022-05-062-2/+2
| | |
* | | Merge pull request #14 from YosysHQ/micko/read_cex_fixMiodrag Milanović2022-04-181-5/+13
|\ \ \ | | | | | | | | Make read_cex able to append if some latches are missing
| * | | Fix for unhandled aiw file commandsMiodrag Milanovic2022-04-151-2/+2
| | | |
| * | | Make read_cex able to append if some latches are missingMiodrag Milanovic2022-04-131-3/+11
|/ / /
* | | fix buffer errorMiodrag Milanovic2022-03-221-2/+5
| | |
* | | gcc 4.8 fixMiodrag Milanovic2022-03-041-3/+3
| | |
* | | read_cex (#12)Miodrag Milanović2022-03-041-7/+285
| | | | | | | | | Added read_cex command
* | | Merge pull request #11 from YosysHQ/writecex_cexinfoMiodrag Milanović2022-02-151-30/+64
|\ \ \ | | | | | | | | Integrate write_cex and cexinfo and some fixes in write_cex output code
| * | | Fixes and more cleanups in write_cex output codeClaire Xenia Wolf2022-02-151-34/+27
| | | | | | | | | | | | | | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
| * | | Cleanups in write_cex output formatClaire Xenia Wolf2022-02-151-2/+7
| | | | | | | | | | | | | | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
| * | | Enable writing of minimized Cex in non-names modeClaire Xenia Wolf2022-02-151-3/+7
| | | | | | | | | | | | | | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
| * | | write_cex - add minimize using algorithm from cexinfo commandMiodrag Milanovic2021-11-191-4/+36
| | | |
* | | | Merge pull request #10 from YosysHQ/yosys-experimentalClaire Xen2022-02-1518-20/+120
|\ \ \ \ | |_|_|/ |/| | | Integrate write_cex and cexinfo and some fixes in write_cex output code
| * | | Extend WASI platform support for glucose2.whitequark2021-11-273-0/+20
| |/ / | | | | | | | | | Abort on OOM since there are no C++ exceptions yet.
| * | Add WASI platform support to glucose2.Miodrag Milanovic2021-11-121-8/+6
| | | | | | | | | | | | Signed-off-by: Miodrag Milanovic <mmicko@gmail.com>
| * | Define S_IREAD|IWRITE macros using IRUSR|IWUSRMohamed A. Bamakhrama2021-11-121-0/+17
| | | | | | | | | | | | | | | | | | | | | | | | On platforms such as Android, legacy macros are no longer defined. Hence, we define them in terms of the new POSIX macros if the new ones are defined. Otherwise, we throw an error. Signed-off-by: Mohamed A. Bamakhrama <mohamed@alumni.tum.de> Signed-off-by: Miodrag Milanovic <mmicko@gmail.com>
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-11 21:12:29 +0000