Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | | Suggested change to prevent ABC from crashing when compiled on Windows. | Alan Mishchenko | 2022-02-18 | 1 | -1/+2 | |
| | |/ | |/| | ||||||
| * | | Experiments with word-level data structures. | Alan Mishchenko | 2022-02-16 | 7 | -224/+562 | |
| | | | ||||||
| * | | Improving truth table handling. | Alan Mishchenko | 2022-02-16 | 3 | -2/+27 | |
| | | | ||||||
| * | | Improving truth table handling. | Alan Mishchenko | 2022-02-03 | 5 | -21/+166 | |
| | | | ||||||
| * | | Compiler warnings. | Alan Mishchenko | 2022-02-02 | 1 | -2/+2 | |
| | | | ||||||
| * | | Experiments with word-level data structures. | Alan Mishchenko | 2022-02-02 | 4 | -33/+440 | |
| | | | ||||||
| * | | Adding option to dump CNF after preprocessing in &glucose. | Alan Mishchenko | 2022-02-02 | 6 | -8/+22 | |
| | | | ||||||
| * | | Suggested bug fix. | Alan Mishchenko | 2022-01-22 | 1 | -1/+1 | |
| | | | ||||||
| * | | Move CI to GitHub Actions. | Baruch Sterin | 2022-01-22 | 4 | -8/+8 | |
| | | | | | | | | | | | | Also, a few minor changes that are required to compile ABC under moder compilers. | |||||
| * | | Suggested bug fixes in the old code. | Alan Mishchenko | 2022-01-21 | 6 | -9/+8 | |
| | | | ||||||
| * | | Compiler warnings. | Alan Mishchenko | 2022-01-21 | 1 | -6/+6 | |
| | | | ||||||
| * | | Experiments with word-level data structures. | Alan Mishchenko | 2022-01-21 | 10 | -155/+2379 | |
| | | | ||||||
| * | | Missing class name in the FreeBSD code. | Alan Mishchenko | 2021-12-29 | 2 | -2/+2 | |
| | | | ||||||
| * | | Changes to pattern generation. | Alan Mishchenko | 2021-12-26 | 1 | -32/+63 | |
| |/ | ||||||
| * | Adding new command &icec. | Alan Mishchenko | 2021-12-17 | 5 | -8/+265 | |
| | | ||||||
| * | Fixing a rare problem with choice nodes. | Alan Mishchenko | 2021-12-16 | 1 | -0/+26 | |
| | | ||||||
| * | Compiler warning. | Alan Mishchenko | 2021-12-16 | 1 | -8/+7 | |
| | | ||||||
| * | Adding new command %yosys. | Alan Mishchenko | 2021-12-16 | 3 | -0/+284 | |
| | | ||||||
| * | Outputting the constant node in 'write_gml'. | Alan Mishchenko | 2021-12-06 | 1 | -0/+12 | |
| | | ||||||
| * | Adding command-line switch 'testnpn -A 12' for P-only canonical form ↵ | Alan Mishchenko | 2021-12-03 | 3 | -2/+16 | |
| | | | | | | | | computation. | |||||
| * | Bug fix in blasting word-level flops. | Alan Mishchenko | 2021-12-02 | 2 | -3/+11 | |
| | | ||||||
| * | Disabling choices when they are computed incorrectly. | Alan Mishchenko | 2021-11-30 | 2 | -2/+9 | |
| | | ||||||
| * | Changes to make compiler happy. | Alan Mishchenko | 2021-11-27 | 10 | -1/+231 | |
| | | ||||||
| * | Merge branch 'master' of github.com:berkeley-abc/abc | Alan Mishchenko | 2021-11-27 | 1 | -1/+24 | |
| |\ | ||||||
| * | | Bug fix in sweep (which happens to be a rare bug in Abc_NodeMinimumBase) ↵ | Alan Mishchenko | 2021-11-27 | 1 | -0/+6 | |
| | | | | | | | | | | | | (additional fix). | |||||
* | | | read_cex: Allow reading cex that has extra registers | Jannis Harder | 2022-07-01 | 1 | -0/+6 | |
| | | | ||||||
* | | | distinquish between old and new format as well | Miodrag Milanovic | 2022-05-06 | 1 | -3/+3 | |
| | | | ||||||
* | | | Give more reasonable error on read_cex and handle status | Miodrag Milanovic | 2022-05-06 | 1 | -4/+7 | |
| | | | ||||||
* | | | Add missing class names in FreeBSD-ifdefed code. | Yuri Victorovich | 2022-05-06 | 2 | -2/+2 | |
| | | | ||||||
* | | | Fix for unhandled aiw file commands | Miodrag Milanovic | 2022-04-15 | 1 | -2/+2 | |
| | | | ||||||
* | | | Make read_cex able to append if some latches are missing | Miodrag Milanovic | 2022-04-13 | 1 | -3/+11 | |
| | | | ||||||
* | | | fix buffer error | Miodrag Milanovic | 2022-03-22 | 1 | -2/+5 | |
| | | | ||||||
* | | | gcc 4.8 fix | Miodrag Milanovic | 2022-03-04 | 1 | -3/+3 | |
| | | | ||||||
* | | | read_cex (#12) | Miodrag Milanović | 2022-03-04 | 1 | -7/+285 | |
| | | | | | | | | | Added read_cex command | |||||
* | | | Merge pull request #11 from YosysHQ/writecex_cexinfo | Miodrag Milanović | 2022-02-15 | 1 | -30/+64 | |
|\ \ \ | | | | | | | | | Integrate write_cex and cexinfo and some fixes in write_cex output code | |||||
| * | | | Fixes and more cleanups in write_cex output code | Claire Xenia Wolf | 2022-02-15 | 1 | -34/+27 | |
| | | | | | | | | | | | | | | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net> | |||||
| * | | | Cleanups in write_cex output format | Claire Xenia Wolf | 2022-02-15 | 1 | -2/+7 | |
| | | | | | | | | | | | | | | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net> | |||||
| * | | | Enable writing of minimized Cex in non-names mode | Claire Xenia Wolf | 2022-02-15 | 1 | -3/+7 | |
| | | | | | | | | | | | | | | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net> | |||||
| * | | | write_cex - add minimize using algorithm from cexinfo command | Miodrag Milanovic | 2021-11-19 | 1 | -4/+36 | |
| | | | | ||||||
* | | | | Extend WASI platform support for glucose2. | whitequark | 2021-11-27 | 3 | -0/+20 | |
|/ / / | | | | | | | | | | Abort on OOM since there are no C++ exceptions yet. | |||||
* | | | Add WASI platform support to glucose2. | Miodrag Milanovic | 2021-11-12 | 1 | -8/+6 | |
| | | | | | | | | | | | | Signed-off-by: Miodrag Milanovic <mmicko@gmail.com> | |||||
* | | | Define S_IREAD|IWRITE macros using IRUSR|IWUSR | Mohamed A. Bamakhrama | 2021-11-12 | 1 | -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> | |||||
* | | | Add WASI platform support to bsat2 and glucose. | whitequark | 2021-11-12 | 6 | -0/+32 | |
| | | | | | | | | | | | | | | | | | | Abort on OOM since there are no C++ exceptions yet. Signed-off-by: Miodrag Milanovic <mmicko@gmail.com> | |||||
* | | | Merge remote-tracking branch 'upstream/master' into yosys-experimental | Miodrag Milanovic | 2021-11-12 | 237 | -2622/+34584 | |
|\ \ \ | | |/ | |/| | ||||||
| * | | Merge pull request #139 from antmicro/fix-unconnected-couts-upstream | alanminko | 2021-11-10 | 1 | -1/+24 | |
| |\ \ | | |/ | |/| | Consider unconnected carry-out ports | |||||
| | * | Fix typo | Michael Gielda | 2021-10-26 | 1 | -1/+1 | |
| | | | ||||||
| | * | Added including unconnected carry-outs in the carry-chain connection list. | Maciej Kurc | 2021-10-25 | 1 | -1/+24 | |
| | | | | | | | | | | | | Signed-off-by: Maciej Kurc <mkurc@antmicro.com> | |||||
| * | | Bug fix in processing NDR. | Alan Mishchenko | 2021-11-08 | 3 | -10/+31 | |
| | | | ||||||
| * | | Temporary fix to a &blut problem. | Alan Mishchenko | 2021-11-07 | 1 | -2/+2 | |
| | | | ||||||
| * | | Compiler warnings. | Alan Mishchenko | 2021-11-05 | 2 | -22/+37 | |
| | | |