Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
| | | | |||||
| * | | Bug fix and new procedures. | Alan Mishchenko | 2021-11-02 | 1 | -4/+4 |
| | | | |||||
| * | | Bug fix and new procedures. | Alan Mishchenko | 2021-11-02 | 3 | -4/+70 |
| | | | |||||
| * | | New API for external calls. | Alan Mishchenko | 2021-10-26 | 2 | -0/+17 |
| |/ | |||||
| * | Bug fix in sweep (which happens to be a rare bug in Abc_NodeMinimumBase). | Alan Mishchenko | 2021-10-23 | 3 | -6/+55 |
| | | |||||
| * | Various changes. | Alan Mishchenko | 2021-10-22 | 9 | -82/+228 |
| | | |||||
| * | Changing static to extern for two procedures. | Alan Mishchenko | 2021-10-17 | 1 | -2/+2 |
| | | |||||
| * | Experiments with pattern generation. | Alan Mishchenko | 2021-10-10 | 6 | -0/+1471 |
| | | |||||
| * | Experiments with SAT solving. | Alan Mishchenko | 2021-10-09 | 3 | -3/+1388 |
| | | |||||
| * | New command &stochsyn for stochastic synthesis. | Alan Mishchenko | 2021-10-07 | 2 | -57/+213 |
| | | |||||
| * | Compiler warning. | Alan Mishchenko | 2021-10-06 | 1 | -1/+1 |
| | | |||||
| * | New command &stochsyn for stochastic synthesis. | Alan Mishchenko | 2021-10-06 | 3 | -0/+425 |
| | | |||||
| * | Various changes. | Alan Mishchenko | 2021-10-06 | 4 | -38/+62 |
| | | |||||
| * | Compiler warnings. | Alan Mishchenko | 2021-09-30 | 1 | -2/+2 |
| | | |||||
| * | Compiler warnings. | Alan Mishchenko | 2021-09-30 | 1 | -3/+3 |
| | | |||||
| * | Various changes. | Alan Mishchenko | 2021-09-30 | 16 | -5/+1617 |
| | | |||||
| * | Other compiler changes. | Alan Mishchenko | 2021-09-26 | 9 | -4/+44 |
| | | |||||
| * | Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers. | Alan Mishchenko | 2021-09-26 | 37 | -66/+66 |
| | | |||||
| * | Various changes. | Alan Mishchenko | 2021-09-26 | 3 | -4/+160 |
| | | |||||
| * | Two rare corner-case bugs in &if mapper. | Alan Mishchenko | 2021-09-26 | 2 | -2/+6 |
| | | |||||
| * | Experiment with simulation. | Alan Mishchenko | 2021-09-22 | 1 | -2/+55 |
| | | |||||
| * | Adding command &reshape. | Alan Mishchenko | 2021-09-21 | 3 | -8/+13 |
| | | |||||
| * | Adding command &reshape. | Alan Mishchenko | 2021-09-21 | 2 | -15/+15 |
| | | |||||
| * | Adding command &reshape. | Alan Mishchenko | 2021-09-21 | 4 | -23/+65 |
| | | |||||
| * | Removing unused command. | Alan Mishchenko | 2021-09-21 | 3 | -159/+0 |
| | | |||||
| * | Various changes. | Alan Mishchenko | 2021-09-21 | 8 | -17/+175 |
| | | |||||
| * | Improving MiniAIG and name manager. | Alan Mishchenko | 2021-09-16 | 5 | -13/+58 |
| | | |||||
| * | Further debugging of MiniLUT APIs. | Alan Mishchenko | 2021-09-16 | 2 | -1/+73 |
| | | |||||
| * | Various changes. | Alan Mishchenko | 2021-09-14 | 5 | -10/+180 |
| | | |||||
| * | Enable command 'pipe' for pipelining. | Alan Mishchenko | 2021-09-13 | 3 | -15/+15 |
| | | |||||
| * | Bug fix in MiniLUT code. | Alan Mishchenko | 2021-09-13 | 1 | -1/+1 |
| | | |||||
| * | Procedure to printout MiniLUT. | Alan Mishchenko | 2021-09-11 | 1 | -1/+31 |
| | | |||||
| * | Disabling command print_mint when CUDD is not used. | Alan Mishchenko | 2021-09-07 | 1 | -0/+7 |
| | | |||||
| * | Bug fix in logic optimization. | Alan Mishchenko | 2021-09-06 | 1 | -1/+18 |
| | | |||||
| * | Bug fix in the timing manager. | Alan Mishchenko | 2021-09-06 | 1 | -28/+30 |
| | | |||||
| * | Various changes. | Alan Mishchenko | 2021-09-04 | 4 | -9/+12 |
| | | |||||
| * | Additional MiniLUT API. | Alan Mishchenko | 2021-09-03 | 2 | -0/+18 |
| | | |||||
| * | Various changes. | Alan Mishchenko | 2021-09-02 | 16 | -35/+539 |
| | | |||||
| * | Allow &mfs to work on sequential AIGs. | Alan Mishchenko | 2021-08-24 | 1 | -1/+10 |
| | | |||||
| * | Compiler warnings. | Alan Mishchenko | 2021-08-23 | 9 | -11/+12 |
| | | |||||
| * | Adding input/output/flop name reading in command &r. | Alan Mishchenko | 2021-08-22 | 4 | -2/+153 |
| | | |||||
| * | Support of pair-wise miter and other changes. | Alan Mishchenko | 2021-08-22 | 6 | -4/+582 |
| | |